linear-programming mathematical-programming modeling-language nonlinear-programming optimization python

julia jump-jl mathematical-programming optimization

cython integer-optimization mathematical-programming nonlinear-optimization python scip

constrained-optimization continuous-optimization cpp gradient-descent interior-point-method local-optimization mathematical-optimization mathematical-programming newton-method nonconvex-optimization nonlinear-optimization nonlinear-programming nonlinear-programming-algorithms numerical-optimization optimization optimization-algorithms optimization-methods optimization-solver quadratic-programming sequential-quadratic-programming

mathematical-programming minlp minlp-solver mixed-integer-optimization nonlinear-optimization optimization pyomo

artificial-intelligence decision-trees keras lightgbm machine-learning mathematical-programming mixed-integer-optimization mixed-integer-programming neural-networks optimization python pytorch sklearn surrogate-models xgboost

jso julia mathematical-optimization mathematical-programming nlpmodels optimization

compression computer-science general-purpose logging mathematical-programming mathematics rust rust-crate rust-library rust-math rust-science science

automatic-differentiation julia-language mathematical-programming modeling-language modeling-tool nonlinear-optimization optimization

bilevel-optimization bilevel-problem complementarity-constraints julia julialang jump mathematical-programming optimization

Engineering (40%)

algorithm bin-packing-problem branch-and-cut constraint-programming knapsack-problem mathematical-programming mixed-integer-programming operations-research

formal-mathematics formalisation-mathematics formalised-mathematics lean-blueprint lean-theorem-prover lean4 leanblueprint mathematical-programming mathematics proof-assistant theorem-proving