Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
-
Updated
May 26, 2024 - Julia
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
An abstraction layer for mathematical optimization solvers
Open Funsearch implementation of Google Deepmind's Funsearch
A library of modern Fortran modules for nonlinear optimization
An object-oriented algebraic modeling language in Python for structured optimization problems.
A C-written program that allows users to employ various numerical methods for approximating equations and calculations. It also includes a Python GUI developed using Tkinter.
ReSHOP solver
Open standard for mathematical programming interoperability
A next-gen solver for optimization with nonconvex objective and constraints. Reimplements filterSQP (SQP) and IPOPT (barrier/interior-point method) in a modern and modular way, and unlocks methods never seen before. Competitive against filterSQP, IPOPT, SNOPT, MINOS and CONOPT.
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
Çeşitli kaynaklardan derlenerek sayısal yöntem notları
Rendering and simulation of the 3D solar system using C++17, modern OpenGL and GLSL shaders
My sandbox for experimenting with solver algorithms.
Efficient modeling interface for mathematical optimization in Python
Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs
Design and manage your own exotic financial derivatives contracts.
oj! Algorithms
Algorithms Lab (Summer 24)
An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.
A GPU algorithm for enumerating weak pseudomanifolds
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."