sudgy / math-from-nothing
Developing mathematics in Coq from the ground up
☆20Updated 7 months ago
Alternatives and similar repositories for math-from-nothing:
Users that are interested in math-from-nothing are comparing it to the libraries listed below
- Julia interface to GAlgebra via PyCall☆16Updated this week
- Awesome Geometric Algebra☆26Updated 4 years ago
- Mathematica packages for geometric algebra☆48Updated last year
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated last week
- A math animation engine based on geometric algebra☆23Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Latex source for geometric algebra and physics notes.☆38Updated this week
- GluCat: Clifford algebra templates☆19Updated 3 weeks ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆65Updated last week
- Quaternions, Spinors and the Hopf Fibration: Hidden Variables in Classical Mechanics☆24Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated last week
- The main source code for Regina☆36Updated 2 weeks ago
- ☆10Updated 2 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆15Updated 6 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Simple converter of Mathematica notebooks to markdown.☆47Updated last year
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Clifford algebra for CAS Maxima☆16Updated last month
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 2 weeks ago
- A software package for analyzing Calabi-Yau manifolds.☆34Updated 3 weeks ago
- Wolfram package for Geometric Algebra☆7Updated 4 years ago
- A simple implementation of low-dimensional geometric algebras in Julia.☆12Updated 2 years ago
- A project to digitalise results from physics into Lean.☆185Updated this week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆35Updated 4 years ago