Keyword:completion

Publications
Feasibility of Ultrasound-based Scaphoid Bone Model Completion for Surgical Planning Peter Brößner, Christian Berwanger, Kristian Welle and Klaus Radermacher In:Proceedings of The 24th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Initial Experiments on Deriving a Complete HOL Simplification Set Cezary Kaliszyk and Thomas Sternagel In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving