Walter Krämer

Gabor Rebner

Soft Comput., 2013

2012

Recursive computation of piecewise constant volatilities.

[BibT_eX]

[DOI]

Laurie Davies

Christian Höhenrieder

Comput. Stat. Data Anal., 2012

Solvers for the verified solution of parametric linear systems.

[BibT_eX]

[DOI]

Evgenija D. Popova

Computing, 2012

Multiple/arbitrary precision interval computations in C-XSC.

[BibT_eX]

[DOI]

Computing, 2012

Das Signifikanztest-Ritual und andere Sackgassen des Fortschritts in der Statistik.

[BibT_eX]

[DOI]

AStA Wirtschafts und Sozialstatistisches Arch., 2012

Hans Wolfgang Brachinger.

[BibT_eX]

[DOI]

AStA Wirtschafts und Sozialstatistisches Arch., 2012

2011

Statistical Fallacies.

[BibT_eX]

[DOI]

Proceedings of the International Encyclopedia of Statistical Science, 2011

Durbin-Watson Test.

[BibT_eX]

[DOI]

Proceedings of the International Encyclopedia of Statistical Science, 2011

Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations.

[BibT_eX]

[DOI]

Mariana Luderitz Kolberg

Reliab. Comput., 2011

Probleme des Qualitätsvergleichs von Kreditausfallprognosen.

[BibT_eX]

[DOI]

Michael Bücker

AStA Wirtschafts und Sozialstatistisches Arch., 2011

Lenin und die Volkszählung in Russland 1920.

[BibT_eX]

[DOI]

Eckart Bomsdorf

AStA Wirtschafts und Sozialstatistisches Arch., 2011

Arbitrary Precision Complex Interval Computations in C-XSC.

[BibT_eX]

[DOI]

Frithjof Blomquist

Proceedings of the Parallel Processing and Applied Mathematics, 2011

C-XSC: A powerful environment for reliable computations in the natural and engineering sciences.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2010

Sparse Matrices and Vectors in C-XSC.

[BibT_eX]

[DOI]

Reliab. Comput., 2010

Using C-XSC for High Performance Verified Computing.

[BibT_eX]

[DOI]

Proceedings of the Applied Parallel and Scientific Computing, 2010

Communicating Functional Expressions from <i>Mathematica</i> to C-XSC.

[BibT_eX]

[DOI]

Evgenija D. Popova

Proceedings of the Mathematical Software, 2010

2008

Verhindert die Statistikausbildung den Fortschritt der Wirtschafts- und Sozialwissenschaften?

[BibT_eX]

[DOI]

AStA Wirtschafts und Sozialstatistisches Arch., 2008

Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.

[BibT_eX]

[DOI]

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.

[BibT_eX]

[DOI]

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.

[BibT_eX]

[DOI]

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.

[BibT_eX]

[DOI]

Mariana Luderitz Kolberg

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

C-XSC and Closely Related Software Packages.

[BibT_eX]

[DOI]

Markus Neher

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

08021 Summary - Numerical Validation in Current Hardware Architectures.

[BibT_eX]

[DOI]

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.

[BibT_eX]

[DOI]

Frithjof Blomquist

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind.

[BibT_eX]

Markus Grimmer

Proceedings of the 2008 International Conference on Scientific Computing, 2008

2007

An MPI Extension for Verified Numerical Computations in Parallel Environments.

[BibT_eX]

Markus Grimmer

Jürgen Wolff von Gudenberg

Proceedings of the 2007 International Conference on Scientific Computing, 2007

2006

FILIB++, a fast interval library supporting containment computations.

[BibT_eX]

[DOI]

Michael Lerch

German Tischler

ACM Trans. Math. Softw., 2006

2003

Extended Interval Power Function.

[BibT_eX]

[DOI]

Jürgen Wolff von Gudenberg

Reliab. Comput., 2003

Testing and dating of structural changes in practice.

[BibT_eX]

[DOI]

Comput. Stat. Data Anal., 2003

An Accurate an Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix.

[BibT_eX]

Carlos Amaral Hölbig

Tiarajú Asmuz Diverio

Proceedings of the Parallel Computing: Software Technology, 2003

C-XSC 2.0: A C++ Library for Extended Scientific Computing.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software with Result Verification, 2003

2001

Automatic Forward Error Analysis for Floating Point Algorithms.

[BibT_eX]

[DOI]

Armin Bantle

Reliab. Comput., 2001

2000

Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?

[BibT_eX]

[DOI]

Reliab. Comput., 2000

1998

A Priori Worst Case Error Bounds for Floating-Point Computations.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1998

1997

A Computer Oriented Approach to Get Sharp Reliable Error Bounds.

[BibT_eX]

[DOI]

Reliab. Comput., 1997

Constructive Error Analysis.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1997

1996

Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals.

[BibT_eX]

[DOI]

Stefan Wedner

Reliab. Comput., 1996

1989

Book reviews.

[BibT_eX]

[DOI]

ZOR Methods Model. Oper. Res., 1989

1987

Inverse Standardfunktionen für reelle und komplexe Intervallargumente mit a-priori-Fehlerabschätzungen für beliebige Datenformate.

[BibT_eX]

[DOI]

PhD thesis, 1987

Book review.

[BibT_eX]

[DOI]