Login / Signup

Automated theorem provers: a practical tool for the working mathematician?

Alan Bundy
Published in: Ann. Math. Artif. Intell. (2011)
Keyphrases
  • automated theorem provers
  • real world
  • multiresolution
  • computer algebra
  • information systems
  • analysis tool
  • database
  • three dimensional
  • preprocessing