alexanderknop / I2DMLinks
The lecture notes for my discrete mathematics classes.
☆18Updated 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 last month
- BisPy - Python bisimulation library☆16Updated 3 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years 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 3 weeks ago
- Pandoc filter to render math equations using KaTeX☆36Updated 2 years ago
- The Open Problems Project☆40Updated 6 months ago
- multilingual dictionary of mathematical terminology☆20Updated 2 months ago
- FreeTikZ☆41Updated 7 years ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- Basic Analysis, undergraduate real analysis textbook☆86Updated 2 weeks ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆93Updated 9 months ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- Style corrector for academic writing and scientific papers at angryreviewer.com☆118Updated last year
- ☆27Updated 2 months ago
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆303Updated this week
- 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
- Notes on Diffy Qs, a textbook for differential equations☆76Updated 2 weeks ago
- Tasty Bits of Several Complex Variables, graduate textbook☆19Updated last week
- A Tool for Drawing Pretty Knots.☆62Updated last month
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated 2 weeks ago
- Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis☆38Updated 4 years ago
- Commutative diagrams with TikZ☆54Updated 3 years ago
- Our first-year mathematics graduate school notes☆10Updated 4 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 8 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆64Updated 4 months ago