Bases de Gröbner e geração de exercícios matemáticos com estrutura não determinada

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.

Given a concrete scenario, there is frequently a huge quantity and variety of exercises that we can write about it. In this article, we present an algorithm which allows us to automate this process. To generate mathematical exercises, we start from the relations between the variables present in the scenario, we calculate the possible exercises, we analise the complexity of its resolution process and its viability. The algorithm uses Gröbner bases to determine if the exercise is solvable and a possible path of resolution. Based on the analysis of the obtained results, its possible to create an exercises base related to that scenario.