Ascertaining Mathematical Theorems

R. McCasland, Alan Bundy, P. Smith

Research output: Contribution to journal › Article › peer-review

Filter
Finished

Search results

  • Finished

    AUTOMATED DISCOVERY OF MATHEMATICS

    Bundy, A. (Principal Investigator), Colton, S. (Co-Investigator (External)) & Smith, P. (Co-Investigator (External))

    EPSRC

    1/08/03 → 31/08/06

    Project: Research