亚当·纳莫维奇 初等数论问题。十一、。 (英语) Zbl 1540.68291号 形式化。数学。 第1期第31期第229-275页(2023年).MSC公司:68V20型 11A67号 11A99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz},Formaliz。数学。31,第1号,229--275(2023;Zbl 1540.68291) 全文: DOI程序 OA许可证
阿图尔·科尔尼·奥维茨 初等数论问题。十: 丢番图方程。 (英语) Zbl 1540.68288号 福尔马利兹。数学。 31,第1号,171-180(2023).MSC公司:68V20型 11A41号机组 11日72 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。31,第1号,171--180(2023;Zbl 1540.68288) 全文: DOI程序 OA许可证
阿图尔·科尔尼·奥维茨 初等数论问题。九、。 (英语) Zbl 1540.68287号 福尔马利兹。数学。 第1期第31页,161-169页(2023年).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \文本{A.Korniłowicz},形式主义。数学。31,第1号,161--169(2023;Zbl 1540.68287) 全文: DOI程序 OA许可证
阿图尔·科尔尼·奥维茨 初等数论问题。八、。 (英语) Zbl 07771372号 福尔马利兹。数学。 31,第1号,87-100(2023).MSC公司:68V20型 03B35型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。31,编号1,87--100(2023;Zbl 07771372) 全文: DOI程序 OA许可证
阿图尔·科尔尼·奥维茨 初等数论问题。七、。 (英语) Zbl 07771366号 福尔马利兹。数学。 31,第1期,23-29(2023年).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \文本{A.Korniłowicz},形式主义。数学。31,编号1,23--29(2023;Zbl 07771366) 全文: DOI程序 OA许可证
Pąk,卡罗尔 素数表示具有10个未知数的多项式。 (英语) Zbl 07866942号 福尔马利兹。数学。 30,编号4,255-279(2022).MSC公司:68V20型 11A41号机组 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。30,编号4,255--279(2022;Zbl 07866942) 全文: DOI程序
Pąk,卡罗尔 素数表示有10个未知数的多项式-引言。二、。 (英语) Zbl 07866941号 福尔马利兹。数学。 30,编号4,245-253(2022).MSC公司:68V20型 11A41号机组 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。30,编号4,245--253(2022;Zbl 07866941) 全文: DOI程序
亚当·格拉博夫斯基 初等数论问题。不及物动词。 (英语) Zbl 1539.68365号 福尔马利兹。数学。 30,第3期,235-244(2022).MSC公司:68V20型 11A41号机组 11对25 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。30,编号3,235--244(2022;Zbl 1539.68365) 全文: DOI程序
阿图尔·科尔尼·奥维茨;亚当·纳莫维奇 初等数论问题。五、。 (英语) Zbl 1539.68368号 形式化。数学。 第3期,第30期,第229-234页(2022年).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}和\textit{A.Naumowiczneneneep,Formaliz。数学。30,第3号,229--234(2022;Zbl 1539.68368) 全文: DOI程序
阿图尔·科尔尼·奥维茨 初等数论问题。四、。 (英语) Zbl 1539.68367号 福尔马利兹。数学。 30,第3期,223-228(2022).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。30,编号3,223--228(2022;Zbl 1539.68367) 全文: DOI程序
马里奥·卡内罗 素数倒数和的散度。 (英语) Zbl 1535.68465号 福尔马利兹。数学。 第3209-210号第30页(2022).MSC公司:68V20型 11A41号机组 11号05 PDF格式BibTeX公司 XML格式引用 \textit{M.Carneiro},福尔马利兹。数学。30,第3号,209--210(2022;Zbl 1535.68465) 全文: DOI程序
佩克,卡洛尔 表示具有10个未知数的多项式的素数——引言。 (英语) Zbl 1535.68475号 福尔马利兹。数学。 30,第3期,169-198(2022).MSC公司:68V20型 11A41号机组 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。30,第3号,169--198(2022;Zbl 1535.68475) 全文: DOI程序
阿图尔·科尔尼·奥维茨 初等数论问题。三、。 (英语) Zbl 1539.68366号 福尔马利兹。数学。 30,第2期,135-158(2022).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。30,第2号,第135-158页(2022年;Zbl 1539.68366) 全文: DOI程序
Pąk,卡罗尔 表示多项式的素数。 (英语) Zbl 1494.68304号 福尔马利兹。数学。 29,第4期,221-228(2021).MSC公司:68V20型 11A41号机组 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。29,第4号,221--228(2021;Zbl 1494.68304) 全文: DOI程序
科尔尼沃维奇,阿图尔;达里奥什·苏罗威克 初等数论问题。二、。 (英语) Zbl 1473.68209号 福尔马利兹。数学。 29,第1号,63-68(2021).MSC公司:68V20型 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}和\textit{D.Surowik},Formaliz。数学。29,编号1,63--68(2021;Zbl 1473.68209) 全文: DOI程序
亚德里安·贾兹扎克 计算Lucas序列的算法的部分正确性。 (英语) Zbl 07901006号 福尔马利兹。数学。 28,第4号,279-288(2020).MSC公司:68V20型 03B70号 11层39 11年16日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jaszczak},Formaliz(福马利兹)。数学。28,第4号,279--288(2020;Zbl 07901006) 全文: DOI程序
阿图尔·科尔尼·奥维茨 斐波那契算法的部分正确性。 (英语) Zbl 07488869号 福尔马利兹。数学。 28,第2期,187-196(2020).MSC公司:68V20型 03B35型 11年16日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。28,编号2187-196(2020;兹bl 07488869) 全文: DOI程序
亚当·纳莫维奇 初等数论问题。一、。 (英语) Zbl 1462.68229号 福尔马利兹。数学。 28,第1期,115-120(2020年).MSC公司:68V20型 00A08号 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz},Formaliz。数学。28,第1号,115-120(2020;Zbl 1462.68229) 全文: DOI程序
Pąk,卡罗尔 Mizar系统中MRDP定理的形式化。 (英语) Zbl 1432.68543号 福尔马利兹。数学。 209-221(2019)第2期27号.MSC公司:68V20型 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。27,第2号,209--221(2019;Zbl 1432.68543) 全文: DOI程序
Pąk,卡罗尔 丢番图集。二、。 (英语) Zbl 1432.68542号 福尔马利兹。数学。 27,第2期,197-208(2019).MSC公司:68V20型 11点45分 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。27,第2号,197--208(2019;Zbl 1432.68542) 全文: DOI程序
冈崎弘之;长尾,Koh-ichi;福田,Yuichi 模幂运算和欧几里德算法所采取的最大步骤数。 (英语) Zbl 1422.11241号 福尔马利兹。数学。 27,第1号,87-91(2019).MSC公司:11年16日 11年11月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki}等人,Formaliz。数学。27,第1号,87-91(2019;Zbl 1422.11241) 全文: DOI程序
拉法·齐奥布罗 有限序列的级联。 (英语) Zbl 1422.11058号 福尔马利兹。数学。 27,编号1,1-13(2019).MSC公司:11B75号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro},福尔马利兹。数学。27,编号1,1-13(2019;Zbl 1422.11058) 全文: DOI程序
冈崎弘之 自然数的二进制表示。 (英语) 兹比尔1422.11013 福尔马利兹。数学。 26,第3期,223-229(2018).MSC公司:11A67号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki},福尔马利兹。数学。26,第3号,223--229(2018;Zbl 1422.11013) 全文: DOI程序
拉法·齐奥布罗 短有限序列上的算术运算。 (英语) Zbl 1422.11062号 福尔马利兹。数学。 26,第3期,199-208(2018).MSC公司:11B99号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro},福尔马利兹。数学。26,第3号,199--208(2018;Zbl 1422.11062) 全文: DOI程序
马钦·阿齐维茨;佩克,卡洛尔 基本丢番图关系。 (英语) Zbl 1422.11066号 福尔马利兹。数学。 26,第2期,175-181(2018).MSC公司:11点45分 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Acewicz}和\textit{K.PąK},Formaliz。数学。26,第2号,175--181(2018;Zbl 1422.11066) 全文: DOI程序
伊万诺夫,伊夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 GCD算法的部分正确性。 (英语) Zbl 1422.11240号 福尔马利兹。数学。 26,第2期,165-173(2018).MSC公司:11年16日 11年11月 60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。26,第2号,165--173(2018;Zbl 1422.11240) 全文: DOI程序
拉法·齐奥布罗 奇偶校验作为整数的属性。 (英语) Zbl 1422.11010号 福尔马利兹。数学。 26,第2期,91-100(2018).MSC公司:11页51 11A67号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro},福尔马利兹。数学。26,第2号,91--100(2018;Zbl 1422.11010) 全文: DOI程序