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

Uložené v:
Podrobná bibliografia
Vydané v:Mathematics in computer science Ročník 4; číslo 4; s. 539 - 556
Hlavní autori: Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Basel SP Birkhäuser Verlag Basel 01.12.2010
Predmet:
ISSN:1661-8270, 1661-8289
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.