Theory
1,949 items in 14 lists
-
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.
-
Mathematical Illustrations personal.math.ubc.ca
Bill Casselman's guide to creating clear mathematical diagrams and illustrations.
-
Fundamentals of Linear Algebra personal.math.ubc.ca
James B. Carrell.
-
UBC CLP Calculus Textbooks personal.math.ubc.ca
Free textbooks, problem books, and source files for a four-course university sequence in differential, integral, multivariable, and vector calculus.
-
A Short Introduction to Probability people.smp.uq.edu.au
Dirk P. Kroese (University of Queensland).
-
Elementary Calculus: An Approach Using Infinitesimals people.math.wisc.edu
Professor H. Jerome Keisler.
-
Complex Variables people.math.sc.edu
R. B. Ash, W.P. Novinger.
-
Semi-Riemann Geometry and General Relativity people.math.harvard.edu
Shlomo Sternberg.
-
Lie Algebras people.math.harvard.edu
Shlomo Sternberg.
-
Theory of Functions of a Real Variable people.math.harvard.edu
Shlomo Sternberg.
-
Advanced Calculus people.math.harvard.edu
Lynn Loomis, Schlomo Sternberg.
-
Surreal Numbers - How two ex-students turned on to pure mathematics and found total happiness people.math.harvard.edu
D. E. Knuth.
-
Probability and Stochastic Processes with Applications people.math.harvard.edu
Oliver Knill (Harvard University).
-
Abstract Algebra: Harvard Extension people.math.harvard.edu
Benedict Gross.
-
Advanced Real Analysis people.math.harvard.edu
Curtis T. McMullen.
-
Measure and Integration people.math.ethz.ch
Dietmar A. Salamon (ETH Zürich).
-
Introduction to Differential Geometry people.math.ethz.ch
Joel W. Robbin, Dietmar A. Salamon.
-
Lecture Notes on Optimization people.eecs.berkeley.edu
Pravin Varaiya.
-
Numerical Analysis (Second Edition) people.cs.uchicago.edu
Free second-edition textbook by L. Ridgway Scott on the theory and practice of numerical methods.
-
Elementary Topology Problem Textbook pdmi.ras.ru
Oleg Viro.
-
Proofs and Types paultaylor.eu
Jean-Yves Girard.
-
Markov Chains and Mixing Times pages.uoregon.edu
David A. Levin, Yuval Peres, Elizabeth L. Wilmer.
-
OpenStax Mathematics openstax.org
Peer-reviewed, openly licensed textbooks for school and introductory college mathematics from Rice University.
- next page of items loading…
