Maths focused libraries and programs that may not neatly fit into DSA
-
Updated
Jun 12, 2024 - Python
Maths focused libraries and programs that may not neatly fit into DSA
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
Efficient modeling interface for mathematical optimization in Python
A next-gen solver for optimization with nonconvex objective and constraints. Reimplements filterSQP and IPOPT (barrier) in a modern and generic way, and unlocks a variety of novel methods. Competitive against filterSQP, IPOPT, SNOPT, MINOS and CONOPT.
Open standard for mathematical programming interoperability
ReSHOP solver
An abstraction layer for mathematical optimization solvers
An object-oriented algebraic modeling language in Python for structured optimization problems.
A library of modern Fortran modules for nonlinear optimization
Çeşitli kaynaklardan derlenerek sayısal yöntem notları
Problems of Project Euler for anyone interested in improving their programming skills in the form of challenging mathematical problems.
This repository contains the code examples of the book "Einführung in Optimierungsmodelle" ("Introduction to Optimization Models") (Sudermann-Merx, 2023)
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Design and manage your own exotic financial derivatives contracts.
Represent trained machine learning models as Pyomo optimization formulations
oj! Mathematical Programming Benchmark
Rendering and simulation of the 3D solar system using C++17, modern OpenGL and GLSL shaders
oj! Algorithms
Python interface for the SCIP Optimization Suite
A V2G Simulation Environment for large scale EV charging optimization
Add a description, image, and links to the mathematical-programming topic page so that developers can more easily learn about it.
To associate your repository with the mathematical-programming topic, visit your repo's landing page and select "manage topics."