winitzki / linear-algebra-bookLinks
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
☆108Updated 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
Sorting:
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆394Updated this week
- ☆119Updated last year
- Source code for the nLab☆188Updated 7 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- The root repository for the SpectralSequences project.☆31Updated last month
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 3 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A curated list of geometric algebra resources☆134Updated 5 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆430Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated last month
- A framework for applied category theory in the Julia language☆679Updated this week
- A DSL for the internal language of a topos☆66Updated 3 months ago
- Listing of online math seminars☆43Updated 2 weeks ago
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated 5 months ago
- some maths papers in English☆19Updated this week
- Group theory visualization software in the browser☆258Updated last year
- The collected works of F. W. Lawvere☆365Updated last year
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- 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…☆109Updated this week
- amateur translation project of Grothendieck's EGA.☆364Updated last week
- A markdown converter plugin for TeXmacs☆26Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year