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 month
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆119Updated last week
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated 2 months ago
- The Principia Rewrite☆229Updated 2 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated last week
- An explainer on entropy☆68Updated last year
- probabilistic programming for PL folks☆160Updated 4 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Coauthor supercollaboration/discussion forum☆268Updated 2 weeks ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 11 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- "A First Course in Linear Algebra" open source textbook☆70Updated 2 months ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 3 weeks ago
- Quick manipulation of structured data for data analysis.☆25Updated 8 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 7 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆190Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Updated 11 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆115Updated 4 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago