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...

Full description

Bibliographic Details

Published in:	Mathematics in computer science Vol. 4; no. 4; pp. 539 - 556
Main Authors:	Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Format:	Journal Article
Language:	English
Published:	Basel SP Birkhäuser Verlag Basel 01.12.2010
Subjects:	Computer Science Mathematics Mathematics and Statistics Primary 68W30 Exact geometric computation Algorithm engineering Secondary 65D99 Symbolic numeric computation
ISSN:	1661-8270, 1661-8289
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!