ICMS 2010: Mathematical Software – ICMS 2010 pp 354-365 | Cite as
Communicating Functional Expressions from Mathematica to C-XSC
Conference paper
Abstract
This work focuses on a mechanism (and software) which communicates (via MathLink protocol) and provides compatibility between the representation of nonlinear functions specified as Mathematica expressions and objects of suitable classes supported by the C-XSC automatic differentiation modules. The application of the developed communication software is demonstrated by MathLink compatible programs embedding in Mathematica the C-XSC modules for automatic differentiation as packages. The design methodology, some implementation issues and the use of the developed software are discussed.
Keywords
Elementary Function Functional Expression Computer Algebra System Interval Arithmetic Error Message
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Aho, A., Lam, M., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson/Addison Wesley (2007)Google Scholar
- 2.Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.): Numerical Software with Result Verification. LNCS, vol. 2991. Springer, Heidelberg (2004)Google Scholar
- 3.Corliss, G.F., Yu, J.: Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic. In: [2], pp. 91–106Google Scholar
- 4.Frommer, A.: Proving conjectures by use of interval arithmetic. In: Kulisch, U., et al. (eds.) Perspectives on Enclosure Methods, pp. 1–13. Springer, Wien (2001)Google Scholar
- 5.Gayley, T.: A MathLink Tutorial. Wolfram Research, Champaign (2002)Google Scholar
- 6.Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)MATHGoogle Scholar
- 7.Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)MATHGoogle Scholar
- 8.Hofschuster, W., Krämer, W.: C-XSC 2.0: A C++ Library for Extended Scientific Computing. In: [2], pp. 15–35Google Scholar
- 9.Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC, A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)MATHGoogle Scholar
- 10.Popova, E.: 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. LNCS, vol. 5492, pp. 117–132. Springer, Heidelberg (2009)CrossRefGoogle Scholar
- 11.Popova, E., Krämer, W., Russev, M.: Integration of C-XSC Automatic Differentiation in Mathematica, Preprint 3/2010, IMI-BAS, Sofia (March 2010), http://www.math.bas.bg/~epopova/papers/10-preprintAD.pdf
- 12.Wolfram Research Inc.: Mathematica, Version 5.2, Champaign, IL (2005)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2010