allofphysicsgraph / proofofconceptLinks
Physics Derivation Graph: mathematical connections among equations
☆21Updated last year
Alternatives and similar repositories for proofofconcept
Users that are interested in proofofconcept are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆40Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 8 months ago
- open source E-book on statistical physics☆47Updated 2 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 4 months ago
- Learning platform for category theory in python☆17Updated last week
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated 2 weeks ago
- A Tensor Language☆55Updated 4 years ago
- A Binder repo for SageMath computing environment☆34Updated this week
- Jupyter kernel for Coq☆95Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 2 weeks ago
- Listing of online math seminars☆43Updated 2 months ago
- Tools for doing stepwise algebra in an on paper like manner using SymPy.☆18Updated 3 months ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆23Updated 2 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 11 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 5 months ago
- Terminal CLI to Mathics3☆60Updated this week
- An OpenMath 2.0 implementation in Python☆17Updated 5 years ago
- Logic Programming in Python☆31Updated 4 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆64Updated last year
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- FreeTikZ☆41Updated 7 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 5 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago