vporton / algebraic-general-topology
A math research book
☆8Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for algebraic-general-topology
- Merck challenge at Kaggle☆10Updated 10 years ago
- Mathematica REPL plugin for IntellyJ IDEA IDE☆14Updated 6 years ago
- In this online version of the classic con game, we demonstrate how to use IBM's quantum computer to solve the riddle of the game by deduc…☆10Updated 6 years ago
- Information geometry and its extension information topology☆10Updated 6 years ago
- Complex Systems, Complexity, Chaos, Emergence, Network Theory, Nonlinear, Graph theory☆20Updated 5 years ago
- ☆13Updated 6 years ago
- Credici: Credal Inference for Causal Inference☆16Updated last month
- Multivariable calculus course materials☆55Updated 9 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 5 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- A comparison of various Robust PCA implementations☆14Updated 8 years ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆15Updated 4 years ago
- Downloading and displaying academic ancestry☆14Updated 9 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago
- A web portal that offers more features and a better user interface for reading eprints☆24Updated 8 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Quick reference for using Sympy and Jupyter to quickly solve college math☆9Updated 6 years ago
- Deep learning certificate part 1☆10Updated 2 years ago
- Telegram-bot for NLP/RL courses☆12Updated 2 years ago
- Cartographic views of software, an Eclipse plug-in.☆21Updated 11 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Colab notebooks for d2l-book☆11Updated 4 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆12Updated 3 years ago
- Boid flocking model in OpenGL☆11Updated 7 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Public source code for AnimatLab neuromechanical simulator system☆14Updated 8 years ago
- CausalTrail - a tool for performing causal reasoning using the do-calculus☆12Updated 3 years ago
- Deep Probabilistic Programming Language☆19Updated 3 months ago