Author:
Adams E.,Baumann K.,Grossmann Ch.
Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference36 articles.
1. Adams, E.: Periodic solutions: enclosure, verification, and applications. In: Computer arithmetic and self-validating numerical methods (Ulrich, Ch., ed.), pp. 199–245. Boston: Academic Press 1990.
2. Adams, E., Ansorge, R., Grossmann, C., Roos, H.-G. (eds.): Discretization in differential equations and enclosures. Berlin: Akademie Verlag 1987.
3. Adams, E., Holzmüller, A., Straub, D.: The periodic solutions of the Oregonator and verification of results. In: Scientific computation with automatic result verifications (Kulisch, U., Stetter, H.J, eds.), pp. 111–121. Wien New York: Springer 1988 (Computing Suppl. 6).
4. Adams, E., Spreuer, H.: Konvergente numerische Schrankenkonstruktionen mit Spline-Funktionen für nichtlineare gewöhnliche bzw. parabolische Randwertaufgaben. In: Interval mathematics (Nickel, K., ed.), pp. 118–126. Berlin Heidelberg, New York: Springer 1975.
5. Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Springer 1983.