【摘要】 数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。更多还原

【Abstract】 The aided educational system of mathematics is a hot and crucial research topic in mathematical education and computer science. In this paper we showed a method to build mathematics Web services through integrating the newly developed technology Asynchronous JavaScript And XML (AJAX) with automated reasoning tools like the symbolic algebra and dynamic geometry. We investigated some typical interactive learning scenarios and proposed a Perl format to describe the process. The scripts of this format can be automatically transformed into MathML format. Using the JavaScript commands embedded in the MathML files the Ajax engine enabled the users to interact with the server. The JavaScript also communicated with the automated reasoning programs in server and client machines. The experimental result shows this system can efficiently help students to learn mathematics in a straightforward and funny mode.更多还原