阿图尔·科尔尼·奥维茨 初等数论问题。八、。 (英语) Zbl 07771372号 福尔马利兹。数学。 31,第1号,87-100(2023).MSC公司:68V20型 11A41号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。31,编号1,87--100(2023;Zbl 07771372) 全文: 内政部 OA许可证
阿图尔·科尔尼·奥维茨 初等数论问题。七、。 (英语) Zbl 07771366号 福尔马利兹。数学。 31,第1期,23-29(2023年).MSC公司:68V20型 11A41号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。31,编号1,23--29(2023;Zbl 07771366) 全文: 内政部 OA许可证
罗兰·科希托 实射影平面上的Pappus六边形定理。 (英语) Zbl 1483.68487号 福尔马利兹。数学。 29,第2号,69-76(2021).MSC公司:68V20型 03B35型 第51页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。29,编号2,69--76(2021;Zbl 1483.68487) 全文: 内政部
阿图尔·科尔尼·奥维茨 斐波那契算法的部分正确性。 (英语) Zbl 07488869号 福尔马利兹。数学。 28,第2期,187-196(2020).MSC公司:68V20型 60年第68季度 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。28,第2号,187--196(2020;Zbl 07488869) 全文: 内政部
亚当·格拉博夫斯基 论模糊蕴涵产生的模糊否定。 (英语) Zbl 1462.68227号 福尔马利兹。数学。 28,第1期,121-128(2020).MSC公司:68V20型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。28,编号121-128(2020;兹bl 1462.68227) 全文: 内政部
冈崎弘之;长尾,Koh-ichi;Yuichi富田 模幂运算和欧几里德算法所采取的最大步骤数。 (英语) Zbl 1422.11241号 福尔马利兹。数学。 27,第1号,87-91(2019).MSC公司:2016年11月 11年11月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki}等人,Formaliz。数学。27,第1号,87-91(2019;Zbl 1422.11241) 全文: 内政部
罗兰·科希托;亚当·格拉博夫斯基 塔斯基几何公理。四: 直角。 (英语) Zbl 1422.51002号 福尔马利兹。数学。 27,第1号,75-85(2019).MSC公司:51A05号 2004年5月5日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto}和\textit{A.Grabowski},Formaliz。数学。27,第1号,75-85(2019年;Zbl 1422.51002) 全文: 内政部
诺博鲁恩多 福比尼定理。 (英语) Zbl 1422.28002号 福尔马利兹。数学。 27,第1号,67-74(2019).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。27,第1号,67--74(2019年;Zbl 1422.28002) 全文: 内政部
Kazuhisa Nakasho;Yasunai Shidama 赋范线性空间上多重线性算子的连续性。 (英语) Zbl 1422.47064号 福尔马利兹。数学。 27,第1号,61-65(2019).MSC公司:47小时60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}和\textit{Y.Shidama},Formaliz。数学。27,编号1,61-65(2019;Zbl 1422.47064) 全文: 内政部
罗兰·科希托 实向量空间中的交叉比率。 (英语) Zbl 1422.51007号 福尔马利兹。数学。 27,第1号,47-60(2019).MSC公司:第51页第15页 51A05号 15A03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。27,第1号,47-60(2019年;Zbl 1422.51007) 全文: 内政部
中关村,Kazuhisa 多线性算子及其基本性质。 (英语) Zbl 1422.47063号 福尔马利兹。数学。 27,第1号,35-45(2019).MSC公司:47小时60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho},福尔马利兹。数学。27,编号1,35-45(2019;兹bl 1422.47063) 全文: 内政部
索拉·大冢;Pauline N.川本。;广岛山崎 线性偏微分方程的一个简单示例及其使用分离变量方法的求解。 (英语) Zbl 1422.35003号 福尔马利兹。数学。 27,第1号,25-34(2019).MSC公司:35A08型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Otsuki}等人,Formaliz。数学。27,编号1,25-34(2019;Zbl 1422.35003) 全文: 内政部
中关村,Kazuhisa 赋范线性空间上的双线性算子。 (英语) Zbl 1422.47005号 福尔马利兹。数学。 27,第1期,15-23(2019年).MSC公司:47A07型 47A30型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho},福尔马利兹。数学。27,第1号,第15--23号(2019年;Zbl 1422.47005) 全文: 内政部
拉法·齐奥布罗 有限序列的级联。 (英语) 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) 全文: 内政部
瓦塔西,靖国 Zarisk拓扑。 (英语) Zbl 1422.13005号 福尔马利兹。数学。 26,第4号,277-283(2018).MSC公司:第13页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watase},福尔马利兹。数学。26,第4号,277--283(2018;Zbl 1422.13005) 全文: 内政部
亚当·格拉博夫斯基 模糊蕴涵的基本性质。 (英语) Zbl 1422.03045号 福尔马利兹。数学。 26,编号4271-276(2018).MSC公司:03B52号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。26,第4号,271--276(2018;Zbl 1422.03045) 全文: 内政部
罗兰·科希托 毕达哥拉斯调音:五声和七声音阶。 (英语) Zbl 1422.00010号 福尔马利兹。数学。 26,第4期,239-269(2018).MSC公司:00A65号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。26,第4号,239--269(2018;Zbl 1422.00010) 全文: 内政部
中关村,Kazuhisa;Yuichi富田;Yasunai Shidama 赋范线性空间上有界线性算子的连续性。 (英语) 兹比尔1422.47006 福尔马利兹。数学。 26,第3期,231-237(2018).MSC公司:47A07型 47A30型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人,Formaliz。数学。26,第3号,231--237(2018;Zbl 1422.47006) 全文: 内政部
冈崎弘之 自然数的二进制表示。 (英语) Zbl 1422.11013号 福尔马利兹。数学。 26,第3期,223-229(2018).MSC公司:11A67号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki},福尔马利兹。数学。26,第3号,223--229(2018;Zbl 1422.11013) 全文: 内政部
塞巴斯蒂安·科赫 关于产品空间的一些评论。 (英语) Zbl 1422.54008号 福尔马利兹。数学。 26,第3期,209-222(2018).MSC公司:54B10号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Koch},福尔马利兹。数学。26,第3号,209--222(2018;Zbl 1422.54008) 全文: 内政部
拉法·齐奥布罗 短有限序列上的算术运算。 (英语) 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) 全文: 内政部
亚当·格拉博夫斯基;Damian Sawicki McKenzie和Sholander关于格的两种可选公理化。 (英语) Zbl 1422.06002号 福尔马利兹。数学。 26,第2期,193-198(2018).MSC公司:05年6月 05年6月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}和\textit{D.Sawicki},Formaliz。数学。26,编号2193-198(2018;兹bl 1422.06002) 全文: 内政部
亚当·格拉博夫斯基;Micha Sielwiesiuk 形式化两个广义近似算子。 (英语) Zbl 1422.68222号 福尔马利兹。数学。 26,第2期,183-191(2018).MSC公司:68层37 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}和\textit{M.Sielwiesiuk},Formaliz。数学。26,第2号,183--191(2018;Zbl 1422.68222) 全文: 内政部
马钦·阿齐维茨;Pąk,卡罗尔 基本丢番图关系。 (英语) 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) 全文: 内政部
伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 GCD算法的部分正确性。 (英语) Zbl 1422.11240号 福尔马利兹。数学。 26,第2期,165-173(2018).MSC公司:2016年11月 11年11月 60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。26,第2号,165--173(2018;Zbl 1422.11240) 全文: 内政部
伊万诺夫,伊夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 Floyd-Hoare逻辑对部分谓词的扩展的推理系统。 (英语) Zbl 1422.03059号 福尔马利兹。数学。 26,第2期,159-164(2018).MSC公司:03B70号 03B35型 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。26,编号2159-164(2018;兹bl 1422.03059) 全文: 内政部
伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 关于单名复值主格数据上的算法代数。 (英语) Zbl 1422.68034号 福尔马利兹。数学。 26,第2期,149-158(2018).MSC公司:68号30 03B35型 03B70号 68个P01 第68季度55 60年第68季度 68吨15 68周01 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。26,第2号,149--158(2018;Zbl 1422.68034) 全文: 内政部
伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 关于未解释数据上的算法代数和规范。 (英语) Zbl 1422.68033号 福尔马利兹。数学。 26,第2期,141-147(2018).MSC公司:68号30 03B35型 03B70号 68个P01 第68季度55 60年第68季度 68吨15 68周01 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。26,第2号,141--147(2018;Zbl 1422.68033) 全文: 内政部
塞巴斯蒂安·科赫 关于超图。二、。 (英语) Zbl 1422.05090号 福尔马利兹。数学。 26,编号2125-140(2018).MSC公司:05C76号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Koch},福尔马利兹。数学。26,第2号,125--140(2018;Zbl 1422.05090) 全文: 内政部
塞巴斯蒂安·科赫 关于超图。一、。 (英语) 兹比尔1422.05089 福尔马利兹。数学。 26,第2期,101-124(2018).MSC公司:05C76号 03B35型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Koch},福尔马利兹。数学。26,第2号,101-124(2018;Zbl 1422.05089) 全文: 内政部
Pąk,卡罗尔 丢番图集。准备工作。 (英语) Zbl 1401.11074号 福尔马利兹。数学。 26,No.1,81-90(2018).MSC公司:2009年第11天 11点45分 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{K.PąK},Formaliz。数学。26,第1号,81-90(2018;Zbl 1401.11074) 全文: 内政部
亚当·格拉博夫斯基 素数往复序列。准备工作。 (英语) Zbl 1401.11010号 福尔马利兹。数学。 26,第1号,69-79(2018).MSC公司:11页51 11立方英尺83 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。26,编号1,69-79(2018;兹bl 1401.11010) 全文: 内政部
诺博鲁恩多 非负或非正函数的Fubini定理。 (英语) Zbl 1401.28007号 福尔马利兹。数学。 26,第1号,49-67(2018).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。26,第1号,49-67(2018;Zbl 1401.28007) 全文: 内政部
罗兰·科希托 Klein-Beltrami模型。二、。 (英语) Zbl 1401.51002号 福尔马利兹。数学。 26,第1号,33-48(2018).MSC公司:51A05号 51M10个 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。26、1号、33-48(2018;Zbl 1401.51002) 全文: 内政部
罗兰·科希托 Klein-Beltrami模型。一、。 (英语) Zbl 1401.51001号 福尔马利兹。数学。 26,第1号,21-32(2018).MSC公司:51A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。26、第1号、第21-32号(2018;Zbl 1401.51001) 全文: 内政部
阿图尔·科尔尼·奥维茨;伊万诺夫,列夫根;尼基琴科、米科拉 部分谓词的Kleene代数。 (英语) Zbl 1401.03106号 福尔马利兹。数学。 2018年11月20日第1期第26页.MSC公司:03G25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}等人,Formaliz。数学。26,第1号,第11--20号(2018;Zbl 1401.03106) 全文: 内政部
彼得·耶格尔 随机金融导论:随机变量和套利理论。 (英语) 兹比尔1401.91584 福尔马利兹。数学。 26,第1期,1-9期(2018年).MSC公司:91G80型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jaeger},福尔马利兹。数学。26,第1、1-9号(2018;Zbl 1401.91584) 全文: 内政部
Pak,卡罗尔 马蒂亚塞维奇定理。准备工作。 (英语) Zbl 1401.11073号 福尔马利兹。数学。 25,第4号,315-322(2017).MSC公司:2009年第11天 11点45分 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Pak},福尔马利兹。数学。25,第4号,315--322(2017;Zbl 1401.11073) 全文: 内政部
罗兰·科希托;亚当·格拉博夫斯基 塔斯基几何公理。三、。 (英语) Zbl 1401.51003号 福尔马利兹。数学。 25,第4期,289-313(2017).MSC公司:51A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto}和\textit{A.Grabowski},Formaliz。数学。25,第4号,289--313(2017;Zbl 1401.51003) 全文: 内政部
瓦塔西,靖国 丢番图近似简介。二、。 (英语) Zbl 1401.11115号 福尔马利兹。数学。 25,第4期,283-288(2017).MSC公司:11J68型 11J25型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watase},福尔马利兹。数学。25,第4号,283--288(2017;Zbl 1401.11115) 全文: 内政部
中关村,Kazuhisa;Yuichi富田;Yasunai Shidama 隐函数定理。一、。 (英语) Zbl 1401.26024号 福尔马利兹。数学。 25,第4号,269-281(2017).MSC公司:26B10号 47甲10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人,Formaliz。数学。25,第4号,269--281(2017;Zbl 1401.26024) 全文: 内政部
彼得·耶格尔 随机金融理论中的停止时间简介。二、。 (英语) Zbl 1401.60071号 福尔马利兹。数学。 25,第4号,261-268(2017).MSC公司:60克40 91G80型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jaeger},福尔马利兹。数学。25,第4号,261--268(2017;Zbl 1401.60071) 全文: 内政部
克里斯托夫·施瓦茨韦勒 正式的真实字段。 (英语) Zbl 1401.12003号 福尔马利兹。数学。 25,第4号,249-259(2017).MSC公司:12月15日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第4号,249--259(2017;Zbl 1401.12003) 全文: 内政部
亚当·格拉博夫斯基 模糊含义的正式介绍。 (英语) Zbl 1379.03006号 福尔马利兹。数学。 25,第3期,241-248(2017).MSC公司:03B52号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。25,第3号,241--248(2017;Zbl 1379.03006) 全文: 内政部
诺博鲁恩多 非正函数的积分。 (英语) Zbl 1381.26010号 福尔马利兹。数学。 25,第3227-240号(2017).MSC公司:26A39飞机 28A25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。25,第3号,227--240(2017;Zbl 1381.26010) 全文: 内政部
罗兰·科希托 仪表整体。 (英语) Zbl 1381.26009号 福尔马利兹。数学。 25,第3期,217-225(2017).MSC公司:26A39飞机 26A42型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。25,第3号,217--225(2017;Zbl 1381.26009) 全文: 内政部
伊万诺夫,列夫根;尼基琴科、米科拉;安德烈·克里沃拉普;阿图尔·科尔尼·奥维茨 简单命名复数值主格数据——定义和基本运算。 (英语) Zbl 1401.68200号 福尔马利兹。数学。 25,第3号,205-216(2017).MSC公司:60年第68季度 03B35型 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。25,第3号,205--216(2017;Zbl 1401.68200) 全文: 内政部
马钦·阿齐维茨;Pąk,卡罗尔 佩尔方程。 (英语) Zbl 1381.11022号 福尔马利兹。数学。 25,第3期,197-204(2017).MSC公司:2009年第11天 11点45分 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Acewicz}和\textit{K.PąK},Formaliz。数学。25,第3号,197--204(2017;Zbl 1381.11022) 全文: 内政部
克里斯托夫·施瓦茨韦勒 多项式的根和代数闭域。 (英语) Zbl 1381.13004号 福尔马利兹。数学。 25,第3期,185-195(2017).MSC公司:13号B25 第12天第10天 13A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第3号,185--195(2017;Zbl 1381.13004) 全文: 内政部
成田、庆子;中关村,Kazuhisa;Yasunai Shidama F.Riesz定理。 (英语) Zbl 1381.46025号 福尔马利兹。数学。 25,第3期,179-184(2017).MSC公司:46埃15 46号B10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.成田}等人,Formaliz。数学。25,第3号,179--184(2017;Zbl 1381.46025) 全文: 内政部
Yuichi富田;Yasunai Shidama 环上向量空间的同构定理。 (英语) Zbl 1381.15002号 福尔马利兹。数学。 25,第3期,171-178(2017).MSC公司:15A03号 15A04号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}和\textit{Y.Shidama},福尔米兹。数学。25,第3号,171--178(2017;Zbl 1381.15002) 全文: 内政部
Yuichi富田;Yasunai Shidama 模格的对偶格。 (英语) Zbl 1377.06009号 福尔马利兹。数学。 25,第2号,157-169(2017).MSC公司:2010年1月6日 06年50月 13A99号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}和\textit{Y.Shidama},Formaliz。数学。25,第2号,157--169(2017;Zbl 1377.06009) 全文: 内政部
塞巴斯蒂安·科赫 关于商序和排序序列。 (英语) Zbl 1377.06001号 福尔马利兹。数学。 25,第2期,121-139(2017).MSC公司:06年05月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Koch},福尔马利兹。数学。25,第2号,121--139(2017;Zbl 1377.06001) 全文: 内政部
罗兰·科希托 实射影平面上的帕斯卡定理。 (英语) Zbl 1377.51003号 福尔马利兹。数学。 25,第2期,107-119(2017).MSC公司:第51页,共15页 第51页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。25,第2号,107--119(2017;Zbl 1377.51003) 全文: 内政部
彼得·耶格尔 随机金融理论中的停止时间简介。 (英语) Zbl 1377.60055号 福尔马利兹。数学。 25,第2期,101-105(2017).MSC公司:60克40 91G80型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jaeger},福尔马利兹。数学。25,编号2101-105(2017;兹bl 1377.60055) 全文: 内政部
亚当·格拉博夫斯基 三角范数和锥的基本形式性质。 (英语) Zbl 1377.03040号 福尔马利兹。数学。 25,第2期,93-100(2017).MSC公司:03电子72 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔米兹。数学。25,第2号,93--100(2017;Zbl 1377.03040) 全文: 内政部
阿图尔·科尔尼·奥维茨;Pąk,卡罗尔 关于多项式根之和的维埃塔公式。 (英语) Zbl 1377.12001年 福尔马利兹。数学。 25,第2号,87-92(2017).MSC公司:12E05型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}和\textit{K.PąK},Formaliz。数学。25,第2号,87--92(2017;Zbl 1377.12001) 全文: 内政部
Yuichi富田;Yasunai Shidama 嵌入格与Gram矩阵的性质。 (英语) Zbl 1365.13015号 福尔马利兹。数学。 25,第1期,73-86(2017).MSC公司:13立方厘米 15A09号 15A63型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}和\textit{Y.Shidama},福尔米兹。数学。25,第1号,73--86(2017;Zbl 1365.13015) 全文: 内政部
克里斯托夫·施瓦茨韦勒 有序的环和字段。 (英语) Zbl 1365.12006年 福尔马利兹。数学。 25,编号1,63-72(2017).MSC公司:12月15日 13层25 2015年2月6日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第1号,63--72(2017;Zbl 1365.12006) 全文: 内政部
罗兰·科希托 实射影平面上的单应性群。 (英语) Zbl 1365.51014号 福尔马利兹。数学。 25,编号1,55-62(2017).MSC公司:第51页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。25,第1号,55--62(2017;Zbl 1365.51014) 全文: 内政部
阿图尔·科尔尼·奥维茨;亚当·纳莫维奇;亚当·格拉博夫斯基 所有Liouville数都是超越的。 (英语) 兹伯利1365.11091 福尔马利兹。数学。 25,第1期,49-54(2017).MSC公司:11J81型 11公里60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}等人,Formaliz。数学。25,第1号,49-54(2017;Zbl 1365.11091) 全文: 内政部
亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨 刘维尔数简介。 (英语) Zbl 1365.11090号 福尔马利兹。数学。 25,第1号,39-48(2017).MSC公司:11J81型 11公里60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski}和\textit{A.Korniłowicz},Formaliz。数学。25,第1号,39-48(2017;Zbl 1365.11090) 全文: 内政部
阿图尔·科尔尼·奥维茨 实多项式的可微性。 (英语) 兹比尔1365.26003 福尔马利兹。数学。 25,第1号,31-37(2017).MSC公司:26A24年 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},福尔马利兹。数学。25、1号、31-37(2017;Zbl 1365.26003) 全文: 内政部
诺博鲁恩多 Fubini关于测度的定理。 (英语) Zbl 1365.28001号 福尔马利兹。数学。 25,第1号,1-29(2017).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。25,第1号,1-29(2017;Zbl 1365.28001) 全文: 内政部
阿图尔·科尔尼·奥维茨;亚当·纳莫维奇 奈文定理。 (英语) Zbl 1357.12004年 福尔马利兹。数学。 24,第4号,301-308(2016).MSC公司:第12天第10天 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz}和\textit{A.Naumowiczneneneep,Formaliz。数学。24,第4号,301--308(2016;Zbl 1357.12004) 全文: 内政部
瓦塔西,靖国 代数数。 (英语) Zbl 1357.11107号 福尔马利兹。数学。 24,第4期,291-299(2016).MSC公司:2014年11月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watase},福尔马利兹。数学。24,第4号,291--299(2016;Zbl 1357.11107) 全文: 内政部
马吕斯·吉埃罗 命题逻辑的公理化。 (英语) Zbl 1357.03036号 福尔马利兹。数学。 24,第4期,281-290(2016).MSC公司:03B05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Giero},Formaliz。数学。24,第4281-290号(2016年;兹bl 1357.03036) 全文: 内政部
Pąk,卡罗尔 用于\(\pi\)的莱布尼茨级数。 (英语) Zbl 1357.40004号 福尔马利兹。数学。 24,第4期,275-280(2016).MSC公司:40A25型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.PńK},形式化。数学。24,第4号,275--280(2016;Zbl 1357.40004) 全文: 内政部
拉法·齐奥布罗 关于次项。 (英语) Zbl 1357.11021号 福尔马利兹。数学。 24,第4期,261-273(2016).MSC公司:11个B65 11二氧化碳 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro},福尔马利兹。数学。24,第4号,261--273(2016;Zbl 1357.11021) 全文: 内政部
中关村,Kazuhisa;成田、庆子;Yasunai Shidama Riemann-Stieltjes积分的基本存在定理。 (英语) Zbl 1357.26014号 福尔马利兹。数学。 24,第4期,253-259(2016).MSC公司:26A42型 26A45型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人,Formaliz。数学。24,第4号,253--259(2016;Zbl 1357.26014) 全文: 内政部
罗兰·科希托 (\mathbb{R}\mathbb{P}^2\)中的单应性。 (英语) Zbl 1357.51021号 福尔马利兹。数学。 24,第4期,239-251(2016).MSC公司:第51页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第4号,239--251(2016;Zbl 1357.51021) 全文: 内政部
克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨;阿格涅斯卡·罗温斯卡·施瓦兹韦勒 多项式环的一些代数性质。 (英语) 兹比尔1357.12006 福尔马利兹。数学。 24,第3期,227-237(2016).MSC公司:12E05型 11T55型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller}等人,Formaliz。数学。24,第3号,227--237(2016;Zbl 1357.12006) 全文: 内政部
罗兰·科希托 统一空间。 (英语) Zbl 1357.54025号 福尔马利兹。数学。 24,第3期,215-226(2016).MSC公司:54E15型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第3号,215--226(2016;Zbl 1357.54025) 全文: 内政部
罗兰·科希托 准均匀空间。 (英语) 兹比尔1357.54024 福尔马利兹。数学。 24,第3期,205-214(2016).MSC公司:54E15型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第3号,205-214(2016;Zbl 1357.54024) 全文: 内政部
成田、庆子;Kazuhisa Nakasho;Yasunai Shidama Riemann-Stieltjes积分。 (英语) Zbl 1357.26015号 福尔马利兹。数学。 24,第3期,199-204(2016).MSC公司:26A42型 26A45型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.成田}等人,Formaliz。数学。24,第3号,199--204(2016;Zbl 1357.26015) 全文: 内政部
拉法·齐奥布罗 两个相似幂和和差的素因式分解。 (英语) Zbl 1357.11011号 福尔马利兹。数学。 24,第3期,187-198(2016).MSC公司:11页51 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ziobro},福尔马利兹。数学。24,第3号,187--198(2016;Zbl 1357.11011) 全文: 内政部
罗兰·科希托 正则空间中的双序列和迭代极限。 (英语) Zbl 1357.54004号 福尔马利兹。数学。 24,第3期,173-186(2016).MSC公司:54A20型 40A05型 40B05型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第3173-186号(2016年;兹bl 1357.54004) 全文: 内政部
中关村,Kazuhisa;成田、庆子;Yasunai Shidama 度量空间中的紧致性。 (英语) Zbl 1357.54022号 福尔马利兹。数学。 24,第3期,167-172(2016).MSC公司:54天30分 54E35个 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人,Formaliz。数学。24,第3号,167--172(2016;Zbl 1357.54022) 全文: 内政部
罗兰·科希托;亚当·格拉博夫斯基 塔斯基几何公理。二、。 (英语) Zbl 1352.51001号 福尔马利兹。数学。 24,第2期,157-166(2016).MSC公司:51A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto}和\textit{A.Grabowski},Formaliz。数学。24,第2号,157--166(2016;Zbl 1352.51001) 全文: 内政部
亚当·格拉博夫斯基 基于二元关系的粗糙集——一种自动化方法。 (英语) Zbl 1352.03057号 福尔马利兹。数学。 24,第2期,143-155(2016).MSC公司:03电子72 68层37 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。24,第2号,143--155(2016;Zbl 1352.03057) 全文: 内政部
罗兰·科希托 切比雪夫距离。 (英语) Zbl 1352.54016号 福尔马利兹。数学。 24,第2期,121-141(2016).MSC公司:54E35个 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第2号,121--141(2016;Zbl 1352.54016) 全文: 内政部
罗兰·科希托 表兄弟引理。 (英语) Zbl 1352.54020号 福尔马利兹。数学。 24,第2期,107-119(2016).MSC公司:54E50型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第2号,107--119(2016;Zbl 1352.54020) 全文: 内政部
格拉泽戈兹·班塞雷克 关于多集排序。 (英语) Zbl 1352.06004号 福尔马利兹。数学。 24,第2期,95-106(2016).MSC公司:06A99号 99年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek},福尔马利兹。数学。24,第2号,95--106(2016;Zbl 1352.06004) 全文: 内政部
中关村,Kazuhisa;广岛山崎;冈崎弘之;Yasunai Shidama 群的直接和分解的守恒规则。 (英语) 兹比尔1343.20033 福尔马利兹。数学。 24,第1期,81-94(2016).MSC公司:20E22型 25千克 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakasho}等人,Formaliz。数学。24,第1号,81--94(2016;Zbl 1343.20033) 全文: 内政部
诺博鲁恩多 产品预测量。 (英语) Zbl 1343.28001号 福尔马利兹。数学。 24,第1期,69-79(2016).MSC公司:28A35型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。24,第1号,69--79(2016;Zbl 1343.28001) 全文: 内政部
Yuichi富田;Yasunai Shidama \(\mathbb{Z}\)-模的格。 (英语) Zbl 1343.13017号 福尔马利兹。数学。 24,第1号,49-68(2016).MSC公司:13架C99 15A63型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}和\textit{Y.Shidama},Formaliz。数学。24,第1号,49--68(2016;Zbl 1343.13017) 全文: 内政部
Yuichi富田;Yasunai Shidama 可分\(\mathbb{Z}\)-模。 (英语) Zbl 1343.13014号 福尔马利兹。数学。 24,第1期,37-47(2016).MSC公司:13立方厘米 13二氧化碳 15A03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}和\textit{Y.Shidama},Formaliz。数学。24、第1号、第37-47号(2016;Zbl 1343.13014) 全文: 内政部
罗兰·科希托 高度、三角形的垂直度和三角测量。 (英语) Zbl 1343.51009号 福尔马利兹。数学。 24,第1期,27-36(2016).MSC公司:2004年5月5日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24、1号、27-36(2016;Zbl 1343.51009) 全文: 内政部
罗兰·科希托 三角形的圆心、外接圆和质心。 (英语) Zbl 1343.51008号 福尔马利兹。数学。 24,第1期,17-26(2016).MSC公司:2004年5月5日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。24,第1号,第17--26号(2016;Zbl 1343.51008) 全文: 内政部
彼得·耶格尔 使用随机过程和过滤模拟真实世界。 (英语) Zbl 1343.60036号 福尔马利兹。数学。 24,第1期,1-16(2016).MSC公司:60G05型 91G10型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Jaeger},福尔马利兹。数学。24,第1号,1--16(2016;Zbl 1343.60036) 全文: 内政部
亚当·格拉博夫斯基 石格子。 (英语) Zbl 1339.06009号 福尔马利兹。数学。 23,第4期,387-396(2015).MSC公司:2015年1月6日 05年6月 05年6月 05年6月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grabowski},福尔马利兹。数学。23,第4号,387--396(2015;Zbl 1339.06009) 全文: 内政部
马吕斯·吉埃罗 具有初始有效语义的命题线性时序逻辑。 (英语) Zbl 1334.03013号 福尔马利兹。数学。 23,第4期,379-386(2015).MSC公司:03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Giero},Formaliz。数学。23,第4号,379--386(2015;Zbl 1334.03013) 全文: 内政部
冈崎弘之 多项式有界序列和可忽略函数的代数。 (英语) Zbl 1334.94090号 福尔马利兹。数学。 23,第4期,371-378(2015).MSC公司:94A60型 65年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki},福尔马利兹。数学。23,第4号,371--378(2015;Zbl 1334.94090) 全文: 内政部
马可·里卡迪 指数对象。 (英语) Zbl 1334.18001号 福尔马利兹。数学。 23,第4号,351-369(2015).MSC公司:18A05型 18A25型 18A23型 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{M.Riccardi},Formaliz。数学。23,第4号,351--369(2015;Zbl 1334.18001) 全文: 内政部
克里斯托弗·施瓦茨韦勒;阿图尔·科尔尼·奥维茨 戒指的特征。优质田地。 (英语) Zbl 1334.13003号 福尔马利兹。数学。 23,第4期,333-349(2015).MSC公司:13A35型 12E05型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller}和\textit{A.Korniłowicz},Formaliz。数学。23,第4号,333--349(2015;Zbl 1334.13003) 全文: 内政部
伊万诺夫,列夫根;尼基琴科、米科拉;乌里·亚伯拉罕 Peterson算法互斥性的基于事件的证明。 (英语) Zbl 1334.68030号 福尔马利兹。数学。 23,第4期,325-331(2015).MSC公司:64岁以下 68宽15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov}等人,Formaliz。数学。23,第4号,325--331(2015;Zbl 1334.68030) 全文: 内政部
诺博鲁恩多 从集合的半代数构造测度。 (英语) Zbl 1334.28002号 福尔马利兹。数学。 23,第4号,309-323(2015).MSC公司:28甲12 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou},福尔马利兹。数学。23,第4号,309--323(2015;Zbl 1334.28002) 全文: 内政部
Yuichi富田;冈崎弘之;Yasunai Shidama \(\mathbb{Z}\)-模块的扭转部分。 (英语) Zbl 1334.13008号 福尔马利兹。数学。 23,第4号,297-307(2015).MSC公司:13立方厘米12 13立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}等人,Formaliz。数学。23,第4号,297--307(2015;Zbl 1334.13008) 全文: 内政部
罗兰·科希托 邻里拓扑。 (英语) Zbl 1334.54001号 福尔马利兹。数学。 23,第4期,289-296(2015).MSC公司:54A05型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。23,第4号,289--296(2015;Zbl 1334.54001) 全文: 内政部
罗兰·科希托 交换群中的可加族。 (英语) Zbl 1334.54005号 福尔马利兹。数学。 23,第4号,279-288(2015).MSC公司:54A20型 54时11分 22级05 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cohetto},福尔马利兹。数学。23,第4号,279--288(2015;Zbl 1334.54005) 全文: 内政部