MATHsAiD: A Mathematical Theorem Discovery Tool

Search results

• Finished

  AUTOMATED DISCOVERY OF MATHEMATICS

  Bundy, A., Colton, S. & Smith, P.

  EPSRC

  1/08/03 → 31/08/06

  Project: Research

  • Mathematics 100%
  • Inductive Theorem 50%
  • Discovery System 50%
  • Mathematical Process 50%
  • Automated Reasoning 50%