Implementing real numbers with RZ (2007)

Cached

Download Links

by Andrej Bauer , Iztok Kavkler
Citations:3 - 3 self