Login / Signup

Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.

Matt KaufmannPaolo Pecchiari
Published in: J. Autom. Reason. (1996)
Keyphrases
  • theorem prover
  • theorem proving
  • artificial intelligence
  • human computer interaction
  • formal proof
  • data model
  • graphical models
  • pattern matching
  • automated reasoning
  • interaction patterns
  • natural deduction