Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing

DOI10.1109/TSE.1987.233205zbMath0616.68031MaRDI QIDQ4725736

Robert P. Roe, J. H. Rowland

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

sampling; approximation error

Mathematics Subject Classification ID

68N99: Theory of software

65D99: Numerical approximation and computational geometry (primarily algorithms)