-
Academic Mathematician
- http://invariant.org
Lists (1)
Sort Name ascending (A-Z)
Stars
Machine-readable Complexity Zoo, and viewer
Indexes text with math in Lucene/Solr-based full-text search engines
A PGF/TikZ library that simplifies working with multiple matrix nodes.
This is a package with a bunch of useful commands and symbols for recursion theorists a.k.a. computability theorists.


