Parametric systems of linear congruences

被引：0
|
作者：
Dolzmann, A [1 ]
Sturm, T [1 ]
机构：
[1] Univ Passau, FMI, D-8390 Passau, Germany
来源：
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING | 2001年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, uniform p-adic integer solutions for parametric prime power moduli, lifting strategies for these uniform p-adic solutions for given primes, and simultaneous lifting strategies for finite sets of primes. The method is finally extended to arbitrary moduli.
引用
收藏
页码：149 / 166
页数：18
相关论文
共 50 条
  • [41] CONGRUENCES IN MULTIPLICATIVE SYSTEMS
    Richardson, A. R.
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1947, 49 : 195 - 210
  • [42] The systems and congruences K
    Demoulin, A
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1910, 150 : 156 - 159
  • [43] Designing parametric linear quadratic regulators for parametric LTI systems via LMIs
    Chesi, Graziano
    Shen, Tiantian
    INTERNATIONAL JOURNAL OF CONTROL, 2019, 92 (12) : 2907 - 2916
  • [44] Generalized Fibonacci sequences and linear congruences
    Sburlati, G
    FIBONACCI QUARTERLY, 2002, 40 (05): : 446 - 452
  • [45] Matrix -valued Laurent polynomials, parametric linear systems and integrable systems
    Lopez-Reyes, Nancy
    Felipe-Sosa, Raul
    Felipe, Raul
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2020, 357 (10): : 6257 - 6279
  • [46] On linear congruences of conic sections.
    Montesano, D
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1911, 153 : 45 - 47
  • [47] Algebraic tests for the asymptotic stability of parametric linear systems
    Menini, Laura
    Possieri, Corrado
    Tornambe, Antonio
    IFAC PAPERSONLINE, 2020, 53 (02): : 4434 - 4439
  • [48] A COMMENT ON BEHAVIOR OF LINEAR SYSTEMS WITH RANDOM PARAMETRIC EXCITATION
    KOZIN, F
    BOGDANOFF, JL
    JOURNAL OF MATHEMATICS AND PHYSICS, 1963, 42 (04): : 336 - &
  • [49] Solving systems of linear fuzzy equations by parametric functions
    Vroman, Annelies
    Deschrijver, Glad
    Kerre, Etienne E.
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2007, 15 (03) : 370 - 384
  • [50] Learning and inference in parametric switching linear dynamic systems
    Oh, SM
    Rehg, JM
    Balch, T
    Dellaert, F
    TENTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 1161 - 1168
12345