Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Edmundo, Mário Jorge | - |
Autor(es): dc.contributor | Mamino, Marcelo | - |
Autor(es): dc.creator | Raimundo, António Pedro da Silva | - |
Data de aceite: dc.date.accessioned | 2019-08-21T17:04:45Z | - |
Data de disponibilização: dc.date.available | 2019-08-21T17:04:45Z | - |
Data de envio: dc.date.issued | 2015-07-28 | - |
Data de envio: dc.date.issued | 2015-07-28 | - |
Data de envio: dc.date.issued | 2014 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/10400.2/4420 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/10400.2/4420 | - |
Descrição: dc.description | Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta | - |
Descrição: dc.description | Nesta dissertação estudamos o artigo de Bjorn Poonen [Poo03b], Hilbert‘s tenth problem and Mazur‘s conjecture for large subrings of Q e investigamos computacionalmente os diversos conjuntos caracterizados no artigo. Começamos por introduzir a teoria referente às variedades algébricas e às curvas elípticas , conceitos necessários ao entendimento do artigo em estudo. No artigo de Poonen é demonstrada a inexistência dum algoritmo para decidir se equações polinomiais com coeficientes em certos subanéis de Q têm ou não solução nesses subanéis ou seja o 10o problema de Hilbert para esses anéis tem uma solução negativa. A ideia da prova é a partir duma curva elíptica construir um modelo diofantino do anel Z. Com esse fim, partindo duma curva elíptica estuda-se alguns conjuntos infinitos de números primos que são recursivos. Na parte prática da dissertação definimos alguns algoritmos e calculamos alguns elementos destes conjuntos. | - |
Descrição: dc.description | This thesis studies the article Bjorn Poonen, Hilbert‘s tenth problem and Mazur‘s conjecture for large subrings of Q and investigates computationally the various sets featured in the article. We begin by introducing the basic theory of algebraic varieties and elliptic curves, concepts necessary for understanding the article under consideration. In Poonen article the absence of an algorithm to decide if polynomial equations with coefficients in certain subrings of Q have solutions in those subrings is proved, that is, Hilbert‘s tenth problemfor these rings has a negative solution. The idea of proof is to use an elliptic curve to build a diophantine model of the ring Z. To this end, we study some infinite recursive sets of primes that are built from an elliptic curve. The idea of proof is of an elliptic curve from building a diophantine model of the Z ring To this end, and from a elliptic curve is studied some infinite sets of primes that are recursive. In the practical part of the thesis we define algorithms and calculate some elements of these sets. | - |
Idioma: dc.language | pt_BR | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Matemática | - |
Palavras-chave: dc.subject | Estatística | - |
Palavras-chave: dc.subject | Computação | - |
Palavras-chave: dc.subject | Algorítmos | - |
Palavras-chave: dc.subject | Álgebra | - |
Palavras-chave: dc.subject | Curvas elípticas | - |
Palavras-chave: dc.subject | Hilbert‘s tenth problem | - |
Palavras-chave: dc.subject | Diophantine model | - |
Palavras-chave: dc.subject | Elliptic curve | - |
Título: dc.title | 10º problema de Hilbert para subanéis de Q | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Aberto - Universidade Aberta (Portugal) |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: