The following pages link to Stefan Kiel (Q411446):
Displaying 4 items.
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance (Q2633228) (← links)
- Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations (Q3111691) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
