Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method.

Jie Zhou Dingkang Wang Yao Sun

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

Keyphrases

theorem proving
machine learning
artificial intelligence
feature selection
multiscale
knowledge representation
convergence rate
proof procedure
algebraic equations