Conic programming for certified polynomial optimization - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Communication Dans Un Congrès Année : 2022

Conic programming for certified polynomial optimization

certifpop.pdf (3.22 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04719316 , version 1 (19-11-2024)

Identifiants

  • HAL Id : hal-04719316 , version 1

Citer

Victor Magron. Conic programming for certified polynomial optimization. Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany. ⟨hal-04719316⟩
71 Consultations
0 Téléchargements

Partager

More