Implementing real numbers with RZ (2007)

View PDF

Download Links

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