W. Krämer

发表

Algèbre CHARACTERIZATION OF AE SOLUTION SETS TO A CLASS OF PARAMETRIC LINEAR SYSTEMS

E. Popova, W. Krämer, 2011 .

Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations

Michael Zimmer, Walter Krämer, Mariana Luderitz Kolberg, 2011, Reliab. Comput..

Extension of the C-XSC Library with Scalar Products with Selectable Accuracy

G. Bohlender, M. Zimmer, W. Krämer, 2010, Serdica Journal of Computing.

Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm

Evgenija D. Popova, R. Damper, E. Popova, 2022 .

C – XSC 2 . 0 : A C + + Class Library for Extended Scientific Computing

A. Wiethoff, W. Krämer, S. Wedner, 2002 .

Wuppertal Visualization of Parametric Solution Sets

E. Popova, W. Krämer, 2006 .

Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008

Wolfram Luther, Walter Krämer, Peter W. Markstein, 2008, Numerical Validation in Current Hardware Architectures.

Reliable Computation of the Complex Interval Function arcsin ( z ) in C-XSC

W. Krämer, Werner Hofschuster, Frithjof Blomquist, 2022 .

Computing and Visualizing Solution Sets of Interval Linear Systems

W. Krämer, 2007, Serdica Journal of Computing.

An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory

M. Zimmer, W. Krämer, G. Rebner, 2013, Soft Computing.

Solvers for the verified solution of parametric linear systems

Michael Zimmer, Walter Krämer, Evgenija D. Popova, 2011, Computing.

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

Michael Zimmer, Walter Krämer, Mariana Luderitz Kolberg, 2009, Numerical Validation in Current Hardware Architectures.

Multiple/arbitrary precision interval computations in C-XSC

W. Krämer, 2012, Computing.

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

Walter Krämer, Werner Hofschuster, Frithjof Blomquist, 2009, Numerical Validation in Current Hardware Architectures.

C-XSC and Closely Related Software Packages

Walter Krämer, Markus Neher, Werner Hofschuster, 2009, Numerical Validation in Current Hardware Architectures.

Introduction to the Maple Power Tool Intpakx

W. Krämer, Walter Krämer, 2007, Serdica Journal of Computing.

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

Walter Krämer, Werner Hofschuster, W. Krämer, 2003, Numerical Software with Result Verification.

Multiple-Precision Computations with Result Verification

W. Krämer, Walter Krämer, 1993 .

Scientific Computing, Validated Numerics, Interval Methods

Jürgen Wolff von Gudenberg, W. Krämer, J. W. V. Gudenberg, 2010, Springer US.

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

Walter Krämer, Werner Hofschuster, W. Krämer, 2000, Reliab. Comput..

Inverse standard functions for real and complex point and interval arguments with dynamic accuracy

W. Krämer, Walter Krämer, 1988 .

Wuppertal Real and Complex Taylor Arithmetic in C-XSC

Werner Hofschuster, Frithjof Blomquist, W. Krämer, 2022 .

Solvers for the verified solution of parametric linear systems

M. Zimmer, E. Popova, W. Krämer, 2012, Computing.

Generalized Intervals and the Dependency Problem

Walter Krämer, W. Krämer, 2006 .

intpakX - An Interval Arithmetic Package for Maple

Walter Krämer, W. Krämer, 2006 .

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

Michael Zimmer, Walter Krämer, M. Zimmer, 2009, Numerical Validation in Current Hardware Architectures.

A Priori Worst Case Error Bounds for Floating-Point Computations

Walter Krämer, W. Krämer, 1997, IEEE Trans. Computers.

Arbitrary Precision Complex Interval Computations in C-XSC

Walter Krämer, Frithjof Blomquist, W. Krämer, 2011, PPAM.