kedlaya / math157Links
☆42Updated 4 years ago
Alternatives and similar repositories for math157
Users that are interested in math157 are comparing it to the libraries listed below
Sorting:
- Include Jupyter notebook cells in TeX documents☆143Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- probabilistic programming for PL folks☆159Updated 4 years ago
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- Coauthor supercollaboration/discussion forum☆266Updated last month
- The Principia Rewrite☆228Updated 9 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Search for BibTeX references☆127Updated 7 years ago
- Examples of literate programming by Knuth☆39Updated 5 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Collection of animals and other beings drawn in TikZ☆97Updated 2 weeks ago
- Latex source for geometric algebra and physics notes.☆37Updated 2 months ago
- Remake of necessary disorrder beautiful animation☆47Updated 7 years ago
- This is currently only a MIRROR! See RWTH-Gitlab for active repo☆47Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆68Updated last week
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Classical, elegant, and automated thesis template☆43Updated 11 years ago