Options
Verified computation of a disc containing exactly k roots of a univariate nonlinear function
Publikationstyp
Journal Article
Date Issued
2010
Sprache
English
Author(s)
Institut
TORE-URI
Volume
1
Issue
1
Start Page
89
End Page
96
Citation
Nonlinear Theory and Its Applications, IEICE 1 (1): 89-96 (2010)
Publisher DOI
DDC Class
004: Informatik
510: Mathematik