thearn / math-genealogyLinks
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
Sorting:
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 4 months ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Schrödinger's Tcl☆30Updated 10 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆180Updated 2 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- A life simulator by providing rules and genes.☆50Updated 8 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- ERGO Agent Programming Language☆27Updated last year
- A Prolog kernel for Jupyter☆61Updated 6 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- GL Wavefunction Visualizer☆46Updated 8 months ago
- ☆42Updated 4 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 5 years ago
- World's dumbest fuzzer☆52Updated last year
- An example of PEG usage☆55Updated 8 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆133Updated 4 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- ☆343Updated 7 years ago