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 error bounds for linear systems through the Lanczos process - MaRDI portal

Verified error bounds for linear systems through the Lanczos process

From MaRDI portal

Publication:1971079

Jump to:navigation, search

DOI10.1023/A:1009976221447zbMath0947.65050MaRDI QIDQ1971079

Andre Weinberg, Andreas Frommer

Publication date: 22 March 2000

Published in: Reliable Computing (Search for Journal in Brave)

zbMATH Keywords

result verification Lanczos process verified computations verified error bounds

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20)

This page was built for publication: Verified error bounds for linear systems through the Lanczos process

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