Fast verification algorithms in Matlab

Publikationstyp
Book Part
Date Issued
2001
Sprache
English
Author(s)
Rump, Siegfried M.  orcid-logo
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8844
Start Page
209
End Page
226
Citation
Symbolic Algebraic Methods and Verification Methods: 209–226 (2001)
Publisher DOI
10.1007/978-3-7091-6280-4_20
Publisher
Springer
DDC Class
004: Informatik
510: Mathematik