Vilin97 / linear-algebra-done-right
☆10Updated 2 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
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆52Updated last year
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- A framework for composing and simulating multiphysics systems☆55Updated this week
- Multivectors for geometric algebra☆24Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated last month
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A graphical editor for graph-like structures☆97Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- ☆29Updated 10 months ago
- Exponent pair database☆21Updated this week
- Conservative floating point interval arithmetic in Lean☆11Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆62Updated 11 months ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated last week
- Lean for the Curious Mathematician 2020☆66Updated last year
- Differential forms in Julia☆14Updated 10 months ago
- Building group theory from scratch in Lean☆59Updated 3 years ago
- Tape based task copying in Turing☆19Updated 2 months ago
- ACSets: Algebraic databases as in-memory data structures☆21Updated this week
- Sugar coating Julia's many ASTs☆42Updated 3 years ago
- Lecture notes from Cambridge maths☆65Updated 11 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated last month
- A basic geometric algebra library in Julia☆12Updated 8 years ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 6 months ago
- ☆86Updated last year
- The formal proof of the Odd Order Theorem☆29Updated 2 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆26Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 months ago