|
You are here |
brandonrozek.com | ||
| | | | |
emanueleviola.wordpress.com
|
|
| | | | | I am writing a section on expanders for my book, and to avoid doing that I figured I should try to code up some expanders in tikz. Here's the famous 3-regular expander based on Selberg's theorem, connecting x to x+1,x-1,1/x mod p (and 0 to itself), on 127 nodes: [Edit: Added new picture on 12/22]:... | |
| | | | |
taeer.bar-yam.me
|
|
| | | | | [AI summary] The author describes a custom solution for embedding TikZ diagrams in Hakyll-based blogs by creating a filter that converts TikZ code into SVG images using LaTeX and command-line tools. | |
| | | | |
www.logicmatters.net
|
|
| | | | | The task is to set proof-trees in the style of the tree alongside, i.e. tableaux of the sort that appear in e.g. Richard Jeffrey's classic Formal Logic or the first edition of my own Introduction to Formal Logic. A very flexible package, allowing you also to add line numbers (if you want) and line-by-line justifications [...] | |
| | | | |
uncommongenders.home.blog
|
|
| | | There is lettragender! -Admin Opal | ||