The Research About Plane Geometry Automated Reasoning System Based On Web Data Sharing

Geometry automated reasoning system is the commercialization of geometry automated reasoning method in mathematics mechanization by using computer software development technology. Geometry automated reasoning systems are mainly used in mathematics education, it makes educational software become intelligent, its emergence has profound theoretical and practical significance. Plane geometry is an important part of middle school mathematics, learning it can exercise the students'thinking, improve students'ability, it plays an important role in the growth of students. Geometry automated reasoning system provides a modern tool for teachers and students to study the problem of plane geometry,teachers can use it to facilitate teaching, innovative questions, inspire and mobilize students to divergent thinking, students can use it for inquiry learning.The current geometry software mostly is old software, which have some limitations. This thesis, focusing on the current trends of software industry and internet, according to related learning theory, study how to provide dynamic geometry and automated reasoning services conveniently for teachers and students under the network environment. To be more specific, this study based on Asp.Net and Silverlight, study how to implement dynamic geometry, input and presence reasoning, study how to transfer figure and reasoning data in internet, study reasoning engine which run at sever, study how to share figure and reasoning data. According to the results of these studies, we developed a demo software of plane geometry automated reasoning system based on web data sharing, which have two useful teaching applicationThis study provides some methods and references for developing network plane geometry software which have automated reasoning function.