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 条
  • [1] On computing of the sharp Lipshitz constant for system of linear inequalities
    MGU im. M.V. Lomonosova, Moscow, Russia
    Vestnik Moskovskogo Universiteta. Ser. 15 Vychislitel'naya Matematika i Kibernetika, 2001, (04): : 11 - 18
  • [2] Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
    Bell, Jason P.
    Smertnig, Daniel
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [3] THE COMPLEXITY OF DECIDING CONSISTENCY OF SYSTEMS OF POLYNOMIALS IN EXPONENT INEQUALITIES
    VOROBJOV, NN
    JOURNAL OF SYMBOLIC COMPUTATION, 1992, 13 (02) : 139 - 173
  • [4] Loop inequalities and confinement
    Tomboulis, ET
    NUCLEAR PHYSICS B-PROCEEDINGS SUPPLEMENTS, 2003, 119 : 664 - 666
  • [5] Deciding linear-transcendental problems
    Weispfenning, V
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2000, : 423 - 437
  • [6] Deciding linear-trigonometric problems
    Anai, Hirokazu
    Weispfenning, Volker
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2000, : 14 - 22
  • [7] Computing multidimensional residues
    Cattani, E
    Dickenstein, A
    Sturmfels, B
    ALGORITHMS IN ALGEBRAIC GEOMETRY AND APPLICATIONS, 1996, 143 : 135 - 164
  • [8] ON LINEAR INEQUALITIES
    TUI, K
    DOKLADY AKADEMII NAUK SSSR, 1968, 179 (02): : 293 - &
  • [9] Deciding optimal information dispersal for parallel computing with failures
    Song, SK
    Youn, HY
    Park, JK
    PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 332 - 335
  • [10] Deciding the nilpotency of the Galois group by computing elements in the centre
    Fernandez-Ferreiros, P
    Gomez-Molleda, MA
    MATHEMATICS OF COMPUTATION, 2004, 73 (248) : 2043 - 2060
12345