DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUES

被引：83
|
作者：
SHOSTAK, R
机构：
来源：
JOURNAL OF THE ACM | 1981年 / 28卷 / 04期
关键词：
D O I：
10.1145/322276.322288
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：769 / 779
页数：11
相关论文
共 50 条
  • [21] Linear inequalities in primes
    Walker, Aled
    JOURNAL D ANALYSE MATHEMATIQUE, 2021, 145 (01): : 29 - 127
  • [22] ON LINEAR DIFFERENTIAL INEQUALITIES
    SCHRODER, J
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1968, 22 (01) : 188 - &
  • [23] ON A PROBLEM IN LINEAR INEQUALITIES
    COTTLE, RW
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1968, 43 (171P): : 378 - &
  • [24] Linear matrix inequalities
    Werner, H
    IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2003, 150 (05): : 499 - 500
  • [25] SOLUTION OF LINEAR INEQUALITIES
    MENGERT, PH
    IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (02) : 124 - +
  • [26] Fuzzy observer design using linear matrix inequalities for fuzzy closed-loop control systems
    Elqaq, E
    Priemer, R
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2005, 34 (04) : 507 - 522
  • [27] Deciding Concurrent Planar Monotonic Linear Hybrid Systems
    Prabhakar, Pavithra
    Roohi, Nima
    Viswanathan, Mahesh
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 256 - 269
  • [28] LINEAR TIME ALGORITHM FOR DECIDING INTERVAL GRAPH ISOMORPHISM
    LUEKER, GS
    BOOTH, KS
    JOURNAL OF THE ACM, 1979, 26 (02) : 183 - 195
  • [29] Local Poincare inequalities on loop spaces
    Eberle, A
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 2001, 333 (11): : 1023 - 1028
  • [30] The art of computing loop integrals
    Weinzierl, Stefan
    UNIVERSALITY AND RENORMALIZATION: FROM STOCHASTIC EVOLUTION TO RENORMALIZATION OF QUANTUM FIELDS, 2007, 50 : 345 - 395
12345