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

Celý popis

Podrobná bibliografie

Vydáno v:	Mathematics in computer science Ročník 4; číslo 4; s. 539 - 556
Hlavní autoři:	Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel SP Birkhäuser Verlag Basel 01.12.2010
Témata:	Computer Science Mathematics Mathematics and Statistics Primary 68W30 Exact geometric computation Algorithm engineering Secondary 65D99 Symbolic numeric computation
ISSN:	1661-8270, 1661-8289
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!