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.