Pages that link to "Item:Q817858"

The following pages link to A certified, corecursive implementation of exact real numbers (Q817858):

Displaying 2 items.

• Proofs, programs, processes (Q693063) (← links)
• Limits of real numbers in the binary signed digit representation (Q5043582) (← links)