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