Principle of verified numerical computations
Autor: | Oishi, Shin’ichi, Ichihara, K., Kashiwagi, Masahide, Kimura, K., Liu, X., Masai, H., Morikura, Yusuke, Ogita, Takeshi, Ozaki, Katsuhisa, Rump, Siegfried M., Sekine, Kouta, Takayasu, A., Yamanaka, Naoya |
---|---|
Jazyk: | japonština |
Rok vydání: | 2018 |
DOI: | 10.15480/882.2562 |
Databáze: | OpenAIRE |
Externí odkaz: |