An exact real algebraic arithmetic with equality determination

DOI10.1145/345542.345617zbMath1326.68357OpenAlexW2021747141MaRDI QIDQ3454759

Namhyun Hur, James H. Davenport

Publication date: 26 November 2015

Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/345542.345617

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Interval and finite arithmetic (65G30)

Related Items (2)

Equality in computer algebra and beyond. ⋮ Multiplicative independence of algebraic numbers and expressions

This page was built for publication: An exact real algebraic arithmetic with equality determination