Math
364 items from rossant/awesome-math ★16,574
-
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.
-
Abstract Algebra: Theory and Applications judsonbooks.org
Thomas W. Judson.
-
Odds and Ends: Introducing Probability & Decision with a Visual Emphasis jonathanweisberg.org
Jonathan Weisberg.
-
Group Theory jmilne.org
J.S. Milne.
-
Fields and Galois Theory jmilne.org
J.S. Milne.
-
Algebraic Number Theory jmilne.org
J.S. Milne.
-
Algebraic Geometry jmilne.org
J.S. Milne.
-
Basic Analysis: Introduction to Real Analysis jirka.org
Jiří Lebl.
-
Notes on Diffy Qs: Differential Equations for Engineers jirka.org
Jiří Lebl.
-
NIST Handbook of Statistical Methods itl.nist.gov
Resource on practical statistics directed towards scientists and engineers.
-
Isabelle isabelle.in.tum.de
General-purpose interactive theorem prover with higher-order logic and set-theory environments for formalizing mathematics and computer science.
-
Archive of Formal Proofs isa-afp.org
Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.
-
Information Theory, Inference, and Learning Algorithms inference.org.uk
David J. C. MacKay.
-
Mathematics Today by Institute of Mathematics and its Applications ima.org.uk
News, opinions, and articles related to mathematics, so the reader stays updated.
-
ILoveMaths ilovemaths.com
Mathematics lessons and activities for Indian classes 6 to 12.
-
The Chaos Textbook: Mathematics in the age of the computer hypertextbook.com
Glenn Elert.
-
Homotopy Type Theory hottheory.files.wordpress.com
Open textbook on homotopy type theory, univalent foundations, and higher-dimensional structures.
-
Lecture Notes on Statistical Theory homepages.math.uic.edu
Undergraduate notes by Ryan Martin on estimation, likelihood, hypothesis testing, and Bayesian statistics, with some R examples.
-
Linear Algebra hefferon.net
Jim Hefferon.
-
The Elements of Statistical Learning hastie.su.domains
Trevor Hastie, Robert Tibshirani, Jerome Friedman.
-
Linear Methods of Applied Mathematics harrell.math.gatech.edu
Evans M. Harrell II, James V. Herod (Georgia Tech).
- next page of items loading…
