Validated Constraint Compilation

Inaccurate scientific computation is useless at best and dangerous at worst. We address several major sources of inaccuracy. Roundoff error is well known and there is a great deal of work on minimizing it [Act96,Tay97]. By using interval constraints, we don’t eliminate roundoff error, but we make it...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hickey, Timothy J., Wittenberg, David K.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer Science Department Computer science control theory systems Exact sciences and technology Interval Arithmetic Mathematical methods in physics Newton Method Numerical approximation and analysis Numerical simulation, solution of equations Physics Quadratic Method Roundoff Error Simulation Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!