The following pages link to Walter Krämer (Q210585):
Displayed 43 items.
- High performance verified computing using C-XSC (Q382427) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Inner and outer bounds for the solution set of parametric linear systems (Q861892) (← links)
- A computer oriented approach to get sharp reliable error bounds (Q1371159) (← links)
- Extended interval power function (Q1406004) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- Visualizing parametric solution sets (Q2479582) (← links)
- (Q2844621) (← links)
- (Q2844632) (← links)
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen (Q2954948) (← links)
- (Q3002926) (← links)
- (Q3002932) (← links)
- (Q3012165) (← links)
- (Q3139699) (← links)
- (Q3140977) (← links)
- (Q3352359) (← links)
- (Q3508937) (← links)
- (Q3508938) (← links)
- FILIB++, a fast interval library supporting containment computations (Q3549175) (← links)
- (Q3799547) (← links)
- (Q3810790) (← links)
- (Q3985927) (← links)
- (Q4006777) (← links)
- (Q4011363) (← links)
- (Q4035563) (← links)
- (Q4036712) (← links)
- Performance investigations with a DOS/VS-based operating system model (Q4166211) (← links)
- Automatisierte a‐priori‐Fehlerabschätzung bei gleitkommamäßiger Ausdrucksauswertung (Q4228366) (← links)
- Gleichmäßige (Rundungs‐)Fehlerschranken für Gleitkommaalgorithmen über Datenbereichen (Q4268695) (← links)
- (Q4284593) (← links)
- (Q4295146) (← links)
- (Q4306856) (← links)
- (Q4498882) (← links)
- (Q4498884) (← links)
- (Q4520737) (← links)
- (Q4847622) (← links)
- (Q4868540) (← links)
- (Q4885351) (← links)
- Numerical Software with Result Verification (Q5308342) (← links)
- Communicating Functional Expressions from Mathematica to C-XSC (Q5747903) (← links)
- Automatic forward error analysis for floating point algorithms (Q5946850) (← links)