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:
- Julia package for the Singular library☆35Updated this week
- A framework for composing and simulating multiphysics systems☆71Updated this week
- Yet another Julia package for working with geometric (or Clifford) algebras.☆24Updated 2 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated last month
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last month
- Computing with B-series in Julia☆29Updated last week
- for you with the good questions☆26Updated 4 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆49Updated this week
- ☆16Updated last month
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated 3 weeks ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆32Updated 5 months ago
- Multivectors for geometric algebra☆25Updated 3 years ago
- Differential forms in Julia☆14Updated last year
- ☆35Updated last year
- ☆50Updated 3 years ago
- Relational Algebra, now with more algebra!☆54Updated this week
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated last week
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- Matching algorithms for Graphs.jl☆18Updated this week
- Julia interface to Z3☆68Updated 2 weeks ago
- Metamath verifier in Python☆40Updated 3 months ago
- Conservative floating point interval arithmetic in Lean☆20Updated this week
- Tag-based webview of LaTeX documents☆31Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆23Updated 3 years ago
- FMIImport.jl implements the import functionalities of the FMI-standard (fmi-standard.org) for the Julia programming language. FMIImport.j…☆18Updated 2 months ago