psibi / how-to-prove
My Solution to Velleman's book
☆232Updated 10 months ago
Related projects: ⓘ
- Chicago undergraduate mathematics bibliography☆686Updated 5 years ago
- Info on resources for studying math, stats, CS, etc.☆178Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆208Updated last week
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆104Updated 7 months ago
- Cambridge Maths Tripos notes☆34Updated 3 years ago
- Open-source number theory textbook☆55Updated last month
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,058Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆81Updated last month
- Basic Analysis, undergraduate real analysis textbook☆57Updated 2 weeks ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- ☆136Updated this week
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆267Updated 3 months ago
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆110Updated last year
- Public repository for Abstact Algebra Theory and Applications☆157Updated last month
- List of Science courses with video lectures☆566Updated last year
- Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.☆75Updated 2 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆59Updated 7 months ago
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 8 months ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆53Updated last year
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆124Updated 5 years ago
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- Labs for the Foundations of Applied Mathematics curriculum.☆211Updated 3 weeks ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆328Updated 4 years ago
- Completed MIT OCW 8.01SC☆22Updated 2 years ago
- A Modern CompSci Curriculum☆301Updated 2 months ago