Certification of computational results
From MaRDI portal
Publication:4421218
DOI10.1109/12.392843zbMath1053.68519MaRDI QIDQ4421218
Gerald M. Masson, Gregory F. Sullivan, Dwight S. Wilson
Publication date: 1995
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2060/19940031557
68M15: Reliability, testing and fault tolerance of networks and computer systems
68N99: Theory of software
Related Items
Certifying algorithms, Efficient authenticated data structures for graph connectivity and geometric search problems, Checking the convexity of polytopes and the planarity of subdivisions