Pages that link to "Item:Q5740678"
From MaRDI portal
The following pages link to Program extraction in exact real arithmetic (Q5740678):
Displaying 10 items.
- Proofs, programs, processes (Q693063) (← links)
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Program extraction for mutable arrays (Q1648867) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Optimal Abstraction on Real-Valued Programs (Q3611997) (← links)
- Nonflatness and totality (Q4611200) (← links)
- (Q4989402) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)