thearn / math-genealogy
A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
☆35Updated last year
Alternatives and similar repositories for math-genealogy:
Users that are interested in math-genealogy are comparing it to the libraries listed below
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- Schrödinger's Tcl☆30Updated 10 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Casual experiments with cellular automata☆77Updated 6 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Examples of literate programming by Knuth☆37Updated 10 months ago
- DeepAlgebra☆25Updated 7 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 6 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Search for BibTeX references☆129Updated 7 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Python library for representing really, really, ridiculously large numbers.☆66Updated last year
- Read without moving your eyes.☆28Updated 10 years ago
- A life simulator by providing rules and genes.☆50Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- All the Harry Potter clusters you could ever want☆33Updated 9 years ago
- Purely algorithmic number sequence identification☆29Updated 3 years ago
- A text-to-text encoding to make all characters have the same number of occurences☆12Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 5 months ago
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- NumJS -- A JavaScript library for numerical computing☆33Updated 10 years ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆16Updated 5 months ago
- Exact Inference Engine for Probabilistic Programs☆132Updated last month