洛伊奇，波蒂埃 线性丢番图系统的最小解：界和算法。 （英语） Zbl 1503.11152号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。488, 162-173 (1991). 摘要：我们给出了线性丢番图系统最小解的新的界和算法。这些界限只是指数，而之前已知的界限，至少直到最近，是双指数。关于整个系列，请参见[Zbl 0875.00122号]. 引用于30文件 MSC公司： 11年50 丢番图方程的计算机解法 2016年11月 数字理论算法；复杂性 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{L.Pottier}，莱克特。注释计算。科学。488162--173（1991年；Zbl 1503.11152） 全文： 内政部 参考文献： [1] “向量添加系统的顾问”，手稿，INRIA Sophia Antipolis，法国，1989年2月。 [2] “线性丢番图方程非负积分解的界”，Proc。AMS v.55，n.2，1976年3月·Zbl 0291.10014号 [3] “Gröbner基：多项式理想理论中的一种算法”Camp。出版物。编号83-29。1983年11月0日。 [4] “求解线性丢番图方程组”，UNIF“89，proc。第三届国际统一研讨会，兰布雷希特，RFA 89。 [5] “求解线性丢番图方程组：代数方法”，UNIF“90，国际统一研讨会，英国利兹，1990年7月 [6] “基准计算算法”，法国尼斯印前大学，1985年。 [7] “全对偶积分与整数多面体”，线性代数及其应用，25，pp191-1961979·Zbl 0413.90054号 [8] “生成齐次线性丢番图方程解的基础的算法”，《信息处理快报》，第3卷，第7期，1978年·Zbl 0377.10011号 [9] “单词方程最小解的周期指数”，原稿，波兰弗罗茨瓦夫大学，1990年6月。 [10] “未经证实的解决方案的正确性”，巴黎科学院，第305页，Séire I，第39-40页，1987年·Zbl 0615.0022号 [11] “Un problème d’accessibiliteédans les réseaux de Petri”博士论文，定理I.5，第18页，法国奥尔赛巴黎大学，1987年。 [12] “全球识别结构问题：研究方法、有效方法和复杂性”，法国高等理工学院博士论文，1990年6月。 [13] “Bornes et algorithmes de calcul des générateurs des solutions de systèmes diophantiens linéaires”，内部报告，INRIA，2月90日，巴黎科学院，第311页，Série I，第813-8161990页·Zbl 0714.11018号 [14] “线性丢番图系统的解”，UNIF“89，proc。第三届国际统一研讨会，兰布雷希特，RFA 89。 [15] “组合数学和交换代数”，《数学进展》，Birkäuser主编，1983年·Zbl 0537.13009号 [16] “分段线性拓扑中的边界”，Trans。AMS，v.2011975·Zbl 0301.57009号 [17] “线性整数等式和不等式解的界”。AMS 72，第155-1581978页·Zbl 0397.90071号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。