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:
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 3 weeks ago
- Metamath verifier in Python☆40Updated 2 months ago
- FreeTikZ☆38Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- Learning platform for category theory in python☆17Updated last week
- A Binder repo for SageMath computing environment☆32Updated this week
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆17Updated last month
- open source E-book on statistical physics☆46Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated 2 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Writing proofs to Twitter since April 2020☆11Updated 3 years ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- Data Science Ontology☆38Updated 3 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Logic Programming in Python☆31Updated 3 years ago
- A library for pattern matching on symbolic expressions in Python.☆169Updated last year
- Tools for doing stepwise algebra in an on paper like manner using SymPy.☆17Updated last month
- ☆15Updated 2 years ago
- ☆23Updated 3 years ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 3 weeks ago
- A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.☆35Updated last week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago