Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Verified reductions for optimization - MaRDI portal

Verified reductions for optimization

From MaRDI portal

Publication:6536123

Jump to:navigation, search

DOI10.1007/978-3-031-30820-8_8zbMath1547.68802MaRDI QIDQ6536123

Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad

Publication date: 5 April 2024

zbMATH Keywords

convex optimization formal verification interactive theorem proving disciplined convex programming

Mathematics Subject Classification ID

Convex programming (90C25) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Verified reductions for optimization

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6536123&oldid=40057055"