Matrix bordering structure of the Faddeev-Jackiw algorithm: kernel reduction and symbolic automation
Cet article établit que la réduction itérative de Faddeev-Jackiw pour les systèmes lagrangiens singuliers est une instance géométriquement contrainte de la technique de bordure matricielle (Matrix Bordering Technique), dérivant une factorisation exacte du déterminant qui lie la terminaison de l'algorithme à la non-dégénérescence de l'algèbre des contraintes et permettant une implémentation entièrement symbolique dans le langage Wolfram.