Automating "human-like" example-use in mathematics

Alison Pease (Lead / Corresponding author), Ursula Martin (Lead / Corresponding author)

Research output: Contribution to journalConference articlepeer-review

29 Downloads (Pure)

Abstract

We describe two studies into ways in which human mathematicians use mathematical examples in their research. In the first study we bring together theoretical and empirical approaches to studying ways in which examples are used in mathematical research, concluding that examples are used for conjecture invention, understanding, plausibility-testing, disproof and modification. Where possible we describe corresponding efforts in automating these aspects of reasoning. In our second study we present an investigation based on grounded theory into example-use during an online math- ematical conversation. These studies suggest ways in which "human-like" example-use in mathematics could be further automated.

Original languageEnglish
Pages (from-to)6-15
Number of pages10
JournalCEUR Workshop Proceedings
Volume2261
Publication statusPublished - 14 Jul 2018
Event4th Workshop on Bridging the Gap between Human and Automated Reasoning, Bridging 2018 - Stockholm, Sweden
Duration: 14 Jul 2018 → …

Fingerprint Dive into the research topics of 'Automating "human-like" example-use in mathematics'. Together they form a unique fingerprint.

Cite this