Computations with effective real numbers
β
Joris van der Hoeven
π
Article
π
2006
π
Elsevier Science
π
English
β 204 KB