Abstract
Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of the software packages. In this work we present the integration of programs based on the interval libraries filib++ and C-XSC into Mathematica via MathLink communication protocol. On some small easily readable programs we demonstrate: i) some details of MathLink technology, ii) the transparency of numerical data communication without any conversion, iii) the advantage of symbolic manipulation interfaces — the access to the external compiled language functionality from within Mathematica is often even more convenient than from its own native environment.
This work was partially supported by the Bulgarian National Science Fund.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.): Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol. 2991. Springer, Heidelberg (2004)
Corliss, G.F., Yu, J.: Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic. In: [1], pp. 91–106
Corliss, G.F., Kearfott, R.B., Nedialkov, N., Pryce, J.D., Smith, S.: Interval subroutine library mission. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Number 06021, Internationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Germany (2006)
C-XSC library: http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_new.html , solvers: http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html
Gayley, T.: A MathLink Tutorial. Wolfram Research (2002)
Hofschuster, W., Krämer, W., Neher, M.: C-XSC and Closely Related Software Packages. In: Cuyt, A., et al. (eds.) Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008). LNCS, vol. 5492, pp. 68–102. Springer, Heidelberg (2009)
Hofschuster, W., Krämer, W.: C-XSC 2.0: A C++ Library for Extended Scientific Computing. In: [1], pp. 15–35
Kreinovich, V.: Interval Computations website, Interval and Related Software, http://www.cs.utep.edu/interval-comp/intsoft.html
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), Library download: http://www.math.uni-wuppertal.de/org/WRST/software/filib.html
Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: filib++, a Fast Interval Library Supporting Containment Computations. ACM TOMS 32(2), 299–324 (2006)
Luther, W., Krämer, W.: Accurate Grid Computing. In: Luther, W., Krämer, W. (eds.) 12th GAMM-IMACS Int. Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), Duisburg, September 26-29 (2006)
Popova, E.: Web-Accessible Tools for Interval Linear Systems. Proceedings in Applied Mathematics & Mechanics (PAMM) 5(1), 713–714 (2005)
Popova, E.: WebComputing Service Framework. Int. Journal Information Theories & Applications 13(3), 246–254 (2006)
Popova, E.D., Krämer, W.: Parametric Fixed-Point Iteration Implemented in C-XSC. Preprint BUW-WRSWT 2003/3, Universität Wuppertal (2003), Software download: http://www.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html#plss
Wolfram Research, Inc.: MathLink Reference Guide, Version 2.2., Wolfram Research Inc., Champaign, IL (2003)
Wolfram Research, Inc.: MathLink for UNIX Developer Guide, Version 4, Revision 14, Wolfram Research Inc., Champaign, IL, December 15 (2004)
Wolfram Research Inc.: Mathematica, Version 5.2, Champaign, IL (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Popova, E.D. (2009). Mathematica Connectivity to Interval Libraries filib++ and C-XSC. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01591-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-01591-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01590-8
Online ISBN: 978-3-642-01591-5
eBook Packages: Computer ScienceComputer Science (R0)