Skip to content
∫ mathlib-fp2.0.0
/
Versions: 2.3.2 (current) · 2.3.1 · 2.3.0 · 2.2.0 · 2.0.0 · 1.10.0 · 1.9.9 · 1.9.8 · 1.9.7 · 1.9.6 · 1.9.5 · 1.9.4 · 1.9.3 · 1.9.2 · 1.9.1 · 1.9.0
Documentation home

Domain guides

Choose a library or problem domain: algebra, applied numerics, combinatorics, engineering, finance, geometry, machine learning, numerics, optimisation, probability, statistics, or time series.

For storage and solver choices, see dense linear algebra, sparse linear algebra, and typed dense matrices. For specialised workflows, see convex optimisation, numerical modelling, interchange, and portable performance.