Trending Research

New exponent pairs, zero density estimates, and zero additive energy estimates: a systematic approach

teorth/expdb 28 Jan 2025

We obtain several new bounds on exponents of interest in analytic number theory, including four new exponent pairs, new zero density estimates for the Riemann zeta-function, and new estimates for the additive energy of zeroes of the Riemann zeta-function.

Number Theory 11L07, 11M06, 11T23

41
0.03 stars / hour

NOMAD version 4: Nonlinear optimization with the MADS algorithm

bbopt/nomad 23 Apr 2021

NOMAD is software for optimizing blackbox problems.

Optimization and Control Mathematical Software

126
0.03 stars / hour

Universal Average-Case Optimality of Polyak Momentum

d2l-ai/d2l-en 19 Aug 2020

Polyak momentum (PM), also known as the heavy-ball method, is a widely used optimization method that enjoys an asymptotic optimal worst-case complexity on quadratic objectives.

Optimization and Control

24,929
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,580
0.02 stars / hour

Optimality of Gerver's Sofa

zhaoolee/garss 29 Nov 2024

We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area $2. 2195\cdots$.

Metric Geometry Combinatorics Optimization and Control 49Q10, 49K15, 52A10, 52A41, 90C26

1,235
0.02 stars / hour

Cartesian double theories: A double-categorical framework for categorical doctrines

toposinstitute/catcolab 9 Oct 2023

In many cases, the virtual double category of models is representable, hence is a genuine double category.

Category Theory 03G30, 18N10

51
0.02 stars / hour

Open Petri Nets

algebraicjulia/algebraicpetri.jl 16 Aug 2018

However, since the composite of open Petri nets is defined only up to isomorphism, it is better to treat them as morphisms of a symmetric monoidal double category $\mathbb{O}\mathbf{pen}(\mathsf{Petri})$.

Category Theory Logic in Computer Science

81
0.02 stars / hour

PIQP: A Proximal Interior-Point Quadratic Programming Solver

predict-epfl/piqp 1 Apr 2023

This paper presents PIQP, a high-performance toolkit for solving generic sparse quadratic programs (QP).

Optimization and Control

98
0.02 stars / hour

Preconditioned Nonlinear Conjugate Gradient Method for Real-time Interior-point Hyperelasticity

Xingbaji/PNCG_IPC 6 May 2024

Furthermore, we simplify and accelerate the computations of Jacobi preconditioning and Hessian-vector product for hyperelasticity and barrier function.

Optimization and Control Graphics

55
0.02 stars / hour

Dynamic Mode Decomposition and Koopman Theory

galoisinc/dlkoopman 14 Nov 2022

Dynamic Mode Decomposition (DMD) is a technique to approximate generally non-linear dynamical systems using linear techniques, which are better understood and easier to analyze.

Optimization and Control Systems and Control Systems and Control

93
0.02 stars / hour