Proof Mechanization: From Dream to Reality

Jacques D. Fleuriot

doi:10.1007/978-3-030-77879-8_5

Proof Mechanization: From Dream to Reality

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

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 language	English
Title of host publication	Mathematical Reasoning: The History and Impact of the DReaM Group
Editors	Greg Michaelson
Place of Publication	Cham
Publisher	Springer
Chapter	5
Pages	87-104
Number of pages	18
ISBN (Electronic)	978-3-030-77879-8
ISBN (Print)	978-3-030-77878-1, 978-3-030-77881-1
DOIs	https://doi.org/10.1007/978-3-030-77879-8_5
Publication status	Published - 24 May 2021

Access to Document

10.1007/978-3-030-77879-8_5Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-030-77879-8_5Licence: All Rights Reserved

Cite this

@inbook{490f8004e8544f24947c1d59488f2412,

title = "Proof Mechanization: From Dream to Reality",

abstract = "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.",

author = "Fleuriot, {Jacques D.}",

year = "2021",

month = may,

day = "24",

doi = "10.1007/978-3-030-77879-8_5",

language = "English",

isbn = "978-3-030-77878-1",

pages = "87--104",

editor = "Greg Michaelson",

booktitle = "Mathematical Reasoning: The History and Impact of the DReaM Group",

publisher = "Springer",

address = "United Kingdom",

}

TY - CHAP

T1 - Proof Mechanization: From Dream to Reality

AU - Fleuriot, Jacques D.

PY - 2021/5/24

Y1 - 2021/5/24

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-77879-8_5

DO - 10.1007/978-3-030-77879-8_5

M3 - Chapter

SN - 978-3-030-77878-1

SN - 978-3-030-77881-1

SP - 87

EP - 104

BT - Mathematical Reasoning: The History and Impact of the DReaM Group

A2 - Michaelson, Greg

PB - Springer

CY - Cham

ER -

Proof Mechanization: From Dream to Reality

Abstract

Access to Document

Fingerprint

Cite this