j2kun / program-gallery
Program Gallery
☆18Updated last year
Related projects: ⓘ
- Applied Discrete Structures using PreTeXt☆41Updated this week
- P.D. Magnus' forallx logic textbook☆59Updated 9 months ago
- Advanced-Programming☆24Updated 3 months ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆90Updated 3 weeks ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆109Updated last month
- Educational tool for relational algebra☆91Updated 4 months ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆63Updated 6 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆57Updated 4 months ago
- Programming Language Explorations☆88Updated this week
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 4 months ago
- Beautiful pseudocode in latex☆21Updated 11 years ago
- 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
- ☆13Updated this week
- Algebra Number Theory book☆47Updated 2 years ago
- Resources for Python Distilled (Book)☆91Updated last month
- "A First Course in Linear Algebra" open source textbook☆64Updated 2 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆96Updated 5 years ago
- Open Source Precollege Algebra Textbook☆19Updated last month
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆42Updated last month
- Tim Button's open textbook on set theory☆30Updated 11 months ago
- Open-source number theory textbook☆55Updated last month
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆36Updated 13 years ago
- Source of metamath book☆45Updated 8 months ago
- Python Tools for Data Science, Machine Learning, and Scientific computing☆38Updated 2 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 3 months ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- Supplementary material for my book, Probably Overthinking It.☆139Updated last month