assumptionsofphysics / bookLinks
The "Assumptions of Physics" book
☆27Updated last week
Alternatives and similar repositories for book
Users that are interested in book 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
- Developing mathematics in Coq from the ground up☆20Updated 10 months ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆83Updated last week
- ☆22Updated 3 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- Building dynamical systems compositionally☆71Updated 8 months ago
- A software package for analyzing Calabi-Yau manifolds.☆35Updated this week
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆65Updated last year
- GluCat: Clifford algebra templates☆21Updated 3 months ago
- Tag-based webview of LaTeX documents☆30Updated last year
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- A Tensor Language☆55Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- The main source code for Regina☆38Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A database app for ring theory☆22Updated last week
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 4 months ago
- VSCode extension for Metamath☆10Updated last month
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆106Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated last week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆36Updated 4 years ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- Source code for lecture notes☆148Updated 11 months ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆21Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆69Updated this week
- Source code for lecture notes☆68Updated 7 years ago