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 last month
- Writing proofs to Twitter since April 2020☆11Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Jupyter kernel for Coq☆95Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- open source E-book on statistical physics☆46Updated last year
- FreeTikZ☆39Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Listing of online math seminars☆43Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- A Binder repo for SageMath computing environment☆32Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Learning platform for category theory in python☆17Updated last week
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- ☆37Updated last year
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 2 months ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆44Updated 11 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 7 months ago
- Source of metamath book☆51Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last week
- A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.☆35Updated 2 weeks ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago