MathSoMac: the social machine of mathematics

Project Details

StatusFinished
Effective start/end date1/06/1530/06/18

Funding

  • EPSRC: £195,038.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Argumentation theory for mathematical argument

    Corneli, J., Martin, U., Murray-Rust, D., Nesin, G. R. & Pease, A., 4 Jan 2019, In: Argumentation. p. 1-42 42 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Modelling the Way Mathematics Is Actually Done

    Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R. & Nesin, G. R., 9 Sep 2017, 2017 International Workshop on Functional Art, Music, Modelling and Design (FARM 2017). ACM, p. 10-19 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

    Corneli, J., Martin, U., Murray-Rust, D. & Pease, A., 28 Jun 2017, Intelligent Computer Mathematics 10th International Conference, CICM 2017. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Springer, Cham, p. 132-146 14 p. (Lecture Notes in Computer Science; vol. 10383).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File