Matrix bordering structure of the Faddeev-Jackiw algorithm: kernel reduction and symbolic automation
본 논문은 특이 라그랑주 시스템(singular Lagrangian systems)에 대한 반복적 파데-잭(Faddeev-Jackiw) 축약이 행렬 경계 기법(Matrix Bordering Technique)의 기하학적으로 제약된 사례임을 입증하며, 알고리즘의 종료를 제약 대수의 비퇴화성(nondegeneracy)과 연결하는 정확한 행렬식 인수분해를 유도하고 울프럼 언어(Wolfram Language)에서의 완전한 상징적 구현을 가능하게 한다.