winitzki / linear-algebra-book
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
☆104Updated 2 years ago
Alternatives and similar repositories for linear-algebra-book:
Users that are interested in linear-algebra-book are comparing it to the libraries listed below
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- ☆113Updated 9 months ago
- Scientific computing in Lean 4☆390Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Source code for the nLab☆172Updated last month
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆96Updated 3 weeks ago
- Basic Analysis, undergraduate real analysis textbook☆74Updated last week
- Listing of online math seminars☆43Updated 7 months ago
- Jupyter notebooks and documentation for SageManifolds☆52Updated 4 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆362Updated this week
- The root repository for the SpectralSequences project.☆30Updated 3 weeks ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆67Updated 3 weeks ago
- Simple converter of Mathematica notebooks to markdown.☆50Updated last year
- Categorical Logic Notes☆78Updated 3 years ago
- Lecture notes from Cambridge maths☆67Updated last year
- Group theory visualization software in the browser☆247Updated last year
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆415Updated this week
- Collection of animals and other beings drawn in TikZ☆96Updated last week
- amateur translation project of Grothendieck's EGA.☆345Updated 6 months ago
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆72Updated 4 years ago
- ⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra☆485Updated last month
- CoDi: Commutative Diagrams for TeX☆30Updated last year
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Building dynamical systems compositionally☆69Updated 6 months ago
- A curated list of geometric algebra resources☆133Updated 4 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…☆120Updated last year