An exact real algebraic arithmetic with equality determination

DOI10.1145/345542.345617MaRDI QIDQ3454759zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1322089
• Computer Algebra in Scientific Computing
• Arbitrary precision real arithmetic: design and algorithms
• Complexity of computation on real algebraic numbers
• scientific article; zbMATH DE number 1263361

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454759)