kedlaya / math157
☆41Updated 4 years ago
Alternatives and similar repositories for math157:
Users that are interested in math157 are comparing it to the libraries listed below
- Fungrim: the Mathematical Functions Grimoire☆120Updated 2 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 9 months ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Process markdown into a nice Tufte-like website☆31Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 7 months ago
- ☆31Updated 7 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- P.D. Magnus' forallx logic textbook☆64Updated last year
- Tim Button's open textbook on set theory☆32Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- Quick manipulation of structured data for data analysis.☆25Updated 7 years ago
- Examples of literate programming by Knuth☆36Updated 8 months ago
- Algebra Number Theory book☆48Updated 2 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Include Jupyter notebook cells in TeX documents☆143Updated 6 months ago
- A static site generator which supports markdown with LaTeX.☆17Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 weeks ago
- A LaTeX package to draw Feynman diagrams using TikZ☆17Updated 9 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆177Updated 2 years ago
- phd thesis document source☆163Updated 8 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- A collection of scientific posters (with sources) made with Pages or ComicLife☆34Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆28Updated 9 months ago