Edinburgh Research Explorer

Dr. Alan Smaill

Senior Lecturer

  1. The integration and interaction of multiple mathematical Reasoning Processes

    Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., McNeill, F., Michaelson, G. & Smaill, A.

    EPSRC

    1/11/1531/10/19

    Project: Research

  2. COINVENT: Concept Invention Theory (Other)

    Smaill, A.

    EU government bodies

    1/10/1330/09/16

    Project: Research

  3. COINVENT: Concept Invention Theory (RTD)

    Smaill, A. & Fleuriot, J.

    EU government bodies

    1/10/1330/09/16

    Project: Research

  4. The integration and interaction of multiple mathematical reasoning processes

    Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

    EPSRC

    1/08/1131/07/15

    Project: Research

  5. Integration and Interaction of multiple mathematical reasoning processes

    Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

    EPSRC

    1/04/0731/03/11

    Project: Research

  6. Platform Grant: the integration and interaction of multiple mathematical reasoning processes.

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/0230/09/06

    Project: Research

  7. Mechanising first - Order temporal logics

    Bundy, A. & Smaill, A.

    EPSRC

    5/07/994/07/02

    Project: Research

  8. Computational modelling of mathematical reasoning

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/9830/09/02

    Project: Research

Previous 1 2 Next