alexanderknop / I2DMLinks
The lecture notes for my discrete mathematics classes.
☆19Updated 2 years ago
Alternatives and similar repositories for I2DM
Users that are interested in I2DM are comparing it to the libraries listed below
Sorting:
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 2 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Open-source number theory textbook☆63Updated last year
- Complex Analysis: A Visual and Interactive Introduction☆216Updated 2 weeks ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆57Updated 6 years ago
- BisPy - Python bisimulation library☆16Updated 4 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆17Updated 7 years ago
- Notes on Diffy Qs, a textbook for differential equations☆78Updated last week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆85Updated 2 years ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Updated 3 weeks ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Updated 3 years ago
- My collection of handouts and lecture notes (finished and unfinished)☆31Updated 2 years ago
- Listing of online math seminars☆43Updated 4 months ago
- Source files for https://web.evanchen.cc☆63Updated this week
- Source code for lecture notes☆74Updated 8 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 weeks ago
- Coauthor supercollaboration/discussion forum☆268Updated 2 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Olympiad problem database☆54Updated last month
- A curated list of tools that can be used for creating interactive mathematical explorables.☆257Updated 3 months ago
- A database app for ring theory☆22Updated last week
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- ☆27Updated last week
- A curated list of Wolfram Language packages and resources.☆41Updated last month
- Source code for lecture notes☆158Updated last year
- Domain Specific Language using Manim to create animations for data structures and algorithms☆52Updated 4 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆248Updated 10 months ago