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 条

[41] Invariant adjacency matrices of configuration graphs
Abreu, M.
Funk, M. J.
Labbate, D.
Napolitano, V.
LINEAR ALGEBRA AND ITS APPLICATIONS, 2012, 437 (08) : 2026 - 2037
[42] Common invariant subspace and commuting matrices
Bourgeois, Gerald
LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 438 (07) : 3030 - 3038
[43] INEQUALITIES OF UNITARILY INVARIANT NORMS FOR MATRICES
Wu, Xuesha
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2018, (40): : 28 - 33
[44] Correlations in invariant ensembles of random matrices
Freilikher, V
Kanzieper, E
Yurkevich, I
FIZIKA NIZKIKH TEMPERATUR, 1996, 22 (07): : 772 - 784
[45] Correlations in invariant ensembles of random matrices
Fiz Nizk Temp, 7 (772):
[46] AN INVARIANT DEFLATION FOR LOWER BANDED MATRICES
CHEN, D
LINEAR ALGEBRA AND ITS APPLICATIONS, 1983, 49 (FEB) : 237 - 245
[47] On rank one matrices and invariant subspaces
Osnaga, Silvia Monica
BALKAN JOURNAL OF GEOMETRY AND ITS APPLICATIONS, 2005, 10 (01): : 145 - 148
[48] Stability of Invariant Subspaces of Quaternion Matrices
Rodman, Leiba
COMPLEX ANALYSIS AND OPERATOR THEORY, 2012, 6 (05) : 1069 - 1119
[49] MATRICES WITH INVOLUTION AND INVARIANT-THEORY
BERELE, A
JOURNAL OF ALGEBRA, 1990, 135 (01) : 139 - 164
[50] On stability of invariant subspaces of commuting matrices
Kosir, T
Plestenjak, B
LINEAR ALGEBRA AND ITS APPLICATIONS, 2002, 342 : 133 - 147

← 1 2 3 4 5 →