A PROOF OF HESSENBERG THEOREM

被引:5
|
作者
CRONHEIM, A
机构
关键词
D O I
10.2307/2031794
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
引用
收藏
页码:219 / 221
页数:3
相关论文
共 50 条
  • [1] On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic
    Marc Bezem
    Dimitri Hendriks
    Journal of Automated Reasoning, 2008, 40 : 61 - 85
  • [2] On the mechanization of the proof of Hessenberg's theorem in coherent logic
    Bezem, Marc
    Hendriks, Dimitri
    JOURNAL OF AUTOMATED REASONING, 2008, 40 (01) : 61 - 85
  • [3] Hessenberg–Sobolev Matrices and Favard Type Theorem
    Héctor Pijeira-Cabrera
    Laura Decalo-Salgado
    Ignacio Pérez-Yzquierdo
    Bulletin of the Malaysian Mathematical Sciences Society, 2023, 46
  • [4] An implicit Q theorem for Hessenberg-like matrices
    Vandebril, Raf
    Van Barel, Marc
    Mastronardi, Nicola
    MEDITERRANEAN JOURNAL OF MATHEMATICS, 2005, 2 (03) : 259 - 275
  • [5] Hessenberg-Sobolev Matrices and Favard Type Theorem
    Pijeira-Cabrera, Hector
    Decalo-Salgado, Laura
    Perez-Yzquierdo, Ignacio
    BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2023, 46 (01)
  • [6] An Implicit Q Theorem for Hessenberg-like Matrices
    Raf Vandebril
    Marc Van Barel
    Nicola Mastronardi
    Mediterranean Journal of Mathematics, 2005, 2 : 259 - 275
  • [7] A PROOF OF JACKSONS THEOREM
    BOJANIC, R
    DEVORE, R
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 75 (02) : 364 - &
  • [8] PROOF OF BINOMIAL THEOREM
    SHELUPSK.D
    AMERICAN MATHEMATICAL MONTHLY, 1974, 81 (04): : 390 - 393
  • [9] Proof of the Depascalisation theorem
    Murthy, A
    SMARANDACHE NOTIONS, VOL 12, 2001, 12 : 258 - 259
  • [10] PROOF OF THE TCP THEOREM
    LUDERS, G
    ANNALS OF PHYSICS, 1957, 2 (01) : 1 - 15