Proof Mechanization: From Dream to Reality

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

Two research strands, namely proof planning and geometric reasoning, from my early days in the DReaM Group have influenced my thinking and work over the years. I explore some of the motivations, central ideas and achievements attached to these. Along the way, I try to weave a unifying thread about building tools and approaches that help us explore and mechanize proofs, while reminiscing about some of the events surrounding the research.
Original languageEnglish
Title of host publicationMathematical Reasoning: The History and Impact of the DReaM Group
EditorsGreg Michaelson
Place of PublicationCham
PublisherSpringer, Cham
Chapter5
Pages87-104
Number of pages18
ISBN (Electronic)978-3-030-77879-8
ISBN (Print)978-3-030-77878-1, 978-3-030-77881-1
DOIs
Publication statusPublished - 24 May 2021

Fingerprint

Dive into the research topics of 'Proof Mechanization: From Dream to Reality'. Together they form a unique fingerprint.

Cite this