Auteur principal			Co-auteurs(s)
Nom :	Prof Hongguang FU		Nom :	Doc. Li SHE
Courriel :	fu_hongguang@hotmail.com		Courriel :	she.li@163.com
Institution ou compagnie:	Chengdu Inst. of Computer Applications		Nom :	Changyu CHEN
Département:	Automated Reasoning Laboratory		Courriel :
Ville :	Chengdu		Nom :	Yufeng HU
État/Province :	610041		Courriel :
Pays :	P.R.China		Nom :
Type de présentation:	Workshop :  90 minutes.		Courriel :
Conférence et numéro :	ACDCA ,    Numéro : A45		Horaire :   Local :	samedi, 14h00   Lab 1226
Site Internet :	http://www.acailab.com/english/
Titre de la communication :	Teaching Mathematics by Math-XP
Résumé de la communication :
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.