Löwe, Benedikt (ed.); Martin, Ursula (ed.); Pease, Alison (ed.) Enabling mathematical cultures: introduction. (English) Zbl 07795116 Synthese 198, Suppl. 26, S6225-S6231 (2021). MSC: 00B25 00A30 00A35 PDFBibTeX XMLCite \textit{B. Löwe} (ed.) et al., Synthese 198, S6225--S6231 (2021; Zbl 07795116) Full Text: DOI
Pease, Alison; Aberdein, Andrew; Martin, Ursula Explanation in mathematical conversations: an empirical investigation. (English) Zbl 1433.00034 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180159, 25 p. (2019). MSC: 00A35 PDFBibTeX XMLCite \textit{A. Pease} et al., Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180159, 25 p. (2019; Zbl 1433.00034) Full Text: DOI
Corneli, Joseph; Martin, Ursula; Murray-Rust, Dave; Pease, Alison Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues. (English) Zbl 1367.68300 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 132-146 (2017). MSC: 68T30 68T27 68U35 PDFBibTeX XMLCite \textit{J. Corneli} et al., Lect. Notes Comput. Sci. 10383, 132--146 (2017; Zbl 1367.68300) Full Text: DOI Link
Martin, Ursula; Pease, Alison Mathematical practice, crowdsourcing, and social machines. (English) Zbl 1390.01101 Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 98-119 (2013). MSC: 01A80 PDFBibTeX XMLCite \textit{U. Martin} and \textit{A. Pease}, Lect. Notes Comput. Sci. 7961, 98--119 (2013; Zbl 1390.01101) Full Text: DOI arXiv