马可·沃伊格特 具有未解释谓词的线性有理算术的可判定\（｛\sexists｝^*｛\fall｝^*\）一阶片段。 （英语） Zbl 07356976号 J.汽车。推理 65，第3期，357-423（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt}，J.Autom。推理65，No.3，357--423（2021；Zbl 07356976） 全文： 内政部
马可·阿巴特 书评：A.Granville，数论揭示：导论；数论揭示：一个大师班。 （英语） Zbl 1461.00011号 数学。智力。 43，第1号，128-129（2021）.MSC公司：00A17年 11-01 11A05号 11A07号 2015年11月 11A41号机组 11页51 11层39 2004年11月 2007年11月 第11页55 11B30型 2009年第11天 11天25分 11号05 11N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abate}，数学。智力。43，编号1，128-129（2021；兹bl 1461.00011） 全文： 内政部
鲁齐卡皮斯卡 具有基数约束的集合和多集合的高效自动推理。 （英语） Zbl 07614503号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12166, 3-10 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.皮斯卡}，莱克特。票据计算。科学。12166，3-10（2020；Zbl 07614503） 全文： 内政部
德卡西亚·席尔瓦·罗德里格斯（Elisa）；豪尔赫·斯托尔菲 ECLES：局部编辑线性约束参数的通用方法。 （英语） Zbl 1513.65050号 数字。线性代数应用。 26，第6期，e2268，20页（2019年）.MSC公司：65平方英尺 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{E.de Cássia Silva Rodrigues}和\textit{J.Stolfi}，数字。线性代数应用。26，第6期，e2268，20页（2019年；Zbl 1513.65050） 全文： 内政部
马可·沃伊格特 在实域上具有有界差分约束的Bernays-Schönfinkel-Ramsey碎片是可判定的。 （英语） Zbl 1496.03032号 Dixon，Clare（编辑）等人，《联合系统的前沿》。2017年9月27日至29日在巴西巴西利亚举行的2017年FroCoS第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10483, 244-261 (2017).MSC公司：03B25号 30楼03号 10年5月 03B35型 03B62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt}，莱克特。票据计算。科学。10483，244--261（2017；Zbl 1496.03032） 全文： 内政部 arXiv公司
阿尔芒·拉坎德 关于脆性整数的线性形式表示。 （英语） Zbl 1429.11180号 《阿里斯学报》。 181，第2期，97-109（2017）.MSC公司：11N25号 11号37 PDF格式BibTeX公司 XML格式引用 \textit{A.Lachand}，阿里斯学报。181，No.2，97--109（2017；Zbl 1429.11180） 全文： 内政部 arXiv公司 哈尔
莫里茨·舒尔泽·达鲁 采样线性系统的严格约束满足。 （英语） Zbl 1347.93169号 欧洲药典控制 31, 52-58 (2016).MSC公司：93C57 93二氧化碳 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schulze Darup}，《欧洲期刊控制》31，52-58（2016；Zbl 1347.93169） 全文： 内政部 arXiv公司
克里斯蒂娜·博拉莱拉斯；萨尔瓦多卢卡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔；阿尔伯特·鲁比奥 求解多项式约束的SAT模线性算法。 （英语） 兹比尔1243.68210 J.汽车。推理 48，第1期，107-131（2012）.MSC公司：第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Borraleras}等人，J.Autom。推理48，No.1，107--131（2012；Zbl 1243.68210） 全文： 内政部 链接
纪尧姆·汉罗；布鲁诺·马丁；盖拉尔·特内鲍姆 易碎Turan-Kubilius常数：数值研究。（Turán-Kubilius易碎君士坦丁堡：uneétude numérique） （法语。英文摘要） Zbl 1276.11152号 实验数学。 19，第3期，345-361（2010）. 审核人：乔纳斯·萨尤利斯（维尔纽斯） MSC公司：11N25号 11号37 11-04 47-04 47B38码 PDF格式BibTeX公司 XML格式引用 \textit｛G.Hanrot｝等人，实验数学。19，第3号，345--361（2010；Zbl 1276.11152） 全文： 内政部 欧几里得
蒂鲍特·费迪；彼得·斯图基（Peter J.Stuckey）。 密集线性整数约束的传播系统。 （英语） Zbl 1186.68437号 约束条件 14，第2期，235-253（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Feydy}和\textit{P.J.Stuckey}，约束14，No.2，235--253（2009；Zbl 1186.68437） 全文： 内政部
弗洛里安·卢卡；伊戈尔·什帕林斯基（Igor E.Shparlinski）。 某些线性循环中的伪素数。 （英语） Zbl 1130.11053号 阿尔巴尼亚数学杂志。 1，第3期，125-131（2007）. 审核人：彼得·莫雷（波恩） MSC公司：11N25号 11号37 11A07号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Luca｝和\textit｛I.E.Shparlinski｝，阿尔巴尼亚数学杂志。1，第3号，125--131（2007；Zbl 1130.11053） 全文： 链接
Daniel J.Berleant，柏林人。；奥尔加·科舍列娃；弗拉基克·克里诺维奇；Nguyen，Hung T。 单模态、独立性导致区间概率问题的NP-harrdence。 （英语） Zbl 1120.65006号 Reliab公司。计算。 13，第3号，261-282（2007）. 审核人：R.E.Maiboroda（基辅） MSC公司：65立方厘米 65G30型 65千5 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Berleant}等人，Reliab。计算。13，第3号，261--282（2007；Zbl 1120.65006） 全文： 内政部 链接
让-马里·德·科宁克；阿梅尔·梅西耶 经典数论中的1001个问题。（1001个经典的nombres问题。） （法语） Zbl 1109.11001号 巴黎：椭圆（ISBN 2-7298-1940-1）。第389页。（2004年）。MSC公司：11-01 00A07年 11A05号 11A07号 2015年11月 11答25 11A41号机组 11页51 第11页55 2004年11月 11号05 11N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.De Koninck}和\textit{A.Mercier}，1001年nombres经典问题。巴黎：椭圆（2004；Zbl 1109.11001）
沃里克·哈维；彼得·斯图基（Peter J.Stuckey）。；艾伦·博宁 编译约束层次结构的傅里叶消元法。 （英语） Zbl 1018.68020号 约束条件 7，第2期，199-219（2002）.MSC公司：68N20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Harvey}等人，《约束7》，第2期，199--219（2002；Zbl 1018.68020） 全文： 内政部
皮埃尔·沃尔珀；伯纳德·博伊格洛特 关于从线性算术约束构造自动机。 （英语） 兹比尔0964.68082 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1785, 1-19 (2000).MSC公司：65年第68季度 05年3月 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper}和\textit{B.Boigelot}，莱克特。票据计算。科学。1785年1月19日（2000年；Zbl 0964.68082）
丹尼尔·斯蒂芬 关于两个素数平方和的最大素数除数。 （英语） Zbl 0943.11044号 J.隆德。数学。社会学，II。序列号。 60，第3期，646-658（1999）. 审核人：P.Shiu（拉夫堡） MSC公司：11号37 11号36 11N25号 11号32 PDF格式BibTeX公司 XML格式引用 \发短信给{S.Daniel}，J.Lond。数学。社会学，II。序列号。60，第3号，646--658（1999；Zbl 0943.11044） 全文： 内政部
D.M.乌沙科夫。 线性约束系统的局部一致性。 （俄语。英文摘要） Zbl 0934.65042号 维奇尔。特克诺尔。 4，第4期，76-79（1999）. 审核人：V.V.Gorshkov（新西伯利亚） MSC公司：65层10 65G30型 PDF格式BibTeX公司 XML格式引用 \文本{D.M.Ushakov}，Vychils。特克诺尔。4，第4号，76--79（1999；Zbl 0934.65042）
Balasubramanian，R。；M.朗之万。；T·N·肖里。；Waldschmidt，M。 关于素数因子相同的算术级数中两个整数序列的最大长度。 （英语） 兹比尔0859.11012 莫纳什。数学。 121，第4期，295-307（1996）. 审核人：R.J.Stroeker（鹿特丹） MSC公司：11对25 11N25号 11J86型 PDF格式BibTeX公司 XML格式引用 \textit{R.Balasubramanian}等人，莫纳什。数学。121，第4号，295--307（1996；Zbl 0859.11012） 全文： 内政部 欧洲DML
Tien Huynh；金·万豪酒店 线性约束系统中的增量约束删除。 （英语） Zbl 0873.65059号 信息处理。莱特。 55，第2期，111-115（1995）.MSC公司：65千5 65层99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Huynh}和\textit{K.Marriott}，Inf.过程。莱特。55，No.2，111--115（1995；Zbl 0873.65059） 全文： 内政部
M.I.杜鲁古。；考彻，E。 单边约束椭圆问题弱解的数值封闭方法。 （英语） Zbl 0814.65104号 数学杂志。分析。申请。 186，第2期，306-337（1994）. 审核人：M.Plum（克劳斯塔尔·泽勒菲尔德） MSC公司：65N30型 65G30型 65奈拉 35J85型 35J25型 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Durucu}和\textit{E.Kaucher}，J.数学。分析。申请。186，第2号，306--337（1994；Zbl 0814.65104） 全文： 内政部
崔国光；刘明奇；曾凯文 线性方程组小素数解的条件界。 （英语） Zbl 0753.11033号 马努斯克。数学。 74，第3期，321-340（1992）. 审核人：P.Shiu（拉夫堡） MSC公司：第12页 11升05 11N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.-K.Choi}等人，马努斯克。数学。74，第3号，321--340（1992；Zbl 0753.11033） 全文： 内政部 欧洲DML
Tien Huynh；利奥·约斯科维茨；凯瑟琳·拉塞兹；Jean-Louis拉塞兹 线性约束推理的实用工具。 （英语） 兹比尔0764.68152 安.社会.数学。政策。，序列号。四、 芬丹。信息。 15，第3-4号，357-379（1991）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Huynh}等人，《Ann.Soc.Math》。政策。，序列号。四、 芬丹。Inf.15，No.3--4，357--379（1991；Zbl 0764.68152）
戴尔，M.E。 二变量和三变量线性程序的线性时间算法。 （英语） Zbl 0532.90063号 SIAM J.计算。 13, 31-45 (1984).MSC公司：90C05（二氧化碳） 65年第68季度 65千5 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Dyer}，SIAM J.计算机。13、31——45（1984；Zbl 0532.90063） 全文： 内政部
凯里·G·F·。；A.卡巴拉。；尤特库，M。 关于元素间约束的惩罚方法。 （英语） Zbl 0483.73071号 计算。方法应用。机械。工程师。 30, 151-171 (1982).MSC公司：74S30型 65N30型 49立方米 49平方米29 74S05号 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Carey}等人，《计算》。方法应用。机械。工程30，151--171（1982；Zbl 0483.73071） 全文： 内政部