On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags

We report on the design and implementation of a number type called Real_algebraic. This number type allows us to compute the sign of arithmetic expressions involving the operations . The sign computation is always correct and, in this sense, not subject to rounding errors. We focus on modularity and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Mathematics in computer science Jg. 4; H. 4; S. 539 - 556
Hauptverfasser:	Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Basel SP Birkhäuser Verlag Basel 01.12.2010
Schlagworte:	Computer Science Mathematics Mathematics and Statistics Primary 68W30 Exact geometric computation Algorithm engineering Secondary 65D99 Symbolic numeric computation
ISSN:	1661-8270, 1661-8289
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!