共 50 条
- [1] On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic Journal of Automated Reasoning, 2008, 40 : 61 - 85
- [3] Hessenberg–Sobolev Matrices and Favard Type Theorem Bulletin of the Malaysian Mathematical Sciences Society, 2023, 46
- [6] An Implicit Q Theorem for Hessenberg-like Matrices Mediterranean Journal of Mathematics, 2005, 2 : 259 - 275