Trending Research

Small volume bodies of constant width

microsoft/renderformer 28 May 2024

For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0. 9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$.

Metric Geometry 52A20, 52A40, 28A75, 49Q20

584
0.28 stars / hour

Model Construction for Convex-Constrained Derivative-Free Optimization

numericalalgorithmsgroup/pybobyqa 22 Mar 2024

We develop a new approximation theory for linear and quadratic interpolation models, suitable for use in convex-constrained derivative-free optimization (DFO).

Optimization and Control

85
0.03 stars / hour

acados: a modular open-source framework for fast embedded optimal control

acados/acados 30 Oct 2019

The acados software package is a collection of solvers for fast embedded optimization, intended for fast embedded applications.

Optimization and Control

1,010
0.03 stars / hour

Construction of the Kolmogorov-Arnold representation using the Newton-Kaczmarz method

mpoluektov/kan-polar 14 May 2023

It is known that any continuous multivariate function can be represented exactly by a composition functions of a single variable - the so-called Kolmogorov-Arnold representation.

Numerical Analysis Numerical Analysis 26B40, 41A99, 65D15

47
0.03 stars / hour

Design and implementation of a modular interior-point solver for linear optimization

ds4dm/Tulip.jl 23 Jun 2020

This paper introduces the algorithmic design and implementation of Tulip, an open-source interior-point solver for linear optimization.

Optimization and Control

157
0.03 stars / hour

Implementing Hadamard Matrices in SageMath

sagemath/sage 29 Jun 2023

The Hadamard conjecture states that Hadamard matrices of order $n$ exist whenever $n$ is $1$, $2$, or a multiple of $4$.

Combinatorics

1,828
0.03 stars / hour

Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)

ntnu-arl/aerial_gym_simulator 10 Mar 2010

The flight maneuvers are defined by a concatenation of flight modes or primitives, each of which is achieved by a nonlinear controller that solves an output tracking problem.

Optimization and Control Systems and Control

507
0.03 stars / hour

Transducing paths in graph classes with unbounded shrubdepth

sail-sg/inceptionnext 31 Mar 2022

Transductions are a general formalism for expressing transformations of graphs (and more generally, of relational structures) in logic.

Combinatorics Discrete Mathematics Logic in Computer Science Logic

309
0.02 stars / hour

Formalization of Algorithms for Optimization with Block Structures

optsuite/optlib 24 Mar 2025

Block-structured problems are central to advances in numerical optimization and machine learning.

Optimization and Control G.1.6

56
0.02 stars / hour

Accelerating Optimal Power Flow with GPUs: SIMD Abstraction of Nonlinear Programs and Condensed-Space Interior-Point Methods

sshin23/examodels.jl 31 Jul 2023

This approach enables the specification of model equations while preserving their parallelizable structure and, in turn, facilitates the parallel AD implementation.

Optimization and Control Distributed, Parallel, and Cluster Computing

61
0.02 stars / hour