ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.
Josef UrbanGeoff SutcliffePublished 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