alexanderknop / I2DM
The lecture notes for my discrete mathematics classes.
☆18Updated last year
Alternatives and similar repositories for I2DM:
Users that are interested in I2DM are comparing it to the libraries listed below
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆14Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 11 months ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 2 weeks ago
- The Open Problems Project☆26Updated 3 months ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Numerical Linear Algebra Notes CME 302 Stanford☆13Updated 3 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆19Updated 5 months ago
- Tim Button's open textbook on set theory☆33Updated last year
- A simple Unix-friendly toolkit for plagiarism detection.☆19Updated 4 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- VSCode extension for Metamath☆10Updated 2 weeks ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- A database app for ring theory☆21Updated last month
- egraphs-good website☆16Updated 5 months ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆16Updated 9 months 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…☆19Updated 2 months ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Bayesian Optimization for very Noisy functions☆18Updated 3 years ago
- Our first-year mathematics graduate school notes☆9Updated 3 years ago
- FreeTikZ☆38Updated 7 years ago
- Mirror of the official xournal repository☆24Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago