Invariant and type inference for matrices

被引：0
|
作者：
IST Austria , Austria [1 ]
不详 [2 ]
不详 [3 ]
不详 [4 ]
机构：
来源：
Lect. Notes Comput. Sci. | 1600年 / 163-179期
关键词：
Compendex;
D O I：
11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010
中图分类号：
学科分类号：
摘要：
Theorem proving
引用
收藏
相关论文
共 50 条
  • [31] Invariant theoretic characterization of subdiscriminants of matrices
    Domokos, M.
    LINEAR & MULTILINEAR ALGEBRA, 2014, 62 (01): : 63 - 73
  • [32] Invariant Synchrony Subspaces of Sets of Matrices
    Neuberger, John M.
    Sieben, Nandor
    Swift, James W.
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2020, 19 (02): : 964 - 993
  • [33] MATRICES WITH PRESCRIBED ROWS AND INVARIANT FACTORS
    ZABALLA, I
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1987, 87 : 113 - 146
  • [34] INVARIANT LINEAR FUNCTIONALS AND INFINITE MATRICES
    DAS, G
    MISRA, SL
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1985, 16 (11): : 1307 - 1316
  • [35] ON THE MATRICES KEEPING INVARIANT THE QUADRATIC FORMS
    Petrescu-Nita, Alina
    Georgescu, Carmina
    UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2011, 73 (04): : 45 - 52
  • [36] ORDER INVARIANT PROPERTIES OF SOME MATRICES
    HOSKINS, WD
    MEEK, DS
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1978, 21 (03) : 261 - 269
  • [37] Rotationally invariant ensembles of integrable matrices
    Yuzbashyan, Emil A.
    Shastry, B. Sriram
    Scaramazza, Jasen A.
    PHYSICAL REVIEW E, 2016, 93 (05)
  • [38] Scale invariant transfer matrices and Hamiltionians
    Jones, Vaughan F. R.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2018, 51 (10)
  • [39] ON A PERTURBATION BOUND FOR INVARIANT SUBSPACES OF MATRICES
    Karow, Michael
    Kressner, Daniel
    SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2014, 35 (02) : 599 - 618
  • [40] Stability of Invariant Subspaces of Quaternion Matrices
    Leiba Rodman
    Complex Analysis and Operator Theory, 2012, 6 : 1069 - 1119
12345