allofphysicsgraph / proofofconceptLinks
Physics Derivation Graph: mathematical connections among equations
☆22Updated 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…☆24Updated 2 weeks ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- A Binder repo for SageMath computing environment☆37Updated last week
- open source E-book on statistical physics☆49Updated 3 months ago
- Metamath verifier in Python☆41Updated 7 months ago
- Learning platform for category theory in python☆17Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- A tool for proving and organizing general theorems using Python.☆31Updated this week
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Updated 11 years ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- FreeTikZ☆41Updated 8 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated this week
- Jupyter kernel for Coq☆95Updated last year
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- ☆37Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- ☆24Updated 3 years ago
- some maths papers in English☆19Updated last week
- Tools for doing stepwise algebra in an on paper like manner using SymPy.☆19Updated this week
- Python package to convert LaTeX markup to DOM☆15Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Updated 2 weeks ago