Math
364 items from rossant/awesome-math ★16,574
-
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).
-
Think DSP greenteapress.com
Allen B. Downey.
-
A Crash Course on the Lebesgue Integral and Measure Theory github.gold-saucer.org
Steve Cheng.
-
Probability and Statistics Cookbook github.com
Matthias Vallentin (UC Berkeley).
-
GeoGebra geogebra.org
Interactive mathematics suite for geometry, graphing, algebra, spreadsheets, statistics, and calculus.
-
A Concise Course in Complex Analysis and Riemann Surfaces gauss.math.yale.edu
Wilhelm Schlag.
-
Free Math freemathapp.org
Free, open-source software for recording, organizing, and reviewing digital mathematics homework without solving the problems automatically.
-
Foundations of Signal Processing fourierandwavelets.org
Martin Vetterli, Jelena Kovacevic, Vivek K Goyal.
-
forall x: Calgary (An Introduction to Formal Logic) forallx.openlogicproject.org
P.D. Magnus and Tim Button, remixed by Aaron Thomas-Bolduc and Richard Zach (Open Logic Project).
- next page of items loading…
