Mathematical Reasoning: The History and Impact of the DReaM Group
Mathematical Reasoning: The History and Impact of the DReaM Group [electronic resource] /
edited by Gregory Michaelson.
- 1st ed. 2021.
- XIX, 162 p. 49 illus. online resource.
1 -- History of the DReaM Group -- 2 Recollections of Hope Park Square, 1970 -- 73 -- 3 Adventures in Mathematical Reasoning -- 4 Dynamic Proof Presentation -- 5 Proof Mechanization: From Dream to Reality -- 6 Reasoned Modelling -- 7 Human-Like Computational Reasoning: Diagrams and Other Representations -- 8 From Mathematical Reasoning to Crises in Different Languages.
This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.
9783030778798
10.1007/978-3-030-77879-8 doi
Artificial intelligence.
Reasoning.
Computer science--Mathematics.
Artificial Intelligence.
Formal Reasoning.
Mathematical Applications in Computer Science.
Q334-342 TA347.A78
006.3
1 -- History of the DReaM Group -- 2 Recollections of Hope Park Square, 1970 -- 73 -- 3 Adventures in Mathematical Reasoning -- 4 Dynamic Proof Presentation -- 5 Proof Mechanization: From Dream to Reality -- 6 Reasoned Modelling -- 7 Human-Like Computational Reasoning: Diagrams and Other Representations -- 8 From Mathematical Reasoning to Crises in Different Languages.
This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.
9783030778798
10.1007/978-3-030-77879-8 doi
Artificial intelligence.
Reasoning.
Computer science--Mathematics.
Artificial Intelligence.
Formal Reasoning.
Mathematical Applications in Computer Science.
Q334-342 TA347.A78
006.3