winitzki / linear-algebra-book
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
☆80Updated last year
Related projects: ⓘ
- ☆107Updated 2 months ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated last week
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆83Updated 3 years ago
- Effective Algebraic Topology in Haskell☆84Updated last week
- 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…☆84Updated 2 weeks ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- A TikZ library of wiring diagrams☆23Updated 5 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆119Updated 2 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- A repository of user contributed content for TeXmacs☆47Updated 8 months ago
- Fungrim: the Mathematical Functions Grimoire☆115Updated 2 years ago
- A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.☆41Updated last month
- A graphical editor for graph-like structures☆93Updated 9 months ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Source code for the nLab☆137Updated 2 weeks ago
- A formal proof of the independence of the continuum hypothesis☆115Updated 3 weeks ago
- A formalization of geometry in Coq based on Tarski's axiom system☆180Updated 3 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆23Updated 2 years ago
- Categorical Logic Notes☆72Updated 2 years ago
- ☆41Updated 4 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆21Updated this week
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆376Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆49Updated 2 months ago
- An introductory course to Homotopy Type Theory☆358Updated 4 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆64Updated last year
- ☆77Updated last week