Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/31686
Title: | O método do ângulo completo | Authors: | Cruz, Benvindo do Rosário Évora da | Orientador: | Almeida, Pedro Henrique e Figueiredo Quaresma de | Keywords: | Demonstração automática de teoremas em geometria; Método do ângulo completo; Open Geo Prover; Geometric automated theorem proving; Full angle method | Issue Date: | 22-Jun-2015 | Place of publication or event: | Coimbra | Abstract: | Este trabalho descreve o Método do Ângulo Completo para a geometria euclidiana construtiva assim como a sua implementacão no âmbito do Open Geo Prover.
O Método do Ângulo Completo é baseado na noção de ângulo completo e num conjunto de axiomas e regras de inferência.
Apresentamos um conjunto de regras de inferência para o método do ângulo completo como sendo a base de demonstrações automatizadas de teoremas de geometria. Este método é uma extensão do método da área, obtendo-se a partir deste pela introdução de uma nova quantidade geométrica designada por ângulo completo.
Descreve-se também a implementação do método do ângulo completo no projecto Open Geo Prover. This paper describes the Full Angle Method for constructive Euclidean geometry and its implementation on the Open Geo Prover project. The Full Angle Method is based on the notion of full angle and a set of axioms and inference rules. We present a set of rules based on the full angle as being a basis to automatic demonstration of geometry theorems. This method is an extension of the area method that we can obtain by introducing a new geometric quantity, designated the Full Angle. We also describe the implementation of the full angle method on the Open Geo Prover project. |
Description: | Dissertação de Mestrado em Matemática, área de Especialização em Análise Aplicada e Computação, apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra | URI: | https://hdl.handle.net/10316/31686 | Rights: | openAccess |
Appears in Collections: | UC - Dissertações de Mestrado FCTUC Matemática - Teses de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Tese_BenvindoEvoraCruz.pdf | 1.83 MB | Adobe PDF | View/Open |
Page view(s) 50
478
checked on Jul 23, 2024
Download(s)
358
checked on Jul 23, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.