1
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... -- New results on verified inclusions -- Accurate elliptic differential equation solver -- Case studies...