Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1969307