Resolvendo equações algébricas no STI PAT2Math

@inproceedings{Seffrin2010ResolvendoEA,
  title={Resolvendo equaç{\~o}es alg{\'e}bricas no STI PAT2Math},
  author={Henrique M. Seffrin and G. Rubi and Boris da Cruz and P. Jaques},
  year={2010}
}
Este artigo descreve a analise do modulo resolvedor de equacoes do Sistema Tutor Inteligente PAT2Math. E apresentada a teoria que embasou a construcao do sistema e seu modulo cognitivo, arquitetura geral do projeto completo, bem como a delimitacao do escopo de testes em sala de aula, a avaliacao e os resultados obtidos.