cnewstead / infdescLinks
An Infinite Descent into Pure Mathematics
☆45Updated 4 years ago
Alternatives and similar repositories for infdesc
Users that are interested in infdesc 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
- Public repository for Abstact Algebra Theory and Applications☆172Updated this week
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆28Updated 3 years ago
- Basic Analysis, undergraduate real analysis textbook☆78Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆67Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Lecture notes from Cambridge maths☆69Updated last year
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆299Updated last year
- syntax highligher for GkdTeX☆25Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆109Updated 2 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated last week
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆32Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆261Updated this week
- Group theory visualization software in the browser☆253Updated last year
- 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.☆423Updated this week
- Public helper code for p423/p523 students (Racket)☆165Updated 8 months ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- Listing of online math seminars☆43Updated 11 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆110Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Collection of builtin GNU TeXmacs plugins☆44Updated last week
- Web page for IU Compiler Course for Fall 2020☆133Updated 4 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated this week
- Principles Of Programming Languages - Projects and Homeworks☆72Updated 10 years ago
- Notes for using Julia while learning calculus☆163Updated last week
- Solutions to Algebra, by Michael Artin.☆35Updated 8 years ago
- Solution to Algebra, Chapter 0☆93Updated 3 months ago