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 条

[21] From invariant checking to invariant inference using randomized search
Rahul Sharma
Alex Aiken
Formal Methods in System Design, 2016, 48 : 235 - 256
[22] From Invariant Checking to Invariant Inference Using Randomized Search
Sharma, Rahul
Aiken, Alex
COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 88 - 105
[23] From invariant checking to invariant inference using randomized search
Sharma, Rahul
Aiken, Alex
FORMAL METHODS IN SYSTEM DESIGN, 2016, 48 (03) : 235 - 256
[24] A constructive method for finding β-invariant measures for transition matrices of M/G/1 type
Li, QL
Zhao, YQ
MATRIX-ANALYTIC METHODS:THEORY AND APPLICATIONS, 2002, : 237 - 263
[25] Reparametrization invariant statistical inference and gravity
Periwal, V
PHYSICAL REVIEW LETTERS, 1997, 78 (25) : 4671 - 4674
[26] Integration of invariant matrices and moments of inverses of Ginibre and Wishart matrices
Collins, Benoit
Matsumoto, Sho
Saad, Nadia
JOURNAL OF MULTIVARIATE ANALYSIS, 2014, 126 : 1 - 13
[27] On common invariant cones for families of matrices
Rodman, Leiba
Seyalioglu, Hakan
Spitkovsky, Ilya M.
LINEAR ALGEBRA AND ITS APPLICATIONS, 2010, 432 (04) : 911 - 926
[28] INVARIANT NEUTRAL SUBSPACES FOR HAMILTONIAN MATRICES
Rodman, Leiba
ELECTRONIC JOURNAL OF LINEAR ALGEBRA, 2014, 27 : 55 - 99
[29] Inequalities of unitarily invariant norms for matrices
Wu, Xuesha (xuesha_wu@163.com), 2018, Forum-Editrice Universitaria Udinese SRL
[30] LYAPUNOV EXPONENTS FOR MATRICES WITH INVARIANT SUBSPACES
KEY, ES
ANNALS OF PROBABILITY, 1988, 16 (04): : 1721 - 1728

← 1 2 3 4 5 →