Please use this identifier to cite or link to this item: http://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: http://hdl.handle.net/10316/31686
Rights: openAccess
Appears in Collections:FCTUC Matemática - Teses de Mestrado
UC - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat
Tese_BenvindoEvoraCruz.pdf1.83 MBAdobe PDFView/Open
Show full item record

Page view(s) 50

381
checked on Aug 11, 2022

Download(s)

271
checked on Aug 11, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.