Alguém sabe de referências que explicitam precisamente a conexão entre o algoritmo de unificação e a eliminação gaussiana? Estou particularmente interessado na relação entre substituições triangulares e decomposições de LU.
Wayne Snyder e Jean Gallier mencionam essa analogia de passagem em seu artigo, Unificação de ordem superior revisitada: conjuntos completos de transformações .
7
Como não especialista, nunca tinha ouvido falar da conexão. Alguma referência que mencione essa conexão seria uma boa adição à pergunta.
—
Tsuyoshi Ito
como afirmam no artigo p2, é principalmente uma analogia ", que no caso de ordem superior se decompõe". existe uma conexão ou analogia demonstrável entre resolução e eliminação gaussiana. perto o suficiente?
—
vzn
Espero que você já saiba disso: o algoritmo de Euclid, a eliminação gaussiana, o algoritmo de Buchberger para bases de Grobner e a conclusão de Knuth-Bendix devem formar uma sequência estritamente crescente em termos de generalidade e método que eles usam. Se os mapas precisos entre esses métodos forem conhecidos, talvez você possa derivar a conexão acima?
—
Vijay D
@VijayD: Na verdade, eu não sabia disso! Eu sei o que o algoritmo de Buchberger faz, mas não conheço o algoritmo em si, nem nada sobre sua relação com a eliminação da Guassiana ou a conclusão da KB.
—
Neel Krishnaswami