This work presents Protema, an environment for accessing and/or constr
ucting intelligent tutoring systems for mathematics. It uses a general
representation model for mathematical knowledge and it proposes a sys
tem architecture for intelligent tutoring systems in any mathematical
subdomain (Arqtema) as well as an authoring environment (Tootema) for
constructing Arqtema-based tutoring systems in a chosen subdomain. The
general representation model maps any mathematical theory into a comp
lex relationship among concepts, results and examples. Arqtema extends
this model by including a bug catalog with tile most common students
misconceptions as well as a set of related exercises, which all togeth
er constitute the domain module.