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 5 months ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- An example of PEG usage☆55Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A repository for generative models☆116Updated 2 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- A (simple) performance evaluation of proportional selection using Python.☆11Updated 10 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- Search for BibTeX references☆129Updated 7 years ago
- A Prolog kernel for Jupyter☆61Updated 6 years ago
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 10 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- World's dumbest fuzzer☆52Updated last year
- Research code for solvers and models of the game of 2048☆53Updated 2 weeks ago
- Incremental regular expression matching☆53Updated 12 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 weeks ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Numerically solves equations of motion for a given Hamiltonian function☆52Updated 3 years ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- A life simulator by providing rules and genes.☆50Updated 9 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- A business card in LaTeX☆29Updated 8 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Hearts drawn with Python Matplotlib and C☆42Updated 6 years ago