# Differentiating through Log-Log Convex Programs

27 Apr 2020cvxgrp/cvxpy

This makes it possible to conduct sensitivity analyses of solutions, given perturbations to the parameters, and to compute the gradient of a function of the solution with respect to the parameters.

OPTIMIZATION AND CONTROL

3,087

# Disciplined Quasiconvex Programming

2 May 2019cvxgrp/cvxpy

We present a composition rule involving quasiconvex functions that generalizes the classical composition rule for convex functions.

OPTIMIZATION AND CONTROL MATHEMATICAL SOFTWARE

3,087

# A Rewriting System for Convex Optimization Problems

13 Sep 2017cvxgrp/cvxpy

We describe a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces.

OPTIMIZATION AND CONTROL MATHEMATICAL SOFTWARE

3,087

# Computing in Operations Research using Julia

5 Dec 2013IainNZ/JuMP.jl

The state of numerical computing is currently characterized by a divide between highly efficient yet typically cumbersome low-level languages such as C, C++, and Fortran and highly expressive yet typically slow high-level languages such as Python and MATLAB.

OPTIMIZATION AND CONTROL NUMERICAL ANALYSIS PROGRAMMING LANGUAGES

1,368

# Last-mile Delivery: Optimal Locker Location Under Multinomial Logit Choice Model

24 Feb 2020ljvmiranda921/pyswarms

Motivated by a real case in Singapore, we consider a POP-Locker Alliance who operates a set of POP-stations and wishes to improve the last-mile delivery by opening new locker facilities.

OPTIMIZATION AND CONTROL

730

# Several new quadrature formulas for polynomial integration in the triangle

We present several new quadrature formulas in the triangle for exact integration of polynomials.

NUMERICAL ANALYSIS 65D30 (SECONDARY), 65D32 (PRIMARY), 65M60, 65M70, 41A10

465

# Optimization-Based Autonomous Racing of 1:43 Scale RC Cars

20 Nov 2017alexliniger/MPCC

This paper describes autonomous racing of RC race cars based on mathematical optimization.

OPTIMIZATION AND CONTROL ROBOTICS SYSTEMS AND CONTROL

446

# Stability of Evolutionary Dynamics on Time Scales

19 Oct 2012marcharper/python-ternary

We combine incentive, adaptive, and time-scale dynamics to study multipopulation dynamics on the simplex equipped with a large class of Riemmanian metrics, simultaneously generalizing and extending many dynamics commonly studied in dynamic game theory and evolutionary dynamics.

DYNAMICAL SYSTEMS INFORMATION THEORY INFORMATION THEORY POPULATIONS AND EVOLUTION 91A22

397

# Conic Optimization via Operator Splitting and Homogeneous Self-Dual Embedding

25 Jul 2016cvxgrp/scs

The method uses an operator splitting method, the alternating directions method of multipliers, to solve the homogeneous self-dual embedding, an equivalent feasibility problem involving finding a nonzero point in the intersection of a subspace and a cone.

OPTIMIZATION AND CONTROL

343

# On the homotopy groups of spheres in homotopy type theory

19 Jun 2016HoTT/HoTT-Agda

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory.

ALGEBRAIC TOPOLOGY LOGIC IN COMPUTER SCIENCE LOGIC

342