Matrix bordering structure of the Faddeev-Jackiw algorithm: kernel reduction and symbolic automation
Questo articolo stabilisce che la riduzione iterativa di Faddeev-Jackiw per sistemi lagrangiani singolari è un caso geometricamente vincolato della Tecnica di Bordering Matriciale, derivando una fattorizzazione esatta del determinante che collega la terminazione dell'algoritmo alla non degenerazione dell'algebra dei vincoli e consentendo un'implementazione completamente simbolica nel Wolfram Language.