A systematic methodology for automated theorem finding.

Hongbiao Gao Yuichi Goto Jingde Cheng

Published in: Theor. Comput. Sci. (2014)

Keyphrases

computer assisted
qualitative and quantitative
semi automated
database
information systems
feature selection
decision making
three dimensional
database systems
data driven
computer aided
context sensitive