thearn / math-genealogy
A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
☆35Updated 10 months ago
Alternatives and similar repositories for math-genealogy:
Users that are interested in math-genealogy are comparing it to the libraries listed below
- Riemann Hypothesis book☆74Updated 7 years ago
- Identify relevant scientific papers with simple machine learning techniques☆26Updated 9 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Schrödinger's Tcl☆30Updated 9 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 3 months ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Updated 6 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- Examples of literate programming by Knuth☆36Updated 8 months ago
- Casual experiments with cellular automata☆76Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- A text-to-text encoding to make all characters have the same number of occurences☆12Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- A life simulator by providing rules and genes.☆50Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- ERGO Agent Programming Language☆27Updated 8 months ago
- probabilistic programming for PL folks☆154Updated 3 years ago
- A theoretical framework for systems with mathematical neural-esque properties.☆9Updated 7 years ago
- ☆41Updated 4 years ago
- Automatically exported from code.google.com/p/full-maude☆15Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 9 months ago