Main presenter			Co-presenter(s)
Name :	Prof Hongguang FU		Name:	Doc. Li SHE
E-mail:	fu_hongguang@hotmail.com		E-mail:	she.li@163.com
Institution or Company:	Chengdu Inst. of Computer Applications		Name:	Changyu CHEN
Department:	Automated Reasoning Laboratory		E-mail:
City:	Chengdu		Name:	Yufeng HU
State/Province:	610041		E-mail:
Country:	P.R.China		Name:
Type of presentation:	Workshop :  90 minutes.		E-mail:
Conference strand and number:	ACDCA ,    Number: A45		Schedule:   Room:	Saturday, 14h00   Lab 1226
Related website:	http://www.acailab.com/english/
Title of presentation:	Teaching Mathematics by Math-XP
Abstract:
Math-XP is a new and free dynamic geometry system (DGS) with a prover and solver. The prover is a geometry information searching system (GISS). The solver is a computer algebra system (CAS). Unlike the previous software, it can produce the traditional readable proof automatically for a geometry problem or give out the readable solution process for an algebraic problem. It is definite that the readable process is very helpful for the mathematics education in the meaning of pedagogy. This presentation introduces the main functions of Math-XP and demonstrates how to use it in teaching mathematics.