Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover.

Rick L. Stevens

Published in: J. Autom. Reason. (1987)

Keyphrases

theorem prover
computer algebra
boolean algebra
theorem proving
first order logic
automated reasoning
term rewriting
inference rules
higher order logic
automated theorem proving
formal proof
automated deduction
theoretical framework
data mining
proof planning
semi automated
temporal logic
simulated annealing