thearn / math-genealogyLinks
A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
☆34Updated 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:
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 9 years ago
- An example of PEG usage☆55Updated 9 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 11 months ago
- World's dumbest fuzzer☆53Updated 2 years ago
- Making better ranking tables since 2014☆40Updated 9 years ago
- Find surprising moves in chess games☆178Updated 5 years ago
- GL Wavefunction Visualizer☆48Updated last year
- A Prolog kernel for Jupyter☆61Updated 6 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- A business card in LaTeX☆29Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Schrödinger's Tcl☆29Updated 10 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆53Updated 7 years ago
- ☆347Updated 7 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- Numerically solves equations of motion for a given Hamiltonian function☆53Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Vamonos: browser-based algorithm visualization☆137Updated last year
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Incremental regular expression matching☆53Updated 13 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago