Positive constructed formulas preprocessing for automatic deduction.

Evgeny A. Cherkashin Artem Davydov Alexander Larionov

Published in: MIPRO (2016)

Keyphrases

preprocessing
feature extraction
post processing
positive and negative
mathematical formulas
social networks
decision trees
multiscale
search space
semi automatic
theorem proving
preprocessing phase