| Publication | Date of Publication | Type |
|---|
Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen
PAMM | 2017-01-24 | Paper |
High performance verified computing using C-XSC
Computational and Applied Mathematics | 2013-11-19 | Paper |
Characterization of AE solution sets to a class of parametric linear systems
Doklady Bolgarskoĭ Akademii Nauk | 2013-08-29 | Paper |
Embedding C-XSC nonlinear solvers in Mathematica
Doklady Bolgarskoĭ Akademii Nauk | 2013-08-29 | Paper |
Multiple/arbitrary precision interval computations in C-XSC
Computing | 2012-04-04 | Paper |
Solvers for the verified solution of parametric linear systems
Computing | 2012-04-04 | Paper |
scientific article; zbMATH DE number 5917352 (Why is no real title available?)
| 2011-07-05 | Paper |
A solver for complex-valued parametric linear systems
| 2011-05-24 | Paper |
scientific article; zbMATH DE number 5899421 (Why is no real title available?)
| 2011-05-24 | Paper |
Communicating functional expressions from Mathematica to C-XSC
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
FILIB++, a fast interval library supporting containment computations
ACM Transactions on Mathematical Software | 2008-12-21 | Paper |
Introduction to the Maple Power Tool \texttt{intpakX}
| 2008-07-01 | Paper |
Computing and visualizing solution sets of interval linear systems
| 2008-07-01 | Paper |
Visualizing parametric solution sets
BIT | 2008-04-04 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Inner and outer bounds for the solution set of parametric linear systems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Extended interval power function
Reliable Computing | 2003-09-09 | Paper |
scientific article; zbMATH DE number 1497154 (Why is no real title available?)
| 2001-03-29 | Paper |
scientific article; zbMATH DE number 1543279 (Why is no real title available?)
| 2001-02-27 | Paper |
scientific article; zbMATH DE number 1497156 (Why is no real title available?)
| 2001-01-14 | Paper |
Automatic forward error analysis for floating point algorithms
Reliable Computing | 2001-01-01 | Paper |
Gleichmäßige (Rundungs‐)Fehlerschranken für Gleitkommaalgorithmen über Datenbereichen
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2000-09-12 | Paper |
Mathematical function software on the web -- are such codes useful for verification algorithms?
Reliable Computing | 2000-09-04 | Paper |
Automatisierte a‐priori‐Fehlerabschätzung bei gleitkommamäßiger Ausdrucksauswertung
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1999-08-15 | Paper |
A computer oriented approach to get sharp reliable error bounds
Reliable Computing | 1998-06-02 | Paper |
scientific article; zbMATH DE number 903738 (Why is no real title available?)
| 1996-11-26 | Paper |
Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
Reliable Computing | 1996-08-11 | Paper |
scientific article; zbMATH DE number 852345 (Why is no real title available?)
| 1996-06-03 | Paper |
scientific article; zbMATH DE number 799189 (Why is no real title available?)
| 1996-02-26 | Paper |
scientific article; zbMATH DE number 641610 (Why is no real title available?)
| 1995-02-09 | Paper |
scientific article; zbMATH DE number 434854 (Why is no real title available?)
| 1995-02-02 | Paper |
scientific article; zbMATH DE number 440805 (Why is no real title available?)
| 1994-09-20 | Paper |
scientific article; zbMATH DE number 524104 (Why is no real title available?)
| 1994-07-07 | Paper |
scientific article; zbMATH DE number 584521 (Why is no real title available?)
| 1994-07-04 | Paper |
scientific article; zbMATH DE number 176881 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 176411 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 58441 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 66728 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 27987 (Why is no real title available?)
| 1992-06-27 | Paper |
scientific article; zbMATH DE number 4203560 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4080742 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4066210 (Why is no real title available?)
| 1987-01-01 | Paper |
Performance investigations with a DOS/VS-based operating system model
IBM Systems Journal | 1978-01-01 | Paper |
