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
- ☆31Updated last year
- Benchmarks for differentiable programming across languages and domains.☆13Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- 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 2 years ago
- ☆49Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆61Updated 2 weeks ago
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- some maths papers in English☆18Updated last month
- Lean for the Curious Mathematician 2020☆66Updated last year
- The formal proof of the Odd Order Theorem☆30Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Learn Lean and topology☆21Updated last year
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 3 weeks ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- Python implementation of the monster group☆42Updated 3 weeks ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆11Updated 4 years ago
- ACSets: Algebraic databases as in-memory data structures☆23Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- Matroids in Lean☆18Updated last year
- Metamath verifier in Python☆38Updated 11 months ago
- Building dynamical systems compositionally☆69Updated 5 months ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A Lean file formatter☆67Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year