Pages that link to "Item:Q3179168"

The following pages link to Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168):

Displaying 9 items.

• Computations with effective real numbers (Q817859) (← links)
• Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
• Exact real arithmetic for interval number systems (Q2015130) (← links)
• The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
• Real solution isolation using interval arithmetic (Q2458505) (← links)
• (Q4325141) (← links)
• Making the Case for Pseudodifferential Arithmetic (Q5118513) (← links)
• Lazy computation with exact real numbers (Q5234267) (← links)
• The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)