Bases De Grobner
Mostrando 1-7 de 7 artigos, teses e dissertações.
-
1. Grõbner bases and minimum distance of affine varieties codes
Nesse trabalho apresentamos um método para estimar a distância mínima de códigos de variedades afins. Nossa técnica usa propriedades da pegada de um ideal obtido através do aumento do ideal de definição da variedade em questão, e também pode ser aplicada a códigos de que não são produzidos utilizando-se domínios-pesos.
TEMA (São Carlos). Publicado em: 2012-12
-
2. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
3. Bases de Grobner aplicadas à k-coloração de grafos / Application of Grobner bases in graph k-coloring
Neste trabalho, estudamos a teoria das bases de Gröbner e sua aplicação ao problema da k-coloração de grafos, estabelecendo assim uma interessante conexão entre a álgebra abstrata e a matemática discreta. Fazemos também uma abordagem de caráter lúdico, traduzindo o passatempo chamado Sudoku em um problema de 9-coloração e utilizando a teoria apr
Publicado em: 2010
-
4. Bases de Gröbner e aplicações em aproximações de Padé e codificação
Nesta dissertação estudamos algumas aplicações da teoria das bases de Gröbner, visando principalmente a utilização dessas técnicas na teoria de códigos. Apresentamos um algoritmo para obter a base de Gröbner reduzida do ideal de um conjunto finito de pontos, e descrevemos um método para encontrar aproximações de Padé de polinômios multivariado
Publicado em: 2009
-
5. Álgebras de Koszul e resoluções projetivas / Koszul algebras and projetive resolutions
Neste trabalho estudamos algumas características das álgebras de Koszul, como por exemplo, a maneira como elas se relacionam com suas respectivas álgebras de Yoneda. Descrevemos a álgebra de Yoneda de uma álgebra monomial e como aplicação construímos uma família de álgebras: as chamadas homologicamente auto-duais. Uma álgebra de Koszul pode ser de
Publicado em: 2009
-
6. Encoding geometric Goppa codes via Grobner basis and codes on Norm-Trace curves / Codificação de certos codigos de Goppa geometricos utilizando a teoria de Bases de Grobner e codigos sobre a curva Norma-Traço
We extend results of Heegard, Little and Saints concerning the Gröbner basis algorithm for one-point Hermitian codes. We work with two-point and n-point Hermitian codes and codes arising from the Norm-Trace curve. We also determine the Weierstrass semigroup at a certain pair of rational points in such curves and uses these computations to improve the lower
Publicado em: 2008
-
7. Algumas aplicações de bases de Grobner em algebra comutativa
Not informed.
Publicado em: 2003