The integration and interaction of multiple mathematical reasoning processes

  • Bundy, Alan (Principal Investigator)
  • Dennis, Louise (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • Richardson, Julian (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))

Project Details

StatusFinished
Effective start/end date1/10/02 → 30/09/06

Funding

  • EPSRC: £426,265.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.
View full fingerprint
  • 1 Chapter (peer-reviewed)

  • A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File