sudgy / math-from-nothingLinks
Developing mathematics in Coq from the ground up
☆20Updated 9 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
Sorting:
- Awesome Geometric Algebra☆27Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆79Updated this week
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- A math animation engine based on geometric algebra☆26Updated last month
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- ☆10Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Clifford algebra for CAS Maxima☆16Updated 3 months ago
- Mathematica packages for geometric algebra☆48Updated 3 weeks ago
- The "Assumptions of Physics" book☆27Updated 3 weeks ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated this week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆36Updated 4 years ago
- Multivectors for geometric algebra☆24Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated this week
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- mathematica (miscellaneous)☆18Updated last month
- A simple implementation of low-dimensional geometric algebras in Julia.☆13Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Differential forms in Julia☆14Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆34Updated last week
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- An interactive theorem prover for string diagrams☆118Updated 7 months ago
- A fast, simple, static multivector (Clifford number) implementation for Julia.☆21Updated 2 weeks ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆52Updated 3 years ago
- Tag-based webview of LaTeX documents☆29Updated last year
- GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.☆40Updated 5 years ago
- A curated list of Wolfram Language packages and resources.☆38Updated 5 months ago
- Geometric algebra library for Rust☆22Updated 6 years ago