Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers

DOI10.1023/A:1023022731988zbMath1028.00528OpenAlexW4243137568MaRDI QIDQ1404765

No author found.

Publication date: 18 December 2003

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023022731988

zbMATH Keywords

Toronto (Canada)Validated computing

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06)

This page was built for publication: Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers