Mathematical Reasoning: The History and Impact of the DReaM Group [electronic resource] /

Contributor(s):

Material type: Text

TextPublisher: Cham : Springer International Publishing : Imprint: Springer, 2021Edition: 1st ed. 2021Description: XIX, 162 p. 49 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783030778798

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No title; Printed edition:: No titleDDC classification:

006.3 23

LOC classification:

Q334-342
TA347.A78

Online resources:

Click here to access online

Contents:

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.

In: Springer Nature eBookSummary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

There are no comments on this title.

to post a comment.