Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.

Joachim Draeger Stephan Schulz

Published in: FLAIRS Conference (2001)

Keyphrases

automated theorem provers
computer algebra
information content
neural network
artificial intelligence
expert systems
real time
data sets
case study
image segmentation
high quality
wireless sensor networks