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.

Geração de aplicações a partir de especificações UML como fator de sucesso para o desenvolvimento de sistemas de informação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Geração de uma rede pedonal em formato vectorial e definição de percursos pedonais em ambiente urbano: estudo de caso na Póvoa de Varzim

Dissertação de mestrado integrado em Engenharia Civil

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.