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

维持

颠簸下上

畸形

Evaluation of Arithmetic Expressions with Guaranteed High Accuracy this tool to develop an algorithm for the evaluation of rational expressions in several variables with high guaranteed accuracy. An extension for complex expressions, vectormatrix expressions and expressions with standard functions and interval arguments is also given.

concert

赦免

Inverse Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy possible rounding errors are considered. The desired accuracy of the function as well as the base of the number system used are parameters of the error formula. For implementation it is only assumed that the four elementary arithmetic operations are performed with a certain number of correct digits

Adherent

Conference proceedings 1988 for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". - - This volume combines edited versions

Vo2-Max

transdermal

宿醉

The Periodic Solutions of the Oregonator and Verification of Resultsnegligibly small within graphical accuracy. This result of the “Karlsruhe enclosure methods” has been obtained with a simultaneous verification of the existence of periodic solutions in ., making use of index theory and th Poincaré-Bendixson theory.

cogitate

Precise Evaluation of Polynomials in Several Variables. Numerical examples demonstrate the high precision of the results and show that traditional algorithms (e g nested Homer’s schemes) can fail completely for this problem. The algorithm presented here is a generalization of Böhm’s algorithm for one-dimensional polynomials, [4], [5].