kedlaya / math157
☆41Updated 3 years ago
Related projects: ⓘ
- Fungrim: the Mathematical Functions Grimoire☆115Updated 2 years ago
- Include Jupyter notebook cells in TeX documents☆143Updated last month
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 4 months ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆119Updated 2 months ago
- ☆31Updated 7 years ago
- Applied Discrete Structures using PreTeXt☆41Updated this week
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Write LaTeX theorems in Pandoc Markdown☆74Updated 10 months ago
- "A First Course in Linear Algebra" open source textbook☆64Updated 2 years ago
- Examples of literate programming by Knuth☆35Updated 3 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 4 months ago
- Short essays I've written☆75Updated 8 months ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆86Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆59Updated 9 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- Search for BibTeX references☆128Updated 6 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
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆152Updated 4 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 5 years ago
- A static site generator which supports markdown with LaTeX.☆17Updated last year
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆109Updated last month
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆157Updated last month
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago