G. Büdding, D. Fausten, W. Krämer, T. Möllers und
H. Traczinski: Verifikation von Lösungen ausgewählter Probleme
aus der Modellierung von Manipulatoren, Preprint des
Sonderforschungsbereichs 291 an der Gerhard-Mercator-Universität Duisburg
( (562 KB))
M. Bräuer und W. Krämer: Rückwärtsmethode
zur automatischen Berechnung von worst-case Fehlerschranken, Bericht 03/1999 aus dem Forschungsschwerpunkt
"Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation
(CAVN)" an der Universität Karlsruhe
( (452 KB))
A. Bantle und W. Krämer: Implementierung, Handhabung
und Beispielanwendungen eines verlässlichen
Vorwärtsfehlerkalküls, Bericht 02/1999 aus dem Forschungsschwerpunkt
"Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation
(CAVN)" an der Universität Karlsruhe
( (383 KB))
I. Geulig und W. Krämer: Intervallrechnung in Maple - Die Erweiterung
intpakX zum Paket intpak der Share-Library, Preprint 99/2 des Instituts
für Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM)
an der Universität Karlsruhe
( (813 KB))
W. Hofschuster und W. Krämer: FI_LIB, eine schnelle und portable
Funktionsbibliothek für reelle Argumente und reelle Intervalle im
IEEE-double-Format, Preprint 98/7 des Instituts für Wissenschaftliches
Rechnen und Mathematische Modellbildung (IWRMM) an der Universität Karlsruhe
( (1162 KB))
A. Bantle und W. Krämer: Ein Kalkül für verlässliche
absolute und relative Fehlerschranken, Preprint 98/5 des Instituts
für Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM)
an der Universität Karlsruhe
( (332 KB))
F. Blomquist und W. Krämer: Algorithmen mit
garantierten Fehlerschranken für die Fehler- und die komplementäre
Fehlerfunktion, Preprint 97/3 des Instituts für Wissenschaftliches
Rechnen und Mathematische Modellbildung (IWRMM) an der Universität
Karlsruhe
( (450 KB))
W. Krämer: Eine Fehlerfaktorarithmetik für zuverlässige
a priori Fehlerabschätzungen, Bericht 05/1997 aus dem Forschungsschwerpunkt
"Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation
(CAVN)" an der Universität Karlsruhe
(Abstract,
(388 KB))
W. Hofschuster und W. Krämer: Ein rechnergestützter Fehlerkalkül
mit Anwendung auf ein genaues Tabellenverfahren, Preprint 96/5
des Instituts für Wissenschaftliches Rechnen und Mathematische Modellbildung
(IWRMM) an der Universität Karlsruhe
( (528 KB))
W. Krämer: Sichere und genaue Abschätzung des Approximationsfehlers
bei rationalen Approximationen, Bericht 03/1996 aus dem Forschungsschwerpunkt
"Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation
(CAVN)" an der Universität Karlsruhe
(Abstract,
(501 KB))