TY - GEN

T1 - Automating "human-like" example-use in mathematics

AU - Pease, Alison

AU - Martin, Ursula

N1 - Funding Information:
This work was supported by EPSRC grants EP/P017320/1 and EP/K040251/2. We are grateful to our anonymous reviewers for their thoughtful comments.
Publisher Copyright:
© 2018 CEUR-WS. All rights reserved.
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.

PY - 2018/12/2

Y1 - 2018/12/2

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

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

UR - http://www.scopus.com/inward/record.url?scp=85058233044&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85058233044

VL - 2261

T3 - CEUR Workshop Proceedings

SP - 6

EP - 12

BT - CEUR Workshop Proceedings

T2 - 4th Workshop on Bridging the Gap between Human and Automated Reasoning, Bridging 2018

Y2 - 14 July 2018

ER -