scientific article
zbMath1463.65105MaRDI QIDQ2815663
Huiran Zhang, Yoshikazu Hayase, Takashi Ishihara, Jiang Xie, Yasuhiko Manabe, Takayuki Teramoto, Masami Matsumoto, Daisuke Barada, Dombo Dai, Shigeo Kawata, Hitohide Usami
Publication date: 30 June 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationuncertaintyscientific computinguncertainty quantificationvalidationcomputer assisted sciencePSE (problem solving environment)
Roundoff error (65G50) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Algorithms with automatic result verification (65G20)
This page was built for publication:
