Siegel, Stephen F.; Zirkel, Timothy K. FEVS: a functional equivalence verification suite for high-performance scientific computing. (English) Zbl 1264.68066 Math. Comput. Sci. 5, No. 4, 427-435 (2011). MSC: 68N30 68N19 65D99 × Cite Format Result Cite Review PDF Full Text: DOI
Siegel, Stephen F.; Zirkel, Timothy K. TASS: the toolkit for accurate scientific software. (English) Zbl 1264.68113 Math. Comput. Sci. 5, No. 4, 395-426 (2011). MSC: 68Q60 68N30 68N19 65D99 × Cite Format Result Cite Review PDF Full Text: DOI