Mechanical proof of planimetric theorems of rational type.

Nikolay N. Osipov

Published in: Program. Comput. Softw. (2014)

Keyphrases

decision making
data sets
sequent calculus
real time
search engine
three dimensional
face recognition
control system
proof search