A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A collection of useful mathematical functions in Elixir with a slant towards statistics, linear algebra and machine learning
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
- mathematical-modelling
- automatic-differentiation
- mathematics
- math
An open-source mathematical tire modelling library
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming