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
Refining and verifying the solution of a linear system - MaRDI portal

Refining and verifying the solution of a linear system

From MaRDI portal

Publication:2819636

Jump to:navigation, search

DOI10.1145/2331684.2331711zbMath1347.65066OpenAlexW1976627964WikidataQ130992432 ScholiaQ130992432MaRDI QIDQ2819636

Nathalie Revol, Hong Diep Nguyen

Publication date: 29 September 2016

Published in: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00641659/file/Nguyen-Revol-SNC.pdf

zbMATH Keywords

accuracy interval arithmetic precision numerical linear algebra floating-point arithmetic symbolic-numeric computation verified computations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20)

Related Items (1)

Inner and outer estimations of the generalized solution sets and an application in economic

This page was built for publication: Refining and verifying the solution of a linear system

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