[Lecture Notes in Computer Science] Computability and Complexity in Analysis Volume 2064 || A Generic Root Operation for Exact Real Arithmetic
Blanck, Jens, Brattka, Vasco, Hertling, PeterVolume:
10.1007/3-
Year:
2001
Language:
english
DOI:
10.1007/3-540-45335-0_6
File:
PDF, 116 KB
english, 2001