Computer-assisted proofs II

Publikationstyp
Journal Article
Date Issued
2004
Sprache
Japanese
Author(s)
Rump, Siegfried M.  orcid-logo
Other Contributor
Ogita, Takeshi  
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8943
Journal
Ōyō-suri  
Volume
14
Issue
4
Start Page
44
End Page
57
Citation
Bulletin of the Japan Society for Industrial and Applied Mathematics 14(4): 44-57 (2004)
Publisher
Nihon Ōyō Suri Gakkai
DDC Class
004: Informatik
510: Mathematik