Automating "human-like" example-use in mathematics

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

Research output: Contribution to journalConference article

19 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

Patents and inventions
Testing

Cite this

@article{c9ab919f431948ee98219a846b665b82,
title = "Automating {"}human-like{"} example-use in mathematics",
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.",
author = "Alison Pease and Ursula Martin",
year = "2018",
month = "7",
day = "14",
language = "English",
volume = "2261",
pages = "6--15",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

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

In: CEUR Workshop Proceedings, Vol. 2261, 14.07.2018, p. 6-15.

Research output: Contribution to journalConference 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

AN - SCOPUS:85058233044

VL - 2261

SP - 6

EP - 15

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -