Vilin97 / linear-algebra-done-rightLinks
☆11Updated 3 years ago
Alternatives and similar repositories for linear-algebra-done-right
Users that are interested in linear-algebra-done-right are comparing it to the libraries listed below
Sorting:
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆79Updated last week
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A graphical editor for graph-like structures☆101Updated 2 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Computing with B-series in Julia☆30Updated last week
- Benchmarks for differentiable programming across languages and domains.☆49Updated last month
- Tangent bundle, vector space and Submanifold definition☆51Updated last month
- Yet another Julia package for working with geometric (or Clifford) algebras.☆24Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆33Updated 2 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- ☆37Updated last year
- Mathematica package for Clifford (geometric) algebra calculations☆14Updated 5 months ago
- Python implementation of the monster group☆55Updated 2 weeks ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated 2 weeks ago
- Julia package for the Singular library☆35Updated this week
- TbGAL: Tensor-Based Geometric Algebra Library☆28Updated 3 years ago
- A parser combinator library for Julia☆112Updated 2 years ago
- Differential forms in Julia☆15Updated last year
- A program for drawing knots and links, with support for importing images☆33Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- Listing of online math seminars☆43Updated 2 months ago
- ☆24Updated 3 years ago
- A Lean file formatter☆69Updated 2 years ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆33Updated 8 months ago
- Build Petri net models compositionally☆89Updated 3 months ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- ☆76Updated 2 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago