Symbolisches Rechnen und Verifikationsmethoden
Buhl, Hans-Jürgen, Prof. Dr.; Heindl, Gerhard, Prof. Dr.; Reinhart, E. Dr.-Ing.; Schlosser-Haupt, Silke, Prof. Dr.; Stiefken, Reinhard, Prof.; Feuerstein, Peter, Dipl.-Math.; Rogat, Axel, Dipl.-Math.; Steins, Andreas, Dipl.-Math.
Zur Lösung von mathematischen Problemen aus dem Ingenieurbereich und dem Poerations Research werden Algorithmen entwickelt, die möglichst kleine Einschließungsbereiche für die exakten Ergebnisse liefern.
Ferner wird an der Integration von Einschließungsmethoden in Computer-Algebra-Systeme gearbeitet.
Schlagworte: Symbolisches Rechnen, Verifikationsmethoden
Laufzeit: unbefristet
Drittmittelgeber: DFG
Publikationen:
- Heindl, G.: Inclusion methods in solving engineering problems, in: Topics in Validated Computations, edited by J. Herzberger, pages 439-461, North-Holland 1994
- Heindl. G.: Experiences with a method for enclosing solutions of systems of equations, Journal of Computational and Applied mathematics 60 (1995) 63-76
- Heindl, G.: Zur numerischen Einschließung der Werte von Peanofunktionalen, ZAMM 75 (1995) S II S. 637-638
- Heindl, G.: A Method for Verified Computing of Inner and Outer Approximations of the Interval Hull of a Tolerance Polyhedron, in: Scientific Computing and Validated Numerics, edited by G. Alefeld, A. Frommer, B. Lang, pages 207-213, Akademie Verlag 1996
- Steins, A.: Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen (Dissertation), Universität Wuppertal, 1996
- Heindl, G.: Some inclusion results based on generalized versions of the Oettli Prager Theorem, ZAMM 96 (1996) S III
zurück zur Übersicht Fachbereich 7