Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/47639
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Almeida, Pedro Henrique e Figueiredo Quaresma de | - |
dc.contributor.author | Baeta, Nuno Miguel dos Santos | - |
dc.date.accessioned | 2018-02-16T16:59:07Z | - |
dc.date.available | 2018-02-16T16:59:07Z | - |
dc.date.issued | 2013-06-17 | - |
dc.identifier.uri | https://hdl.handle.net/10316/47639 | - |
dc.description | Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra | por |
dc.description.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. | por |
dc.description.abstract | 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. | por |
dc.language.iso | por | por |
dc.rights | openAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | por |
dc.subject | Método do ângulo completo | por |
dc.subject | Método da área | por |
dc.subject | Geometria | por |
dc.subject | Demonstração automática de teoremas | por |
dc.subject | Full-angle method | por |
dc.subject | Area method | por |
dc.subject | Geometry | por |
dc.subject | Automated theorem proving | por |
dc.title | O método do ângulo completo no sistema OpenGeoProver | por |
dc.type | masterThesis | por |
item.openairetype | masterThesis | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | pt | - |
item.grantfulltext | open | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
crisitem.author.researchunit | CISUC - Centre for Informatics and Systems of the University of Coimbra | - |
crisitem.author.parentresearchunit | Faculty of Sciences and Technology | - |
crisitem.author.orcid | 0000-0002-1629-7924 | - |
Appears in Collections: | UC - Dissertações de Mestrado FCTUC Matemática - Teses de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Tese_NunoBaeta.pdf | 657.84 kB | Adobe PDF | View/Open |
Page view(s) 50
605
checked on Jul 16, 2024
Download(s)
121
checked on Jul 16, 2024
Google ScholarTM
Check
This item is licensed under a Creative Commons License