Progress on certifying algorithms

DOI10.1007/978-3-642-14553-7_1MaRDI QIDQ3587331zbMATH OpenOpenAlexFDO

Authors K. Mehlhorn, P. Schweitzer

Publication date 7 September 2010

Published in Frontiers in Algorithmics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14553-7_1

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Recommendations

• Certifying algorithms
• Certifying Algorithms for Recognizing Interval Graphs and Permutation Graphs
• scientific article; zbMATH DE number 2079335
• A framework for the verification of certifying computations
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency

Cited in

(5)

• Certifying algorithms
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
• An \(O(n+m)\) certifying triconnnectivity algorithm for Hamiltonian graphs
• A framework for the verification of certifying computations
• On certifying distributed algorithms: problem of local correctness

This page was built for publication: Progress on certifying algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587331)