×

找到13个文档(结果1-13)

用拟量词消去法证明Bel'tyukov-Lipshitz定理。二: 主要减少。 (英语。俄文原件) Zbl 1491.03012号

维斯特。圣彼得堡大学数学。 54,编号4,372-380(2021); 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。8(66),第4期,608-619(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性丢番图系统的最小解:界和算法。 (英语) Zbl 1503.11152号

罗纳德·V·书(编辑),重写技术与应用。第四届国际会议,RTA-91,意大利科摩,1991年4月10-12日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。488, 162-173 (1991).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份