Pages that link to "Item:Q817859"
From MaRDI portal
The following pages link to Computations with effective real numbers (Q817859):
Displaying 10 items.
- Computing over the reals with addition and order (Q1338216) (← links)
- Real number computations: On the use of information (Q1346475) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- Encoding algebraic power series (Q1656381) (← links)
- Computing finite-dimensional realizations (Q1816043) (← links)
- Around the numeric-symbolic computation of differential Galois groups (Q2457420) (← links)
- Towards optimal use of multi-precision arithmetic: a remark (Q2503178) (← links)
- (Q4222971) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)
- Calcium. Computing in exact real and complex fields (Q6666541) (← links)