|
by Klatte, Rudi, Kulisch, Ulrich, Neaga, Michael, Ratz, Dietmar
Published 1992
“... that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems...”Published 1992
Springer Berlin Heidelberg