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
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Learning platform for category theory in python☆17Updated last week
- open source E-book on statistical physics☆47Updated last month
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- A Binder repo for SageMath computing environment☆33Updated this week
- P.D. Magnus' forallx logic textbook☆68Updated 8 months 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…☆23Updated last week
- ☆37Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- FreeTikZ☆41Updated 7 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated this week
- @logicbot@mathstodon.xyz☆21Updated 2 years ago
- Python interface to GAP☆18Updated last year
- Data Science Ontology☆40Updated 3 months ago
- Sample projects for Quantomatic☆12Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 5 months ago
- Jupyter kernel for Coq☆95Updated last year
- A Python CAS library☆73Updated 2 months ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆168Updated 6 years ago
- Riemann Hypothesis book☆74Updated 8 years ago