Math
364 items from rossant/awesome-math ★16,557
-
OSSU Math github.com
Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.
-
AlphaGeometry github.com
Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.
-
runmat-org/runmat github.com
[runmat] - A runtime for MATLAB-syntax numerical programs, with GPU acceleration through wgpu.
-
mathlib github.com
Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.
-
-
Mathematica wolfram.com
Paid technical-computing system for symbolic and numerical mathematics, visualization, programming, and data analysis.
-
SageMath sagemath.org
Free mathematics software combining computer algebra, numerical computation, geometry, statistics, and visualization through Python.
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
miniF2F github.com
Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.
-
MathFlow github.com
C# math expression library with symbolic computation (differentiation, simplification, equation solving).
-
Wolfram Alpha wolframalpha.com
Computational knowledge engine for evaluating expressions, plotting functions, and answering structured queries. Some advanced features require a paid plan.
-
-
Mathematics Stack Exchange math.stackexchange.com
Community questions and answers about mathematics problems and proofs.
-
-
Desmos desmos.com
Browser-based graphing calculator with geometry, tables, statistics, and classroom activities.
-
CVXPY cvxpy.org
Open-source Python modeling language for convex, geometric, quasiconvex, and related optimization problems.
-
Deep Learning: Foundations and Concepts bishopbook.com
A probability-grounded treatment by Christopher and Hugh Bishop.
-
Bengt. Programming in Martin-Löf's Type Theory cse.chalmers.se
This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
-
An Introduction to Statistical Learning with Applications in R statlearning.com
Gareth James, Daniela Witten, Trevor Hastie, Robert Tibshirani.
-
The Math Behind Artificial Intelligence freecodecamp.org
A free FreeCodeCamp book teaching the math behind AI in plain English from an engineering point of view.
-
Textbook web.stanford.edu
A free textbook with slides, exercises, code, and course material by Stephen Boyd and Lieven Vandenberghe.
-
Mathematical Components math-comp.github.io
Formalization of mathematical theories, focusing in particular on group theory.
-
-
-
-
-
-
-
-
StatQuest youtube.com
Introductory video explanations of statistics, probability, and machine learning.
- next page of items loading…
