Automated Reasoning
From MaRDI portal
Publication:5307073
DOI10.1007/b98691zbMath1126.68557OpenAlexW4239036627MaRDI QIDQ5307073
Jeremy Avigad, Kevin P. Donnelly
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Proving divide and conquer complexities in Isabelle/HOL ⋮ Reverse complexity ⋮ Unnamed Item ⋮ On the formal analysis of Gaussian optical systems in HOL ⋮ A decision procedure for linear ``big O equations ⋮ Mechanisation of the AKS algorithm ⋮ Solution methods for a min-max facility location problem with regional customers considering closest Euclidean distances
Uses Software
This page was built for publication: Automated Reasoning
