To Be Presented in the 11th Asian Technology Conference in Mathematics
December 12-16, 2006, Hong Kong SAR, China

Build Interactive Mathematics Web Services Using Ajax Technology and Automated Reasoning Tools

Zhenbing Zeng
East China Normal University

Hongguang FU
Chengdu Inst. of Computer Applications


In this paper we show a method to build mathematics web services through integrating the newly developed JavaScript technology Ajax with automated reasoning tools like the symbolic algebra and dynamic geometry. We investigate some typical interactive learning scenarios and propose a Perl format to describe the process. The scripts of this format can be automatically transformed to MathML files. Using the JavaScript commands embedded in the MathML files the Ajax engine enables the users to interact with server. The JavaScript also communicates with the automated reasoning programs in server and client machines.

close window Electronic Proceedings of ATCM
© ATCM, Inc. 2006