Namhyun Hur, James H. Davenport. A Generic Root Operation for Exact Real Arithmetic. In Jens Blanck, Vasco Brattka, Peter Hertling, editors, Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Volume 2064 of Lecture Notes in Computer Science, pages 82-87, Springer, 2000. [doi]
@inproceedings{HurD00:0, title = {A Generic Root Operation for Exact Real Arithmetic}, author = {Namhyun Hur and James H. Davenport}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/2064/20640082.htm}, researchr = {https://researchr.org/publication/HurD00%3A0}, cites = {0}, citedby = {0}, pages = {82-87}, booktitle = {Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers}, editor = {Jens Blanck and Vasco Brattka and Peter Hertling}, volume = {2064}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42197-1}, }