Zur Kurzanzeige

Conic Linear Optimization for Computer-Assisted Proofs

dc.date.accessioned2022-05-17T10:15:28Z
dc.date.available2022-05-17T10:15:28Z
dc.date.issued2022
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3946
dc.description.abstractFrom a mathematical perspective, optimization is the science of proving inequalities. In this sense, computational optimization is a method for computer-assisted proofs. Conic (linear) optimization is the problem of minimizing a linear functional over the intersection of a convex cone with an affine subspace of a topological vector space. For many cones this problem is computationally tractable, and as a result there is a growing number of computer-assisted proofs using conic optimization in discrete geometry, (extremal) graph theory, numerical analysis, and other fields, the most famous example perhaps being the proof of the Kepler Conjecture. The aim of this workshop was to bring researchers from these diverse fields together to work towards expanding the current scope of conic optimization as a method of generating proofs, and to identify problems and challenges to work on together.
dc.titleConic Linear Optimization for Computer-Assisted Proofs
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.de
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.en
dc.identifier.doi10.14760/OWR-2022-20
local.series.idOWR-2022-20
local.subject.msc90
local.subject.msc52
local.subject.msc14
local.subject.msc65
local.subject.msc05
local.date-range10 Apr - 16 Apr 2022
local.workshopcode2215b
local.workshoptitleConic Linear Optimization for Computer-Assisted Proofs
local.organizersEtienne de Klerk, Tilburg; Didier Henrion, Toulouse/Prague; Frank Vallentin, Cologne; Angelika Wiegele, Klagenfurt
local.report-nameWorkshop Report 2022,20
local.opc-photo-id2215b
local.publishers-doi10.4171/OWR/2022/20


Dateien zu dieser Ressource

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige