This book presents an extensive set of sophisticated tools for solving basic numerical problems w...

PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreitete...

C-XSC is a tool for the development of numerical algorithms. It provides data types and operators...

The number one requirement for computer arithmetic has always been speed. It is the main force th...

This manual describes a PASCAL extension for scientific computation with the short title PASCAL-X...

Ein Bild und seine Geschichte.- Prominente schreiben über Mathematik.- Gottfried Wilhelm Leibniz ...

This book presents an extensive set of tools for solving basic numerical problems with verificati...

Scientific Computation with Result Verification has been a persevering research topic at the Inst...

InhaltsangabeProving Conjectures by Use of Interval Arithmetic (Andreas Frommer).- Advanced Arith...

Leistung 6 der Maschinen erst bei genugend langen Operndenstromen einstellt.

This is the revised and extended second edition of the successful basic book on computer arithmet...

Keine ausführliche Beschreibung für 'Wissenschaftliches Rechnen mit Ergebnisverifikation' verfügbar.