Pages that link to "Item:Q817858"
From MaRDI portal
The following pages link to A certified, corecursive implementation of exact real numbers (Q817858):
Displaying 7 items.
- Proofs, programs, processes (Q693063) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
