Google's software suite for combinatorial optimization
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Bayesian Modeling and Probabilistic Programming in Python
Tools for building fast, hackable, pseudospectral equation solvers
Beautiful and accessible math in all browsers
OpenGL Mathematics (GLM)
Mathematical Contest resources
Set of numeric libraries for the Go programming language
A computer algebra system written in pure Python
AI-driven neuro-symbolic solver for high-school geometry problems
A simple and beautiful calculator for Android
An Infinitely Large Napkin
SciPy library main repository
Tool support for the Z formal notation
Simulate chemical processes using advanced thermodynamic models
Python library for defining and optimizing mathematical expressions
Matlab toolbox for Geometry Processing
This dataset code generates mathematical question and answer pairs
Krylov methods for linear problems, eigenvalues, and singular values
Python library for converting Python calculations into rendered latex
A common interface for quadrature and numerical integration
Scalable Symbolic-Numeric Set Computations
CUDA Templates for Linear Algebra Subroutines
Animation engine for explanatory math videos
Computational algebraic number theory