### 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 language | English |
---|---|

Pages (from-to) | 6-15 |

Number of pages | 10 |

Journal | CEUR Workshop Proceedings |

Volume | 2261 |

Publication status | Published - 14 Jul 2018 |

Event | 4th Workshop on Bridging the Gap between Human and Automated Reasoning, Bridging 2018 - Stockholm, Sweden Duration: 14 Jul 2018 → … |

### Fingerprint

### Cite this

*CEUR Workshop Proceedings*,

*2261*, 6-15.

}

*CEUR Workshop Proceedings*, vol. 2261, pp. 6-15.

**Automating "human-like" example-use in mathematics.** / Pease, Alison (Lead / Corresponding author); Martin, Ursula (Lead / Corresponding author).

Research output: Contribution to journal › Conference article

TY - JOUR

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

AU - Pease, Alison

AU - Martin, Ursula

PY - 2018/7/14

Y1 - 2018/7/14

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 article

VL - 2261

SP - 6

EP - 15

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -