thearn / math-genealogy
A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
☆35Updated 11 months ago
Alternatives and similar repositories for math-genealogy:
Users that are interested in math-genealogy are comparing it to the libraries listed below
- Browser client for the Paperscape map☆102Updated 6 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- Identify relevant scientific papers with simple machine learning techniques☆27Updated 9 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Casual experiments with cellular automata☆77Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 3 weeks ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Updated 8 months ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 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
- GL Wavefunction Visualizer☆46Updated 5 months ago
- A (simple) performance evaluation of proportional selection using Python.☆11Updated 9 years ago
- Compute excellent numbers☆9Updated 10 months ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 6 years ago
- A life simulator by providing rules and genes.☆50Updated 8 years ago
- two strange things to do with neural nets☆16Updated 6 years ago
- Artificial Intelligence Projects☆14Updated 7 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- Making better ranking tables since 2014☆40Updated 8 years ago
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated 7 years ago
- Research code for solvers and models of the game of 2048☆53Updated 2 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Raw Benchmark Data for Popular Machine Learning Frameworks☆56Updated 7 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Resolution theorem proving for predicate logic in pure Python.☆93Updated last year