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
- World's dumbest fuzzer☆52Updated last year
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Graph drawing using simulated annealing for layout.☆118Updated 8 years ago
- Search for BibTeX references☆127Updated 7 years ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 7 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Python library for representing really, really, ridiculously large numbers.☆69Updated last year
- Casual experiments with cellular automata☆78Updated 6 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- Schrödinger's Tcl☆29Updated 10 years ago
- A life simulator by providing rules and genes.☆50Updated 9 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Numerically solves equations of motion for a given Hamiltonian function☆53Updated 3 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- An example of PEG usage☆55Updated 9 years ago
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 10 years ago
- A (simple) performance evaluation of proportional selection using Python.☆11Updated 10 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Read without moving your eyes.☆28Updated 10 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- An explainer on entropy☆68Updated last year
- Making better ranking tables since 2014☆40Updated 9 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- PRolog Equation Solving System☆29Updated 9 years ago