Classroom Note:A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm

1998/01/01 by Shui-Hung Hou · 4 citations
Computer Science · #Matrix Theory and Algorithms

paper · doi:10.1137/s003614459732076x

openalex publication_date 1998/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/10

Abstract

A simple formula is established that relates the trace of the resolvent with the characteristic polynomial of a matrix. This will lead to a novel and elegant proof of the recursive relations that compute the coefficients of the characteristic polynomial used in the Leverrier--Faddeev method.

Cited by

• Souriau Exponential Map Algorithm for Machine Learning on Matrix Lie Groups
• The classification of holomorphic (m, n)-subharmonic morphisms
• Cayley–Hamilton theorem [wikipedia]
• Faddeev–LeVerrier algorithm [wikipedia]