Computer-assisted proofs I
Publikationstyp
Journal Article
Date Issued
2004
Sprache
Japanese
Author(s)
Other Contributor
Institut
TORE-URI
Journal
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