中国科学院数学与系统科学研究院期刊网
可由用户持续发展的几何自动推理平台
郑焕
THE SUSTAINABLE GEOMETRY AUTOMATED REASONING PLATFORM
ZHENG Huan
系统科学与数学 . 2011, (12): 1622 -1632 .  DOI: 10.12341/jssms11785