The following pages link to Norbert Th. Müller (Q1292408):
Displaying 21 items.
- (Q491084) (redirect page) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Computability on random variables (Q1292409) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- A CDCL-style calculus for solving non-linear constraints (Q2180222) (← links)
- Nonlinear dynamic behaviors of rod fastening rotor-hydrodynamic journal bearing system (Q2630954) (← links)
- Using Taylor Models in Exact Real Arithmetic (Q2807869) (← links)
- From Calculus to Algorithms without Errors (Q2879200) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- (Q3765758) (← links)
- (Q3788007) (← links)
- (Q4120399) (← links)
- (Q4215127) (← links)
- (Q4531992) (← links)
- Real Numbers and BDDs (Q4916190) (← links)
- Jordan Areas and Grids (Q4918015) (← links)
- Complexity of Operators on Compact Sets (Q4918033) (← links)
- On combustion in a closed rectangular channel with initial vorticity (Q5069405) (← links)
- (Q5150980) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
