sudgy / math-from-nothing
Developing mathematics in Coq from the ground up
☆19Updated 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☆15Updated this week
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 2 weeks ago
- Mathematica packages for geometric algebra☆48Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆59Updated this week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- The "Assumptions of Physics" book☆25Updated this week
- A framework for composing and simulating multiphysics systems☆59Updated this week
- Lean for the Curious Mathematician 2020☆66Updated last year
- A basic geometric algebra library in Julia☆12Updated 8 years ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated this week
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆18Updated 7 years ago
- ☆10Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 3 months ago
- Interface for the ganja.js library in Julia☆10Updated 2 years ago
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆15Updated 5 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆35Updated 3 years ago
- A fast, simple, static multivector (Clifford number) implementation for Julia.☆21Updated last month
- A math animation engine based on geometric algebra☆23Updated last month
- Differential forms in Julia☆14Updated 11 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated this week
- Julia package for the Singular library☆35Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- Wolfram package for Geometric Algebra☆7Updated 4 years ago
- Deposited packages of the homalg project☆13Updated 2 months ago