Alternatives and similar repositories for linear-algebra-book:

Users that are interested in linear-algebra-book are comparing it to the libraries listed below

• texmacs / markdown
  A markdown converter plugin for TeXmacs
  ☆25Updated last year
• ToposInstitute / poly
  ☆113Updated 6 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆159Updated last month
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆91Updated 2 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆70Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆365Updated this week
• 3-manifolds / SnapPy
  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…
  ☆94Updated this week
• Ben-McKay / concrete-algebra
  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
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆53Updated 3 weeks ago
• NCAlgebra / NC
  NCAlgebra - Non Commutative Algebra Package for Mathematica
  ☆162Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆337Updated 4 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆89Updated 5 months ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆204Updated 3 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆64Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆226Updated 2 months ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 7 months ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆411Updated 3 weeks ago
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆108Updated this week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 4 months ago
• JuliaHomotopyContinuation / HomotopyContinuation.jl
  A Julia package for solving systems of polynomials via homotopy continuation.
  ☆190Updated this week
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 5 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 9 months ago