A Generic Root Operation for Exact Real Arithmetic

Authors:
Namhyun Hur;James H. Davenport
Affiliations:
-;-
Venue:
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Year:
2000

Computing in the field of complex algebraic numbers

Journal of Symbolic Computation - Special issue: validated numerical methods and computer algebra
Exact real arithmetic: a case study in higher order programming

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
An exact real algebraic arithmetic with equality determination

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Formal Verification of Exact Computations Using Newton's Method

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics

Hi-index	0.00

We describe a generic root operation for exact real arithmetic.