Computer Proofs in Group Theory.

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

Keyphrases

theoretical basis
computer programs
theorem proving
general theory
databases
theoretical framework
neural network
decision making
image processing
clustering algorithm
expert systems
conceptual framework
personal computer
belief functions