Numerical Software with Result Verification

Authors:
René Alt;Andreas Frommer;R. Baker Kearfott;Wolfram Luther;RenT Alt
Affiliations:
-;-;-;-;-
Venue:
Numerical Software with Result Verification
Year:
2004

Citing 0
Cited 3

Mathematica Connectivity to Interval Libraries filib++ and C-XSC

Numerical Validation in Current Hardware Architectures
Computing best-possible bounds for the distribution of a sum of several variables is NP-hard

International Journal of Approximate Reasoning
Communicating functional expressions from mathematica to C-XSC

ICMS'10 Proceedings of the Third international congress conference on Mathematical software

Quantified Score

Hi-index	0.03

Visualization

Abstract