Browse by author
Lookup NU author(s): Dr Andrius Velykis
This PhD project aims to investigate how enough information can be collected from an interactive formal proof to capture an expert's ideas as a high-level proof process. It would then serve for extracting proof strategies to facilitate proof automation. Ways of inferring this proof process automatically are explored; and a family of tools is developed to capture the different proof processes and their features.
Author(s): Velykis A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2012
Pages: 11
Print publication date: 01/07/2012
Source Publication Date: July 2012
Report Number: 1344
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1344.pdf
