WRSWT-Preprints

 

• Preprints in 2012
   
  • BUW-WRSWT 2012/3
    Krämer, W.:
    (High Performance) Verified Computing Using C-XSC
    Preprint 2012/3, Universität Wuppertal, 2012
    Accepted for publication in Computational and Applied Mathematics (CAM)
  • BUW-WRSWT 2012/2
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Umfangreiche C-XSC-Langzahlpakete für beliebig genaue reelle und komplexe Intervallrechnung
    Preprint 2012/2, Universität Wuppertal, 2012 ( (6.0 MB))
  • BUW-WRSWT 2012/1
    Zimmer, M.; Rebner, G.; Krämer, W.:
    An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster Shafer theory
    Preprint 2012/1, Universität Wuppertal, 2012
    Accepted for publication: Soft Computing, Springer-Verlag
  
   

• Preprints in 2011
   
  • BUW-WRSWT 2011/7
    Zimmer, M.; Krämer, W.; Popova, E.:
    Solvers for the verified solution of parametric linear systems
    Springer, Computing, DOI 10.1007/s00607-011-0170-z, 15 pages, 2011.
  • BUW-WRSWT 2011/6
    Krämer, W.:
    C-XSC: A Powerful Environment for Reliable Computations in the Natural and Engineering Sciences
    Proceedings of 4th International Conference on Biomedical Engineering and Informatics. Eds.: Yongsheng Ding et al. BMEI 2011, Shanghai, China, pp. 2143-2147, IEEE Catalog Number: CFP1193D-PRT, 2011.
  • BUW-WRSWT 2011/5
    Krämer, W.; Blomquist, F.:
    Arbitrary Precision Complex Interval Computations in C-XSC
    Published in: Roman Wyrzykowski et al. (Eds.): Proceedings to Parallel Processing and Applied Mathematics (PPAM 2011),
    Lecture Notes in Computer Science, Volume 7204/2012, pp. 457-466, 2012.
  • BUW-WRSWT 2011/4
    Krämer, W.:
    C-XSC, a Sophisticated Environment for Reliable Computing
    Proceedings of the Fourth International Conference on Mathematical Aspects of Computer and Information Sciences edited by Stefan Ratschan, October 2011, Beijing, China, pp.115-125, 2011.
  • BUW-WRSWT 2011/3
    Krämer, W.:
    Multiple/Arbitrary Precision Interval Computations in C-XSC
    Published in: Springer, Computing, DOI 10.1007/s00607-011-0174-8, 13 pages, 2011.
  • BUW-WRSWT 2011/2
    Zimmer, M.:
    Using C-XSC in a Multi-Threaded Environment
    Preprint 2011/2, Universität Wuppertal, 2011 ( (150 KB, Version: June 1st, 2011))
  • BUW-WRSWT 2011/1
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    C-XSC-Langzahlarithmetiken für reelle und komplexe Intervalle basierend auf den Bibliotheken MPFR und MPFI
    Preprint 2011/1, Universität Wuppertal, 2011 ( (1.4 MB, Version: May 11th, 2011))
  
   

• Preprints in 2010
   
  • BUW-WRSWT 2010/6
    Popova, E.; Krämer, W.:
    Embedding C-XSC Nonlinear Solvers in Mathematica
    Preprint 2010/6, Universität Wuppertal, 2010
    Published in: Comptes rendus de l'Academie bulgare des Sciences, Issue 12, Vol 63, 2010
  • BUW-WRSWT 2010/5
    Krämer, W.:
    High Performance Verified Computing Using C-XSC
    Preprint 2010/5, Universität Wuppertal, 2010
    Published in: Reiser, R. H. S.; Pilla, M. L. (eds.): IntMath-TSD: Interval Mathematics and Connections in Teaching and Scientific Development, Universidade Federal de Pelotas, Ed. Universitária, p. 3-14, 2010
  • BUW-WRSWT 2010/4
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Langzahlintervallrechnung in C-XSC (Tutorial and Reference)
    Preprint 2010/4, Universität Wuppertal, 2010
    (überarbeitete und erweiterte Version als BUW-WRSWT 2011/1: )
  • BUW-WRSWT 2010/3
    Krämer, W.:
    Verification Methods and Symbolic Computations
    Preprint 2010/3, Universität Wuppertal, 2010
    Published in: Special Issue of Albanian Journal of Mathematics, Vol. 4, Nr. 4, 2010.
  • BUW-WRSWT 2010/2
    Popova, E.; Krämer, W.:
    Communicating Functional Expressions from Mathematica to C-XSC
    Preprint 2010/2, Universität Wuppertal, 2010
    Published in: K. Fukuda et al. (Eds.): Mathematical Software - ICMS 2010, LNCS 6327, pp. 354--365, 2010
  • BUW-WRSWT 2010/1
    Popova, E.; Krämer, W.; Russev, M.:
    Integration of C-XSC Automatic Differentiation in Mathematica
    Preprint 2010/1, Universität Wuppertal, 2010
    Also published as: Preprint 3/2010, IMI-BAS, Sofia, 2010 ()
  
   

• Preprints in 2009
   
  • BUW-WRSWT 2009/7
    Zimmer, M.; Krämer, W.; Hofschuster, W.:
    Sparse Matrices and Vectors in C-XSC
    Preprint 2009/7, Universität Wuppertal, 2009 ( (288 KB))
    Published in: Reliable Computing, Vol. 14, pp. 138-160, 2011
  • BUW-WRSWT 2009/6
    Popova, E.; Kolev, L.; Krämer, W.:
    A Solver For Complex-Valued Parametric Linear Systems
    Preprint 2009/6, Universität Wuppertal, 2009
    Published in: Serdica Journal of Computing, Vol. 4, No. 1, p. 123-132, 2010
  • BUW-WRSWT 2009/5
    Zimmer, M.; Krämer, W.; Hofschuster, W.:
    Using C-XSC in High Performance Computing
    Preprint 2009/5, Universität Wuppertal, 2009
    Revised version submitted for publication (PARA2010):
    Walter Krämer, Michael Zimmer, Werner Hofschuster:
    Using C-XSC for High Performance Verified Computing
    PARA 2010, Reykjavik, Iceland, Part II, LNCS 7134, Springer-Verlag, pp. 168-178, 2012
  • BUW-WRSWT 2009/4
    Zimmer, M.; Krämer, W.; Bohlender, G.; Hofschuster, W.:
    Extension of the C-XSC Library with Scalar Products with Selectable Accuracy
    Preprint 2009/4, Universität Wuppertal, 2009 ( (202 KB))
    Published in: Serdica Journal of Computing, Vol. 4, No. 3, p. 349-370, 2010
  • BUW-WRSWT 2009/3
    Krämer, W.:
    Computer-assisted proofs and symbolic computations
    Preprint 2009/3, Universität Wuppertal, 2009 ( (161 KB))
    Published in: Serdica Journal of Computing, Vol. 4, No. 1, p. 73-84, 2010
  • BUW-WRSWT 2009/2
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range
    Preprint 2009/2, Universität Wuppertal, 2009
    Published as: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.
    Lecture Notes in Computer Science LNCS 5492, Springer-Verlag Berlin Heidelberg, pp. 41-67, 2009
  • BUW-WRSWT 2009/1
    Kolberg, M.; Krämer, W.; Zimmer, M.:
    Efficient parallel solvers for large dense systems of linear interval equations.
    Preprint 2009/1, Universität Wuppertal, 2009
    Published in: Reliable Computing, Vol. 15, pp. 193 - 206, July, 2011.
  
   

• Preprints in 2008
   
  • BUW-WRSWT 2008/5
    Blomquist, F.; Hofschuster, W.; Krämer:
    A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
    Preprint 2008/5, Universität Wuppertal, 2008
    Published in: Dagstuhl Seminar Proceedings 08021 - Numerical Validation in Current Hardware Architectures, 2008
  • BUW-WRSWT 2008/4
    Zimmer, M.; Krämer:
    Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS
    Preprint 2008/4, Universität Wuppertal, 2008
    Published in: Dagstuhl Seminar Proceedings 08021 - Numerical Validation in Current Hardware Architectures, 2008
  • BUW-WRSWT 2008/3
    Hofschuster, W.; Krämer, W.; Neher, M.:
    C-XSC and Closely Related Software Packages
    Preprint 2008/3, Universität Wuppertal, 2008
    Published in: Dagstuhl Seminar Proceedings 08021 - Numerical Validation in Current Hardware Architectures, 2008
  • BUW-WRSWT 2008/2
    Kolberg, M.; Krämer, W.; Zimmer, M.:
    A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
    Preprint 2008/2, Universität Wuppertal, 2008 ( (139 KB))
  • BUW-WRSWT 2008/1
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range (in German)
    Preprint 2008/1, Universität Wuppertal, 2008 ( (1.2 MB))
  
   

• Preprints in 2007
   
  • BUW-WRSWT 2007/8
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Vermeidung von Über- und Unterlauf und Verbesserung der Genauigkeit bei reeller und komplexer staggered Intervall-Arithmetik
    Preprint 2007/8, Universität Wuppertal, 2007 ()
    Talk at Dagstuhl-Seminar: Slides ()
  • BUW-WRSWT 2007/7
    Krämer, W.:
    Bugs, Errors, and Unexpected Results in Computer Algebra Packages
    Preprint 2007/7, Universität Wuppertal, 2007.
    To appear in: Proceedings, ICIAM, Zurich, July 16-20, 2007.
  • BUW-WRSWT 2007/6
    Popova, E. D.; Krämer, W.:
    Visualizing Parametric Solution Sets (extended version)
    Preprint 2007/6, Universität Wuppertal, 2007.
    Published in: BIT Numerical Mathematics.
  • BUW-WRSWT 2007/5
    Grimmer, M.; Krämer, W.:
    An MPI Extension for Verified Numerical Computations in Parallel Environments
    Preprint 2007/5, Universität Wuppertal, 2007.
    Published in: Int. Conf. on Scientific Computing (CSC'07, Worldcomp'07) Las Vegas, June 25-28, 2007, Proceedings pages 111 to 117, Arabnia et al. (editors), 2007.
  • BUW-WRSWT 2007/4
    Krämer, W.:
    Accurate computation of chaotic dynamical systems
    Preprint 2007/4, Universität Wuppertal, 2007.
    Published in: Proceedings of the 8th WSEAS International Conference on Mathematics and Computers in Biology and Chemistry (MCBC'07), Vancouver, Canada, June 20-21, 2007, pages 74 to 79.
  • BUW-WRSWT 2007/3
    Grimmer, M.:
    A Parallel Solver for (Systems of) Linear Fredholm Integral Equations of the second kind in C-XSC
    Preprint 2007/3, Universität Wuppertal, 2007 ( (124 KB)).
  • BUW-WRSWT 2007/2
    El-Owny, H.:
    Parametric Linear System of Equations, Whose Elements are Nonlinear Functions
    Preprint 2007/2, Universität Wuppertal, 2007.
    Published in: Proceedings of the 12th GAMM-IMACS Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, IEEE Computer Society, ISBN 0-7695-2821-X, 2007.
  • BUW-WRSWT 2007/1
    Krämer, W.:
    intpakX - An Interval Arithmetic Package for Maple
    Preprint 2007/1, Universität Wuppertal, 2007.
    Published in: Proceedings of the 12th GAMM-IMACS Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, IEEE Computer Society, ISBN 0-7695-2821-X, 2007.
  
   

• Preprints in 2006
   
  • BUW-WRSWT 2006/10
    Popova, E.; Krämer, W.:
    Visualization of Parametric Solution Sets
    Preprint 2006/10, Universität Wuppertal, 2006 ( (787 KB)).
  • BUW-WRSWT 2006/9
    Krämer, W.:
    Introduction to the Maple Power Tool intpakX
    Preprint 2006/9, Universität Wuppertal, 2006 ( (657 KB))
    Published in: Bulgarian "Serdica Journal of Computing", Vol. 1, No 4, p. 469-504, 2007.
  • BUW-WRSWT 2006/8
    Krämer, W.:
    Computing and Visualizing Solution Sets of Interval Linear Systems
    Preprint 2006/8, Universität Wuppertal, 2006 ( (320 KB))
    Published in: Bulgarian "Serdica Journal of Computing", Vol. 1, No 4, p. 455-468, 2007.
  • BUW-WRSWT 2006/7
    Krämer, W.:
    Pitfalls in Maple
    Preprint 2006/7, Universität Wuppertal, 2006
  • BUW-WRSWT 2006/6
    Popova, E.; Krämer, W.:
    Inner and Outer Bounds for the Solution Set of Parametric Linear Systems
    Preprint 2006/6, Universität Wuppertal, 2006 ( (215 KB))
    Published in: Journal of Computational and Applied Mathematics, Vol. 199, Issue 2, February 2007, pages 310 - 316.
  • BUW-WRSWT 2006/5
    Kulisch, U.:
    Letters to the IEEE Computer Arithmetic Standards Revision Group
    Preprint 2006/5, Universität Wuppertal, 2006 ( (141 KB))
  • BUW-WRSWT 2006/4
    Krämer, W.:
    Generalized Intervals and the Dependency Problem.
    Preprint 2006/4, Universität Wuppertal, 2006 ( (120 KB))
    Published in: PAMM - Proceedings in Applied Mathematics and Mechanics,
    Vol. 6, Nr. 1, p. 685-686, Wiley-InterScience (2006).
  • BUW-WRSWT 2006/3
    Blomquist, F.:
    Optimization of Rational Approximations by Continued Fractions
    Preprint 2006/3, Universität Wuppertal, 2006 ( (204 KB))
    Published in: Bulgarian "Serdica Journal of Computing", Vol. 1, No 4, p. 433-442, 2007.
  • BUW-WRSWT 2006/2
    El-Owny, H.:
    Hansen's Generalized Interval Arithmetic Realized in C-XSC
    Preprint 2006/2, Universität Wuppertal, 2006 ( (194 KB))
  • BUW-WRSWT 2006/1
    Blomquist, F.; Krämer, W.:
    Computing a priori Error Bounds for Floating-point Evaluations of Arithmetic Expressions
    Preprint 2006/1, Universität Wuppertal, 2006 ( (190 KB))
  
   

• Preprints in 2005
   
  • BUW-WRSWT 2005/5
    Bohlender, G.; Lüderitz Kolberg, M.; Claudio, D. M.:
    Modifications to Expression Evaluation in C-XSC
    Preprint 2005/5, Universität Wuppertal, 2005 ( (93 KB))
  • BUW-WRSWT 2005/4
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Real and Complex Taylor Arithmetic in C-XSC
    Preprint 2005/4, Universität Wuppertal, 2005 ( (254 KB))
  • BUW-WRSWT 2005/3
    Grimmer, M.:
    An MPI Extension for the Use of C-XSC in Parallel Environments
    Preprint 2005/3, Universität Wuppertal, 2005 ( (89 KB))
  • BUW-WRSWT 2005/2
    Blomquist, F.; Hofschuster, W.; Krämer, W.; Neher, M.:
    Complex Interval Functions in C-XSC
    Preprint 2005/2, Universität Wuppertal, 2005 ( (281 KB))
  • BUW-WRSWT 2005/1
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Reliable Computation of the Complex Interval Function arcsin(z) in C-XSC
    Preprint 2005/1, Universität Wuppertal, 2005 ( (118 KB))
  
   

• Preprints in 2004
   
  • BUW-WRSWT 2004/5
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Sichere a priori Abschätzungen und Realisierung der Funktion sqrt(x²-1) in C-XSC
    Preprint 2004/5, Universität Wuppertal, 2004 ( (143 KB))
  • BUW-WRSWT 2004/4
    Hofschuster, W.:
    Numerische Verifikation von Nullstellen bei Besselfunktionen erster Gattung
    Preprint 2004/4, Universität Wuppertal, 2004
  • BUW-WRSWT 2004/3
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Realisierung der hyperbolischen Cotangens-Funktion in einer Staggered Correction Intervallarithmetik in C-XSC
    Preprint 2004/3, Universität Wuppertal, 2004 ( (130 KB))
  • BUW-WRSWT 2004/2
    Krämer, W.; Popova, E. D.:
    Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen
    Preprint 2004/2, Universität Wuppertal, 2004 ( (34 KB))
    Published in: PAMM - Proceedings in Applied Mathematics and Mechanics,
    Vol. 4, Nr. 1, p. 670-671, Wiley-InterScience (2004).
  • BUW-WRSWT 2004/1
    Blomquist, F.; Hofschuster, W.; Krämer, W.:
    Sichere a priori Fehlerabschätzung und Implementierung der Funktion zweier Variabler log(sqrt(x²+y²))
    Preprint 2004/1, Universität Wuppertal, 2004 ( (197 KB))
  
   

• Preprints in 2003
   
  • BUW-WRSWT 2003/5
    Hofschuster, W.; Krämer, W.:
    C-XSC 2.0: A C++ Library for Extended Scientific Computing
    Preprint 2003/5, Universität Wuppertal, 2003 (Abstract, (111 KB))
    Published in: Numerical Software with Result Verification, Lecture Notes in Computer Science, Volume 2991/2004, Springer-Verlag, Heidelberg, pp. 15 - 35, (2004).
  • BUW-WRSWT 2003/4
    Lerch, M.; Tischler, G.; Wolff v. Gudenberg, J.; Hofschuster, W.; Krämer, W.:
    filib++, a Fast Interval Library Supporting Containment Computations
    Preprint 2003/4, Universität Wuppertal, 2003 ( (1.8 MB))
  • BUW-WRSWT 2003/3 (Update May 2004)
    Popova, E. D.; Krämer, W.:
    Parametric Fixed-Point Iteration Implemented in C-XSC
    Preprint 2003/3, Universität Wuppertal, 2003 ( (325 KB))
  • BUW-WRSWT 2003/2
    Grimmer, M.; Petras, K.; Revol, N.:
    Multiple Precision Interval Packages: Comparing Different Approaches
    Preprint 2003/2, Universität Wuppertal, 2003 (Abstract).
    Published in: Numerical Software with Result Verification, Lecture Notes in Computer Science, Volume 2991/2004, Springer-Verlag, Heidelberg, pp. 64 - 90, (2004).
  • BUW-WRSWT 2003/1
    Hölbig, C.; Krämer, W.:
    Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC
    Preprint 2003/1, Universität Wuppertal, 2003 ( (196 KB))
  
   

• Preprints in 2002
   
  • BUGHW-WRSWT 2002/5
    Grimmer, M.:
    Interval Arithmetic in Maple with intpakX
    Preprint 2002/5, Universität Wuppertal, 2002 ( (200 KB))
    Published in: PAMM - Proceedings in Applied Mathematics and Mechanics,
    Vol. 2, Nr. 1, p. 442-443, Wiley-InterScience (2003).
  • BUGHW-WRSWT 2002/4
    Hofschuster, W.; Krämer, W.:
    C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing
    Preprint 2002/4, Universität Wuppertal, 2002 ( (74 KB))
  • BUGHW-WRSWT 2002/3
    Miehe, D.; Krämer, W.; Hofschuster, W.:
    Visualization of Resulting Sets Coming from Multiplication and Division of Complex Intervals
    Preprint 2002/3, Universität Wuppertal, 2002 (HTML-Version, (172 KB))
  • BUGHW-WRSWT 2002/2
    Weinberg, A.:
    Using PASCAL-XSC Flexible Arrays in C Functions - How to Create an Interface
    Preprint 2002/2, Universität Wuppertal, 2002 ( (48 KB))
  • BUGHW-WRSWT 2002/1
    Krämer, W.:
    Advanced Software Tools for Validated Computing
    Preprint 2002/1, Universität Wuppertal, 2002 ( (284 KB))
    Published in: Proceedings of Thirty First Spring Conference of the Union of Bulgarian Mathematicians, Borovets, p. 344-355, 2002.
  
   

• Preprints in 2001
   
  • BUGHW-WRSWT 2001/4
    Lerch, M.; Tischler, G.; Wolff von Gudenberg, J.; Hofschuster, W; Krämer, W.:
    The Interval Library filib++ 2.0 - Design, Features and Sample Programs
    Preprint 2001/4, Universität Wuppertal, 2001 ( (348 KB))
  • BUGHW-WRSWT 2001/3
    Bräuer, M.; Hofschuster, W.; Krämer, W.:
    Steigungsarithmetiken in C-XSC
    Preprint 2001/3, Universität Wuppertal, 2001 ( (390 KB))
  • BUGHW-WRSWT 2001/2
    Krämer, W.; Geulig, I.:
    Interval Calculus in Maple - The Extension intpakX to the Package intpak of the Share-Library
    Preprint 2001/2, Universität Wuppertal, 2001 ( (738 KB))
  • BUGHW-WRSWT 2001/1
    Hofschuster, W.; Krämer, W.; Wedner, S.; Wiethoff, A.:
    C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing
    Preprint 2001/1, Universität Wuppertal, 2001 (Postscript (Booklet, 649 KB), (246 KB))
  
   

• Preprints in 2000
   
  • BUGHW-WRSWT 2000/4
    Krämer, W.; Bantle, A.:
    Automatic Forward Error Analysis for Floating Point Algorithms
    Preprint 2000/4, Universität Wuppertal, 2000
    Published in: Reliable Computing, Vol. 7, No. 4, pp 321-340 (2001)
  • BUGHW-WRSWT 2000/3
    Hofschuster, W..; Krämer, W.:
    Mathematical Function Software on the Web - Are Such Codes Useful for Verification Algorithms?
    Preprint 2000/3, Universität Wuppertal, 2000
    Published in: Reliable Computing, Vol. 6, No. 2, pp 207-218 (2000)
  • BUGHW-WRSWT 2000/2
    Krämer, W.; Blomquist, F.:
    Reliable computation of the error function and the complementary error function
    Preprint 2000/2, Universität Wuppertal, 2000 ( (387 KB))
  • BUGHW-WRSWT 2000/1
    Hofschuster, W.; Krämer, W.:
    Rechnerisches Nachvollziehen und Analyse der praktischen Umsetzung des Finanzausgleichsgesetzes
    Preprint 2000/1, Universität Wuppertal, 2000 ( (1476 KB), (duplex, 1483 KB))