Computer-assisted proofs I

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/8942
Journal
Ōyō-suri  
Volume
14
Issue
3
Start Page
2
End Page
11
Citation
Bulletin of the Japan Society for Industrial and Applied Mathematics 14(3):2–11 (2004)
Publisher
Nihon Ōyō Suri Gakkai
DDC Class
004: Informatik
510: Mathematik