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:
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 7 months ago
- Making better ranking tables since 2014☆40Updated 9 years ago
- GL Wavefunction Visualizer☆47Updated 11 months ago
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- Search for BibTeX references☆129Updated 7 years ago
- Modal Logic Playground☆373Updated last year
- ☆42Updated 4 years ago
- World's dumbest fuzzer☆52Updated last year
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 10 years ago
- An explainer on entropy☆67Updated last year
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- An example of PEG usage☆55Updated 9 years ago
- A (simple) performance evaluation of proportional selection using Python.☆11Updated 10 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Read without moving your eyes.☆28Updated 10 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- A life simulator by providing rules and genes.☆50Updated 9 years ago
- SugarTeX is a more readable LaTeX language extension and transcompiler to LaTeX. Fast Unicode autocomplete in Atom editor via https://git…☆74Updated 4 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 8 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- ☆221Updated 2 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- A repository for generative models☆117Updated 3 months ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated 2 months ago