Summary
For several scientific and technical applications we need computed results that can be automatically verified during the computing time. New Developments in Computer Science are Computer Algebra Systems and Highly Accurate Arithmetics with special Rounding Operations including Rounding Errors. The combining of Computer Algebra and Accurate Arithmetics with variable word length leads to a new class of hybrid methods producing verified results. The main ideas of these hybrid methods are explained and some examples are shown.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Jenks and others Scratchpad II: An Abstract Datatype System for Mathematical Computation, Mathematical Aspects of Scientific Software, Springer New York (1989)
Krückeberg Arbitrary Accuracy with Variable Precision Arithmetic. In: Interval Mathematics 1985, Lecture Notes in Computer Science 212, Hrsg.: K. Nickel, Springer Verlag 1985.
Lehmann Die Analytische Maschine. Grundlagen einer Computer-Analytik. Sitzungsberichte der Sächsischen Akademie der Wissenschaften zu Leipzig. Band 118, Heft 4 (1985).
Leisen Zur Erzielung variabel vorgebbarer Fehlereinschließungen für gewöhnliche Differentialgleichungen mit Anfangswertmengen mittels dynamisch steuerbarer Arithmetik. Diplomarbeit Universität Bonn, 1985
Schwarz Symmetries of Differential equations from Sophus Lie to Computer Algebra, SIAM Review, 30 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krückeberg, F. (1990). New Application Related Developments in Informatics with Verified Results. In: Schwärtzel, H., Mizin, I.A. (eds) Advanced Information Processing. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-93464-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-93464-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52683-4
Online ISBN: 978-3-642-93464-3
eBook Packages: Springer Book Archive