jirilebl / ra
Basic Analysis, undergraduate real analysis textbook
☆66Updated 3 weeks ago
Alternatives and similar repositories for ra:
Users that are interested in ra are comparing it to the libraries listed below
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated last week
- Notes on Diffy Qs, a textbook for differential equations☆62Updated this week
- Lecture notes from Cambridge maths☆65Updated 11 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- 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
- Let's translate works of Grothendieck☆24Updated 5 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 months ago
- Tim Button's open textbook on set theory☆31Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 10 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆145Updated last week
- UCalgary version of forallx, an introduction to formal logic☆97Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆69Updated last year
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆28Updated 9 months ago
- P.D. Magnus' forallx logic textbook☆64Updated last year
- Public repository for Abstact Algebra Theory and Applications☆163Updated 5 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆274Updated last week
- Theorem Proving in Lean 4☆170Updated 3 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 10 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆225Updated last month
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Collection of animals and other beings drawn in TikZ☆91Updated this week
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆43Updated 2 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 11 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 9 months ago
- Lecture notes of the course Analysis On Manifolds☆20Updated 2 weeks ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆353Updated last week