Parallel algorithms for adaptive quadrature II metalgorithm correctness

• 1 January 1975
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 5  (4) , 273-285
• https://doi.org/10.1007/bf00264562

Abstract

Keywords

• PARALLEL ALGORITHM
• SATISFIABILITY
• META PROGRAMMING
• NUMERICAL ANALYSIS