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 条
  • [1] Invariant and Type Inference for Matrices
    Henzinger, Thomas A.
    Hottelier, Thibaud
    Kovacs, Laura
    Voronkov, Andrei
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 163 - 179
  • [2] β-invariant measures for transition matrices of GI/M/1 type
    Li, QL
    Zhao, YQ
    STOCHASTIC MODELS, 2003, 19 (02) : 201 - 233
  • [3] Unipotent invariant matrices
    Can, Mahir Bilen
    Howe, Roger
    Joyce, Michael
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 439 (01) : 196 - 210
  • [4] INVARIANT FUNCTIONS ON MATRICES
    DONKIN, S
    MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1993, 113 : 23 - 43
  • [5] The construction of invariant matrices
    Littlewood, DE
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1937, 43 : 226 - 240
  • [6] Environment Inference for Invariant Learning
    Creager, Elliot
    Jacobsen, Jorn-Henrik
    Zemel, Richard
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
  • [7] Complexity and Information in Invariant Inference
    Feldman, Yotam M. Y.
    Immerman, Neil
    Sagiv, Mooly
    Shoham, Sharon
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
  • [8] MATRICES HAVING AN INVARIANT CONE
    BARKER, GP
    CZECHOSLOVAK MATHEMATICAL JOURNAL, 1972, 22 (01) : 49 - &
  • [9] Group invariant weighing matrices
    Tan, Ming Ming
    DESIGNS CODES AND CRYPTOGRAPHY, 2018, 86 (12) : 2677 - 2702
  • [10] Invariant multicones for families of matrices
    M. Brundu
    M. Zennaro
    Annali di Matematica Pura ed Applicata (1923 -), 2019, 198 : 571 - 614
12345