Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/47639
Title: O método do ângulo completo no sistema OpenGeoProver
Authors: Baeta, Nuno Miguel dos Santos 
Orientador: Almeida, Pedro Henrique e Figueiredo Quaresma de
Keywords: Método do ângulo completo; Método da área; Geometria; Demonstração automática de teoremas; Full-angle method; Area method; Geometry; Automated theorem proving
Issue Date: 17-Jun-2013
Abstract: O método do ângulo completo para geometria euclideana construtiva foi proposto por Chou, Gao e Zhang no início dos anos 1990. Este método, uma extensão do método da área proposto pelos mesmos autores, produz demonstrações legíveis e de um modo eficiente demonstra muitos teoremas não triviais. Pode ser considerado como um dos métodos mais interessante e de maior sucesso na demonstração de teoremas em geometria e, possivelmente, o mais bem sucedido na produção de demonstrações automáticas legíveis. Nesta dissertação de mestrado faz-se a apresentação do mêtodo do ângulo completo e demonstram-se muitos dos seus lemas. Descreve-se ainda a planificação da implementação, em código livre, do método do ângulo completo.
The full-angle method for euclidean constructive geometry was proposed by Chou, Gao, Zhang in early 1990’s. The method, an extension of the area method proposed by the same authors, produces humanreadable proofs and can efficiently prove many non-trivial theorems. It can be considered as one of the most interesting and most successful methods in geometry theorem proving and probably the most successful in the domain of automated production of readable proofs. In this master thesis a presentation of the full-angle method is made and several of its lemmas are proved. A plannification of the implementation, in open source code, of the full-angle method is also described.
Description: Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra
URI: http://hdl.handle.net/10316/47639
Rights: openAccess
Appears in Collections:FCTUC Matemática - Teses de Mestrado

Files in This Item:
File Description SizeFormat
Tese_NunoBaeta.pdf657.84 kBAdobe PDFView/Open
Show full item record

Page view(s) 50

419
checked on Sep 9, 2019

Download(s)

36
checked on Sep 9, 2019

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons