sudgy / math-from-nothing
Developing mathematics in Coq from the ground up
☆18Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for math-from-nothing
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 4 months ago
- Julia interface to GAlgebra via PyCall☆14Updated this week
- A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.☆45Updated 2 weeks ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Mathematica packages for geometric algebra☆45Updated last year
- Multivectors for geometric algebra☆24Updated 2 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Clifford algebra for CAS Maxima☆16Updated 11 months ago
- Deposited packages of the homalg project☆12Updated last month
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆20Updated 7 months ago
- A program for drawing knots and links, with support for importing images☆26Updated 9 months ago
- Differential forms in Julia☆14Updated 7 months ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆87Updated this week
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- GluCat: Clifford algebra templates☆19Updated 2 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Latex source for geometric algebra and physics notes.☆33Updated 2 months ago
- A basic geometric algebra library in Julia☆12Updated 7 years ago
- A math animation engine based on geometric algebra☆17Updated this week
- A graphical editor for graph-like structures☆94Updated 10 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆33Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆54Updated last month
- A project to digitalise results from high energy physics into Lean.☆66Updated this week
- Formalizing results about the Mandelbrot set in Lean☆20Updated last month
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated last year