O método do ângulo completo

Detalhes bibliográficos
Autor(a) principal: Cruz, Benvindo do Rosário Évora da
Data de Publicação: 2015
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/31686
Resumo: 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
id RCAP_93b4fc6a49238d70efc56a00d08b3304
oai_identifier_str oai:estudogeral.uc.pt:10316/31686
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 completoDemonstração automática de teoremas em geometriaMétodo do ângulo completoOpen Geo ProverGeometric automated theorem provingFull angle methodDissertaçã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 CoimbraEste 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.2015-06-22info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10316/31686http://hdl.handle.net/10316/31686TID:201386992porCruz, Benvindo do Rosário Évora dainfo: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/31686Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:00:58.941132Repositó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
title O método do ângulo completo
spellingShingle O método do ângulo completo
Cruz, Benvindo do Rosário Évora da
Demonstração automática de teoremas em geometria
Método do ângulo completo
Open Geo Prover
Geometric automated theorem proving
Full angle method
title_short O método do ângulo completo
title_full O método do ângulo completo
title_fullStr O método do ângulo completo
title_full_unstemmed O método do ângulo completo
title_sort O método do ângulo completo
author Cruz, Benvindo do Rosário Évora da
author_facet Cruz, Benvindo do Rosário Évora da
author_role author
dc.contributor.author.fl_str_mv Cruz, Benvindo do Rosário Évora da
dc.subject.por.fl_str_mv Demonstração automática de teoremas em geometria
Método do ângulo completo
Open Geo Prover
Geometric automated theorem proving
Full angle method
topic Demonstração automática de teoremas em geometria
Método do ângulo completo
Open Geo Prover
Geometric automated theorem proving
Full angle method
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
publishDate 2015
dc.date.none.fl_str_mv 2015-06-22
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/31686
http://hdl.handle.net/10316/31686
TID:201386992
url http://hdl.handle.net/10316/31686
identifier_str_mv TID:201386992
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_ 1799133902016610304

Registros relacionados