Titlebook: Scientific Computation with Automatic Result Verification; Ulrich Kulisch,Hans J. Stetter Conference proceedings 1988 Springer-Verlag/Wien

Vsd168

Automatic Result Verification.. As an introduction to the following articles, we explain the meaning of automatic result verification as a tool in Scientific Computation; then we shortly sketch its principal methods and put the papers of the volume into a common perspective.

使满足

Errorbounds for Quadratic Systems of Nonlinear Equations Using the Precise Scalar Product.. For nonlinear systems of quadratic equations we show how the precise scalar product can be used in order to compute and to improve inclusions for a solution. Our main interest is the special case which comes from the generalized eigenvalue problem.

UNT

Conference proceedings 1988cation of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volum

厚颜无耻

Detoxification

0344-8029 l for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volum978-3-211-82063-6978-3-7091-6957-5Series ISSN 0344-8029

DUST

Scientific Computation with Automatic Result Verification

CRUMB

百科全书

大气层

ALIAS

Johann Schröderd in die Satzungen, wären für eine umweltbezogene strategische und operationale Unternehmensplanung notwendig. In Verbindung mit der Realisierung örtlicher und regionaler Energieversorgungskonzepte würden die öffentlichen Unternehmen als Energieunternehmen zum Instrument des Umweltschutzes und der M