| 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 |
