Edinburgh Research Explorer
  1. 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

  2. Applying HR to the Study of Zariski Spaces

    Bundy, A.

    EPSRC

    8/04/027/04/03

    Project: Research

  3. CALCULEMUS - Systems for Integrated Computation and Deduction

    Bundy, A.

    EU government bodies

    1/09/0031/08/04

    Project: Research

  4. Automatic conjecture making in mathematics

    Bundy, A.

    EPSRC

    1/11/9931/10/02

    Project: Research

  5. Mechanising first - Order temporal logics

    Bundy, A. & Smaill, A.

    EPSRC

    5/07/994/07/02

    Project: Research

  6. 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

  7. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  8. Automated Deduction and Program Synthesis

    Bundy, A.

    1/10/9730/09/98

    Project: Other (Non-Funded/Miscellaneous)

  9. Automatic Guidance of Mechanically Generated Proofs

    Bundy, A. & Gordon, M.

    1/10/9730/09/99

    Project: Other (Non-Funded/Miscellaneous)