Communicating functional expressions from mathematica to C-XSC

Authors:
Evgenija D. Popova;Walter Krämer
Affiliations:
Institute of Mathematics & Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria;WRSWT, Bergische Universität Wuppertal, Faculty of Mathematics and Natural Sciences, Wuppertal, Germany
Venue:
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Year:
2010

Citing 5
Cited 0

C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems

C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems
C-XSC: A C++ Class Library for Extended Scientific Computing

C-XSC: A C++ Class Library for Extended Scientific Computing
Numerical Software with Result Verification

Numerical Software with Result Verification
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Mathematica Connectivity to Interval Libraries filib++ and C-XSC

Numerical Validation in Current Hardware Architectures

Quantified Score

Hi-index	0.00

Visualization

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.