kedlaya / math157
☆41Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for math157
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Examples of literate programming by Knuth☆35Updated 5 months ago
- Algebra Number Theory book☆47Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago
- Include Jupyter notebook cells in TeX documents☆143Updated 3 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Process markdown into a nice Tufte-like website☆31Updated 4 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- LobLib: The Lobster Library☆68Updated 9 years ago
- The Principia Rewrite☆207Updated 6 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆109Updated 3 months ago
- Tim Button's open textbook on set theory☆30Updated last year
- ☆31Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆98Updated 5 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Search for BibTeX references☆128Updated 6 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- A static site generator which supports markdown with LaTeX.☆17Updated last year
- A Mathematica package for generating symbolic models from data☆49Updated 2 years ago
- Short essays I've written☆75Updated 10 months ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- Write LaTeX-formatted documents using J evaluation☆17Updated 8 years ago
- A community database of topological counterexamples☆72Updated this week