Theory
1,949 items in 14 lists
-
A=B math.upenn.edu
Marko Petkovšek, Herbert Wilf, and Doron Zeilberger on algorithms for proving hypergeometric identities.
-
Elementary Applied Topology math.upenn.edu
Robert Ghrist (UPenn).
-
Foundations of Module and Ring Theory math.uni-duesseldorf.de
Robert Wisbauer (University of Düsseldorf).
-
Ordinary Differential Equation math.uni-bielefeld.de
Alexander Grigorian (University of Bielefeld).
-
Introduction to Numerical Analysis math.umd.edu
Undergraduate notes by Doron Levy on root finding, interpolation, approximation, numerical differentiation, and quadrature.
-
A Concise Course in Algebraic Topology math.uchicago.edu
J. P. May.
-
The CRing Project math.uchicago.edu
Open-source work-in-progress textbook introducing commutative algebra for readers with elementary abstract algebra, with an emphasis on foundations for algebraic geometry.
-
Linear Algebra math.ucdavis.edu
David Cherney, Tom Denton, Andrew Waldron.
-
Notes on Partial Differential Equations math.ucdavis.edu
John K. Hunter (University of California at Davis).
-
Measure Theory math.ucdavis.edu
John K. Hunter (University of California at Davis).
-
An Introduction to Real Analysis math.ucdavis.edu
John K. Hunter (University of California at Davis).
-
An Introduction to Set Theory math.toronto.edu
William A. R. Weiss.
-
Foundations of Algebraic Geometry math.stanford.edu
Ravi Vakil.
-
Modern Real Analysis math.purdue.edu
William P. Ziemer (Indiana University).
-
Functional Analysis math.ou.edu
Christian Remling.
-
Introduction to Algebraic Topology math.muni.cz
Martin Cadek.
-
Elements of Abstract and Linear Algebra math.miami.edu
E.H. Connell (University of Miami).
-
Category Theory for Computing Science math.mcgill.ca
Michael Barr, Charles Wells.
-
Complex Analysis math.ku.dk
Christian Berg.
-
Category Theory in Context math.jhu.edu
Emily Riehl (Johns Hopkins University).
-
Mathematical Biology math.hkust.edu.hk
Jeffrey Chasnov.
-
Introduction to Topology math.colostate.edu
Free introductory notes associated with Renzo Cavalieri's Colorado State University topology course and compiled by students. Covers point-set topology, compactness, connectedness, surfaces, Euler characteristic, and the fundamental group.
-
Lecture Notes in Measure Theory math.chalmers.se
Christer Borell.
-
Linear Algebra Done Wrong math.brown.edu
Sergei Treil.
-
Introduction to Topology math.bme.hu
Alex Küronya.
-
Supplements to the Exercises in Chapters 1-7 of Walter Rudin's "Principles of Mathematical Analysis" math.berkeley.edu
George M. Bergman.
-
Partial Differential Equations math.berkeley.edu
Lawrence C. Evans's concise survey of modern PDE theory from analytical, qualitative, and computational viewpoints.
-
Lectures on Algebraic Statistics math.berkeley.edu
Mathias Drton, Bernd Sturmfels, Seth Sullivant.
-
An Introduction to Riemannian Geometry matematik.lu.se
Sigmundur Gudmundsson (Lund University).
-
Topics in Differential Geometry mat.univie.ac.at
Peter W. Michor.
-
Ordinary Differential Equations and Dynamical Systems mat.univie.ac.at
Gerald Teschl.
-
Theory of Statistics mason.gmu.edu
Advanced, actively revised text by James E. Gentle on probability, statistical models, estimation, testing, and asymptotic theory.
-
Maple maplesoft.com
Paid computer algebra and numerical mathematics system for symbolic computation, visualization, and programming.
-
Magma magma.maths.usyd.edu.au
Subscription-based computer algebra system for research in algebra, number theory, algebraic geometry, and combinatorics.
-
Macaulay2 macaulay2.com
Research system for algebraic geometry and commutative algebra with specialized computational packages.
-
Introduction to Stochastic Processes - Lecture Notes ma.utexas.edu
Gordan Žitković (University of Texas).
-
Introduction to Logic logic.stanford.edu
Michael Genesereth, Eric J. Kao (Stanford University).
-
Encyclopedia of Distances (4th Edition) link.springer.com
Paid reference by Michel Marie Deza and Elena Deza.
-
Convergence of Stochastic Processes link.springer.com
Paid textbook by David Pollard.
-
All of Statistics: A Concise Course in Statistical Inference link.springer.com
Larry Wasserman.
-
Linear Algebra Done Right linear.axler.net
Sheldon Axler.
-
Graph Theory : Interactive Algorithm Visualizer | Graph Theory Learning Platform learngraphtheory.org
Hadjoudj Mohammed Islam.
-
Mathematics in Lean leanprover-community.github.io
Free textbook with examples and exercises for mathematicians learning Lean 4 and mathlib.
-
Lean-related Conferences and Events leanprover-community.github.io
Maintained calendar and archive of conferences, workshops, and tutorials about Lean, mathlib, and formalized mathematics.
-
Courses Using Lean leanprover-community.github.io
Maintained, filterable index of university courses that teach Lean or use it for mathematics, logic, programming, and formal verification.
-
LeanDojo v2 leandojo.org
Open-source framework and benchmark data for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
-
Theorem Proving in Lean 4 lean-lang.org
Free official textbook on dependent type theory, propositions, tactics, inductive types, type classes, and constructing verified proofs in Lean 4.
-
Lean lean-lang.org
Open-source interactive theorem prover and programming language based on dependent type theory, used for formal mathematics and software verification.
-
A Brief Introduction to Algebraic Geometry ksda.ccny.cuny.edu
R.C. Churchill.
-
Khan Academy khanacademy.org
Free, self-paced lessons and exercises from arithmetic through calculus and beyond.
- next page of items loading…
