Math
364 items from rossant/awesome-math ★16,574
-
Abelian Categories tac.mta.ca
Peter Freyd.
-
Abstract and Concrete Categories: The Joy of Cats tac.mta.ca
Jiri Adamek, Horst Herrlich, George E. Strecker.
-
Toposes, Triples and Theories tac.mta.ca
Michael Barr, Charles Wells.
-
Basic Concepts of Enriched Category Theory tac.mta.ca
G. M. Kelly.
-
The Calculus of Functions of Several Variables synechism.org
Dan Sloughter.
-
SymPy sympy.org
Python library for symbolic algebra, calculus, equation solving, matrices, and code generation.
-
Symbolab symbolab.com
Online solver with step-by-step solutions, graphing, calculators, and practice tools. Some solution steps and study features require a paid plan.
-
Precalculus stitz-zeager.com
Carl Stitz, Jeff Zeager.
-
Statistical Thinking for the 21st Century statsthinking21.org
Russell A. Poldrack.
-
UCLA Statistical Methods and Data Analytics stats.oarc.ucla.edu
Tutorials and examples for R, Stata, SAS, and SPSS.
-
Statistics Done Wrong statisticsdonewrong.com
Alex Reinhart.
-
Harvard Statistics 110: Probability stat110.hsites.harvard.edu
Free probability course with a textbook, lecture videos, exercises, and an optional edX version by Joe Blitzstein.
-
The Stacks Project stacks.math.columbia.edu
Maintained by Aise Johan de Jong (Columbia).
-
Functional Analysis spot.colorado.edu
Lawerence Baggett.
-
Analysis of Functions of a Single Variable spot.colorado.edu
Lawerence Baggett.
-
The Geometry and Topology of Three-Manifolds slmath.org
W. Thurston.
-
Graph Theory: Lecture Notes sites.psu.edu
Christopher Griffin.
-
Complex Analysis sites.math.washington.edu
Donald E. Marshall.
-
Mathematics and AI sites.math.washington.edu
University of Washington Fall 2025 graduate course with public slides, Lean examples, projects, and readings on machine learning, formalization, autoformalization, mathematical discovery, and ethics.
-
Probability: Theory and Examples sites.math.duke.edu
Rick Durrett (5th edition).
-
Introduction to Algebraic Geometry sites.lsa.umich.edu
Igor V. Dolgachev.
-
Commutative Algebra Notes sites.lsa.umich.edu
Free graduate course notes by Mel Hochster, from an introductory course through advanced topics such as Cohen-Macaulay rings, multiplicities, and étale maps.
-
Algebraic Number Theory Course Notes sites.google.com
Matthew Baker (Georgia Tech).
-
Singular singular.uni-kl.de
Computer algebra system for polynomial computations in commutative algebra, algebraic geometry, and singularity theory.
-
AI for Mathematics and Theoretical Computer Science simons.berkeley.edu
Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.
-
A Computational Introduction to Number Theory and Algebra shoup.net
Victor Shoup.
-
Mathematical Logic sgslogic.net
Stephen G. Simpson (Pennsylvania State University).
-
Set Theory and Foundations of Mathematics settheory.net
Sylvain Poirier.
-
Seeing Theory seeing-theory.brown.edu
Daniel Kunin, Jingru Guo, Tyler Dae Devlin, and Daniel Xiang.
-
Lecture Notes: Fourier Transform and its Applications see.stanford.edu
Brad Osgood.
-
Rocq Prover rocq-prover.org
Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.
-
Book of Proof richardhammack.github.io
Richard Hammack (Virginia Commonwealth University).
-
General Topology rexresearch1.com
Stephen Willard.
-
Introduction to Continuum Mechanics rbowen.engr.tamu.edu
Ray M. Bowen.
-
Introduction to Real Analysis ramanujan.math.trinity.edu
William F. Trench (Trinity University, Texas).
-
Real Analysis for Graduate Students r-bass.scholar.uconn.edu
Richard F. Bass.
-
Calculus and Linear Algebra. Vol. 2 quod.lib.umich.edu
Wilfred Kaplan, Donald J. Lewis.
-
Calculus and Linear Algebra. Vol. 1 quod.lib.umich.edu
Wilfred Kaplan, Donald J. Lewis.
-
Quanta Magazine quantamagazine.org
Features latest research breakthroughs in an accessible style for non-experts.
-
An Introduction to Stochastic Processes in Continuous Time pub.math.leidenuniv.nl
Flora Spieksma (Leiden University).
-
ProofWiki proofwiki.org
Collaborative repository of mathematical definitions, lemmas, and proofs.
-
Probabilistic Machine Learning probml.github.io
Introductory and advanced books by Kevin Murphy, with free draft PDFs, code, figures, exercises, and teaching resources.
-
Language, Proof, and Logic, Second Edition press.uchicago.edu
Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.
-
The Princeton Companion to Mathematics press.princeton.edu
Paid reference edited by Timothy Gowers, June Barrow-Green, and Imre Leader.
-
Yet Another Introductory Number Theory Textbook poritz.net
Jonathan A. Poritz.
-
Fundamentals of Geometry polly.phys.msu.ru
Free geometry text by Oleg A. Belyaev.
-
Computability - An introduction to recursive function theory poincare.matf.bg.ac.rs
Nigel Cutland (University of Hull).
-
Set Theory on the Stanford Encyclopedia of Philosophy plato.stanford.edu
Peer-reviewed overview of set theory with historical context and references.
-
Algebraic Topology pi.math.cornell.edu
Allen Hatcher.
-
Complex Analysis personalpages.manchester.ac.uk
Charles Walkden.
- next page of items loading…
