tzwenn / MathGenealogy
Downloading and displaying academic ancestry
☆16Updated 9 years ago
Alternatives and similar repositories for MathGenealogy:
Users that are interested in MathGenealogy are comparing it to the libraries listed below
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- ☆15Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- SNAP repository for Ringo☆14Updated 7 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆20Updated 5 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- Interactive notebooks for trying analyses and exploring datasets☆32Updated 9 years ago
- ☆67Updated 7 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Automatic Discovery of the Statistical Types of Variables in a Dataset☆23Updated 6 years ago
- Course taught at the University of Bordeaux in the academic year 2017 for PhD students.☆16Updated 8 years ago
- CHomP -- Computation Homology Project software☆46Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- GURLS: a Least Squares Library for Supervised Learning☆62Updated 8 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 7 years ago
- Python edition of ActivePapers☆41Updated last year
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 6 years ago
- Infinite relational model (IRM) for datamicroscopes☆14Updated 9 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 8 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Python term rewriting☆29Updated 12 years ago
- Dynamic Self-Organized maps☆22Updated 9 years ago