Zobrazeno 1 - 10 of 35 pro vyhledávání: '"Demonstração automática de teoremas"'
2
Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
Autor: Ramires, João Jorge da Costa Vieira
Em 1996, EQP, um programa de computador, resolveu o Problema de Robbins, um problema colocado nos anos 30 e que tinha derrotado alguns dos maiores algebristas do século XX. Em julho de 2022, Enigma, uma ferramenta de inteligência arti cial aplicada
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1501::43a282488e960cc134b767f4c7b155eb
https://hdl.handle.net/10400.2/12729
Zobrazit plný text záznamu
3
Logica modal aplicada a verificação de sistemas a eventos discretos
Autor: Pessanha, Christiano Pereira
Publikováno v: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Orientador: Rafael Santos Mendes Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Resumo: Este trabalho objetiva o estudo da verificação de especificações em sistemas dinâmicos a ev
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78b94860c1273900ec5441b2297ed6d8
https://doi.org/10.47749/t/unicamp.2004.303303
Zobrazit plný text záznamu
4
Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos
Autor: Pellegrini, Jerônimo
Publikováno v: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Orientador: Jacques Wainer Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação Resumo: Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ebfa5bd3091db64477d08d7fac525f0
https://doi.org/10.47749/t/unicamp.1997.176208
Zobrazit plný text záznamu
5
Finite bases for semigroup varieties
Autor: Pereira, Manuel Jorge Raminhos
Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
O objetivo deste trabalho é fornecer um atlas das bases de identidades para as variedades geradas por semigrupos e grupos de ordem pequena. Com o propósito de auxiliar os matemáticos que trabalham neste campo a encontrar informações com facilida
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::be549c91f4c2db773c84c96f2927fd82
Zobrazit plný text záznamu
6
ProverX: rewriting and extending prover9
Autor: Robert, Ivo
Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
O propósito principal deste projecto é tornar o demonstrador automático de teoremas Prover9 programável e, por conseguinte, extensível. Este propósito foi conseguido acrescentando um interpretador de Python, uma linha de comandos e uma bibliote
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2d9efe662b4d0a441bff54c0cc4b2f58
https://hdl.handle.net/10400.2/9925
Zobrazit plný text záznamu
7
Inscribed quadrilaterals and Simson-Wallace and Steiner-Lehmus theorems
Autor: Lago, Rodrigo Cesar
Publikováno v: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) Apresentamos neste trabalho diferentes estratégias para demonstrar os teoremas de SimsonWallace e de Steiner-Lehmus, este último não abordado nas referências de geometria uti
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::32ce568df4925331292caebe02fdde45
http://repositorio.utfpr.edu.br/jspui/handle/1/3827
Zobrazit plný text záznamu
8
Polygons and polyhedrons equivalent by decomposition
Autor: Fernandes, Flavia Mescko
Publikováno v: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) Apresentamos neste trabalho o teorema de Wallace-Bolyai-Gerwien e o terceiro problema de Hilbert. Empregamos o primeiro para demonstrar a área de figuras geométricas planas por
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::fcf8f52cae17fe5da4cf82c6580255f3
http://repositorio.utfpr.edu.br/jspui/handle/1/2972
Zobrazit plný text záznamu
9
Dissertation/ Thesis
Teorema de Pitágoras : história, demonstrações e aplicações
Autor: Araujo, Anesio Amancio de
Publikováno v: Repositório Institucional da UnBUniversidade de BrasíliaUNB.
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2016.
Submitted by Fernanda Percia França (fernandafranca@bce.u
Externí odkaz: http://repositorio.unb.br/handle/10482/21136
Zobrazit plný text záznamu
10
Teorema de Pitágoras : história, demonstrações e aplicações
Autor: Anesio Amancio de Araujo
Publikováno v: Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2016. Este trabalho trata do Teorema de Pitágoras, um conteúdo de g
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::382e4954f14b82380bb635cc527c6f3a
http://repositorio.unb.br/handle/10482/21136
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje