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
Formally verified roundoff errors using SMT-based certificates and subdivisions - MaRDI portal

Formally verified roundoff errors using SMT-based certificates and subdivisions

From MaRDI portal

Publication:6535941

Jump to:navigation, search

DOI10.1007/978-3-030-30942-8_4zbMath1539.68148MaRDI QIDQ6535941

Joachim Bard, Heiko Becker, Eva Darulova

Publication date: 14 March 2024

zbMATH Keywords

subdivision roundoff error SMT Coq finite-precision

Mathematics Subject Classification ID

Roundoff error (65G50) 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: Formally verified roundoff errors using SMT-based certificates and subdivisions

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