Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?

Werner Hofschuster, Walter Krämer. Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?. Reliable Computing, 6(2):207-218, 2000. [doi]

Abstract

Abstract is missing.