Geometric theorem provers and algebraic equation solversShang-Ching Chou, Dongming Wang, Zhuojun Liu et al.|Elsevier eBooks|2000Cited by 4
Geometric Theorem Provers and Algebraic Equations SolversShang-Ching Chou, Dongming Wang, Xiao-Shan Gao et al.|HAL (Le Centre pour la Communication Scientifique Directe)|2000Cited by 0