Google's software suite for combinatorial optimization
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Tools for building fast, hackable, pseudospectral equation solvers
Bayesian Modeling and Probabilistic Programming in Python
Beautiful and accessible math in all browsers
OpenGL Mathematics (GLM)
Set of numeric libraries for the Go programming language
Mathematical Contest resources
A computer algebra system written in pure Python
SciPy library main repository
AI-driven neuro-symbolic solver for high-school geometry problems
Tool support for the Z formal notation
An Infinitely Large Napkin
The MATLAB toolbox for MEG, EEG and iEEG analysis
Simulate chemical processes using advanced thermodynamic models
Python library for defining and optimizing mathematical expressions
A comprehensive open source computer algebra system for computations
Matlab toolbox for Geometry Processing
Krylov methods for linear problems, eigenvalues, and singular values
Geometric deep learning extension library for PyTorch
Python library for converting Python calculations into rendered latex
Computational algebraic number theory
A common interface for quadrature and numerical integration
Scalable Symbolic-Numeric Set Computations
Advanced mathematical types and functions for Swift