Edinburgh Research Explorer

Dr Alison Pease

(Former employee or visitor)

Research outputs

  1. Modelling the Way Mathematics Is Actually Done

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

  2. Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

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

  3. Theory blending: extended algorithmic aspects and examples

    Research output: Contribution to journalArticle

View all (27) »

ID: 23269878