基于数值计算的几何定理自动搜索方法

中国综合性科技类核心期刊(北大核心)
中国科学引文数据库来源期刊(CSCD)
美国《化学文摘》(CA)收录
美国《数学评论》(MR)收录
俄罗斯《文摘杂志》收录

薛利;侯晓荣

Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)

XUE Li;HOU Xiao-rong

华东师范大学学报（自然科学版） . 2006, (1): 87 -91 .