O método do ângulo completo no sistema OpenGeoProver

Detalhes bibliográficos
Autor(a) principal: Baeta, Nuno Miguel dos Santos
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/47639
Resumo: Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra
id RCAP_2a872bbad4d43e96078788e0955e1a75
oai_identifier_str oai:estudogeral.uc.pt:10316/47639
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling O método do ângulo completo no sistema OpenGeoProverMétodo do ângulo completoMétodo da áreaGeometriaDemonstração automática de teoremasFull-angle methodArea methodGeometryAutomated theorem provingDissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de CoimbraO 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.2013-06-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10316/47639http://hdl.handle.net/10316/47639porBaeta, Nuno Miguel dos Santosinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-01-20T17:49:24Zoai:estudogeral.uc.pt:10316/47639Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:00:57.971309Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv O método do ângulo completo no sistema OpenGeoProver
title O método do ângulo completo no sistema OpenGeoProver
spellingShingle O método do ângulo completo no sistema OpenGeoProver
Baeta, Nuno Miguel dos Santos
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
title_short O método do ângulo completo no sistema OpenGeoProver
title_full O método do ângulo completo no sistema OpenGeoProver
title_fullStr O método do ângulo completo no sistema OpenGeoProver
title_full_unstemmed O método do ângulo completo no sistema OpenGeoProver
title_sort O método do ângulo completo no sistema OpenGeoProver
author Baeta, Nuno Miguel dos Santos
author_facet Baeta, Nuno Miguel dos Santos
author_role author
dc.contributor.author.fl_str_mv Baeta, Nuno Miguel dos Santos
dc.subject.por.fl_str_mv 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
topic 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
description Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra
publishDate 2013
dc.date.none.fl_str_mv 2013-06-17
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/47639
http://hdl.handle.net/10316/47639
url http://hdl.handle.net/10316/47639
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133900871565312

Registros relacionados