Pages that link to "Item:Q3179168"
From MaRDI portal
The following pages link to Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168):
Displayed 3 items.
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)