twjudson / aata
Public repository for Abstact Algebra Theory and Applications
☆160Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for aata
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- Algebra Number Theory book☆47Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆268Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Applied Discrete Structures using PreTeXt☆41Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 10 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 8 months ago
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆347Updated this week
- Tim Button's open textbook on set theory☆30Updated last year
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- Mathematical Components (the Book)☆141Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆211Updated this week
- The Lean version manager☆318Updated this week
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- Mathematical Components☆589Updated this week
- Axiom is a free, open source computer algebra system☆368Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Collection of animals and other beings drawn in TikZ☆90Updated last month
- UCalgary version of forallx, an introduction to formal logic☆95Updated 3 weeks ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 7 months ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Let's translate works of Grothendieck☆24Updated 5 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 …☆397Updated this week
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆27Updated 7 months ago
- The Principia Rewrite☆207Updated 6 months ago