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:
- A life simulator by providing rules and genes.☆50Updated 9 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 9 months ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 9 months ago
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 9 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- Algebraic Number Theory package☆271Updated 4 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…☆73Updated 5 years ago
- A business card in LaTeX☆29Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Updated last year
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- An explainer on entropy☆68Updated last year
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 10 years ago
- A repository for generative models☆117Updated 6 months ago
- Research code for solvers and models of the game of 2048☆53Updated 4 months ago
- Numerically solves equations of motion for a given Hamiltonian function☆53Updated 3 years ago
- An example of PEG usage☆55Updated 9 years ago
- Python library for representing really, really, ridiculously large numbers.☆69Updated 2 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 14 years ago
- Making better ranking tables since 2014☆40Updated 9 years ago
- World's dumbest fuzzer☆52Updated last year