Theory
1,949 items in 14 lists
-
General Topology web.math.ku.dk
Jesper M. Møller.
-
Evan Chen web.evanchen.cc
MIT. 2012 ~ 2018. Covers Combinatorics, Number Theory, Honors Algebra, Set Theory, Real Analysis, Graph Theory, and more.
-
Introduction to Probability vfu.bg
Dimitri P. Bertsekas, John N. Tsitsiklis (MIT).
-
Differential Equations users.math.msu.edu
Gabriel Nagy.
-
Advanced Numerical Methods and Their Applications to Industrial Problems: Adaptive Finite Element Methods user.math.uni-bremen.de
Specialized notes by Alfred Schmidt and Arsen Narimanyan on adaptive finite element methods.
-
Metamath us.metamath.org
Minimal formal language and proof verifier with explicit, inspectable proofs built from simple foundations.
-
Lectures in Basic Computational Numerical Analysis uknowledge.uky.edu
Archived University of Kentucky textbook by J. M. McDonough, focused on computational methods for differential equations.
-
Paul's Online Math Notes tutorial.math.lamar.edu
Free notes, examples, and practice problems for algebra, calculus, and differential equations, by Paul Dawkins at Lamar University.
-
Algebraic Statistics tore.tuhh.de
Karl-Heinz Zimmermann.
-
The Math District themathdistrict.com
Free guides and videos covering prealgebra, algebra, geometry, trigonometry, statistics, calculus, and technical mathematics.
-
Interactive Linear Algebra textbooks.math.gatech.edu
Dan Margalit and Joseph Rabinoff.
-
Elementary Real Analysis textbooks.aimath.org
Brian S. Thomson, Judith B. Bruckner, Andrew M. Bruckner.
-
A First Course in Linear Algebra textbooks.aimath.org
Robert A. Beezer.
-
A First Course in Complex Analysis textbooks.aimath.org
Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka.
-
AIM Open Textbook Initiative textbooks.aimath.org
Open mathematics textbooks organized by course and evaluated by the American Institute of Mathematics editorial board.
-
An Introduction to Measure Theory terrytao.files.wordpress.com
Terence Tao (UCLA).
-
QED - an interactive textbook teorth.github.io
Terence Tao.
-
Mathematical Reasoning: Writing and Proof tedsundstrom.com
Ted Sundstrom.
-
Talking Maths in Public talkingmathsinpublic.uk
Biennial conference for mathematics communicators in the United Kingdom.
-
Categories and Groupoids tac.mta.ca
P. J. Higgins.
-
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.
- next page of items loading…
