Gröbner Bases and mathematical exercises generation with nondetermined structure

Definido um enredo concreto, há, frequentemente, uma grande quantidade e variedade de exercícios que sobre ele podemos escrever. Neste artigo, apresenta-se um algoritmo que permite automatizar este processo. Para gerar exercícios matemáticos, parte-se das relações entre as variáveis presentes no enr...

ver descrição completa

Detalhes bibliográficos
Autor principal: Almeida, J. J. (author)
Outros Autores: Araújo, Isabel (author), Smirnov, Georgi (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2015
Assuntos:
Texto completo:http://hdl.handle.net/1822/38978
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/38978
Descrição
Resumo:Definido um enredo concreto, há, frequentemente, uma grande quantidade e variedade de exercícios que sobre ele podemos escrever. Neste artigo, apresenta-se um algoritmo que permite automatizar este processo. Para gerar exercícios matemáticos, parte-se das relações entre as variáveis presentes no enredo, calcula-se os possíveis exercícios, analisa-se a complexidade do seu processo de resolução e a sua viabilidade. O algoritmo recorre a bases de Gröbner para determinar se o exercício é resolúvel e um possível caminho de resolução. Com base na análise dos resultados obtidos, torna-se possível criar uma base de exercícios ligada a esse enredo.