Results 1 -
2 of
2
Arbitrary Precision Real Arithmetic: Design and Algorithms
, 1996
"... this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite B-adic numbers and then we describe algorithms fo ..."
Abstract
-
Cited by 19 (0 self)
- Add to MetaCart
this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite B-adic numbers and then we describe algorithms for rational operations and transcendental functions for this representation. Finally we describe briefly the prototype written in Caml. 2. Computable real numbers
Primality Proving with Elliptic Curves
"... de recherche ISSN 0249-6399 ISRN INRIA/RR--6155--FR+ENG ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
de recherche ISSN 0249-6399 ISRN INRIA/RR--6155--FR+ENG
