Chapter 10, Computer Assisted Proofs and Self-Validating Methods

Siegfried M. Rump


In this chapter both graphic illustrations and program excerpts are numbered as figures.


Last modified: January 23, 2006
boein@nsc.liu.se