Login / Signup

Automated Proofs of the Moufang Identities in Alternative Rings.

Siva AnantharamanJieh Hsiang
Published in: J. Autom. Reason. (1990)
Keyphrases
  • automated theorem provers
  • semi automated
  • fully automated
  • theorem prover
  • theorem proving
  • real world
  • data sets
  • decision trees
  • image segmentation
  • multi agent systems
  • hidden markov models
  • automated classification