ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.

Josef Urban Geoff Sutcliffe

Published in: Math. Comput. Sci. (2008)

Keyphrases

high precision
cost function
similarity measure
preprocessing
high accuracy
significant improvement

experimental evaluation
computational cost
segmentation method
synthetic data
clustering method
segmentation algorithm

optimization method
machine learning
mathematical model
computer systems
input data

distributed systems
classification accuracy
probabilistic model
prior knowledge
clustering algorithm