Walter Krämer

Available identifiers

zbMath Open kramer.walter.1MaRDI QIDQ210585

List of research outcomes

Publication	Date of Publication	Type
Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen	2017-01-24	Paper
High performance verified computing using C-XSC	2013-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2844621	2013-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2844632	2013-08-29	Paper
Multiple/arbitrary precision interval computations in C-XSC	2012-04-04	Paper
Solvers for the verified solution of parametric linear systems	2012-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q3012165	2011-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3002926	2011-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q3002932	2011-05-24	Paper
Communicating Functional Expressions from Mathematica to C-XSC	2010-09-14	Paper
FILIB++, a fast interval library supporting containment computations	2008-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q3508937	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q3508938	2008-07-01	Paper
Visualizing parametric solution sets	2008-04-04	Paper
Numerical Software with Result Verification	2007-09-28	Paper
Inner and outer bounds for the solution set of parametric linear systems	2007-02-02	Paper
Extended interval power function	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4498882	2001-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4520737	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4498884	2001-01-14	Paper
Automatic forward error analysis for floating point algorithms	2001-01-01	Paper
Gleichmäßige (Rundungs‐)Fehlerschranken für Gleitkommaalgorithmen über Datenbereichen	2000-09-12	Paper
Mathematical function software on the web -- are such codes useful for verification algorithms?	2000-09-04	Paper
Automatisierte a‐priori‐Fehlerabschätzung bei gleitkommamäßiger Ausdrucksauswertung	1999-08-15	Paper
A computer oriented approach to get sharp reliable error bounds	1998-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4885351	1996-11-26	Paper
Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals	1996-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4868540	1996-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4847622	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4306856	1995-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q3139699	1995-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3140977	1994-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4284593	1994-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4295146	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4035563	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4036712	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4006777	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011363	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3985927	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3352359	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3810790	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3799547	1987-01-01	Paper
Performance investigations with a DOS/VS-based operating system model	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Walter Krämer