Xiaoyu Chen;Dongming Wang;Ting Zhao
SKLSDE -- School of Computer Science and Engineering, Beihang University, Beijing, China;LIP6, CNRS -- Université Pierre et Marie Curie, Paris cedex 05, France;LMIB -- School of Mathematics and Systems Science, Beihang University, Beijing, China
Mechanical geometry theorem proving
Management of geometric knowledge in textbooks
Data & Knowledge Engineering