Numerical Software with Result Verification
Numerical Software with Result Verification
FILIB++, a fast interval library supporting containment computations
ACM Transactions on Mathematical Software (TOMS)
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Communicating functional expressions from mathematica to C-XSC
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Hi-index | 0.00 |
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.