Visually Dynamic Presentation of Proofs in Plane Geometry: Part 1. Basic Features and the Manual Input Method

Author: Ye Zheng   Chou Shang-Ching   Gao Xiao-Shan  

Publisher: Springer Publishing Company

ISSN: 0168-7433

Source: Journal of Automated Reasoning, Vol.45, Iss.3, 2010-10, pp. : 213-241

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract