C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Foreword to the Special Focus on Automated Deduction in Geometry.
Xiaoyu Chen
Hongbo Li
Jing Yang
Published in:
Math. Comput. Sci. (2020)
Keyphrases
</>
automated deduction
theorem proving
three dimensional
inference rules
theorem prover
logic programming
multiscale
data mining
computer vision
database
multiresolution
deductive databases