Generalizing Morley's and Other Theorems with Automated Realization.

Eric Braude Satbek Abdyldayev

Published in: J. Autom. Reason. (2018)

Keyphrases

semi automated
data driven
website
automated analysis
real world
data mining
machine learning
information retrieval
decision making
multiscale
objective function
semi automatic
context sensitive
fully automated