亚历山大·利亚列茨基 EA-风格的数学文本处理:一个连续的方面。 (英语) Zbl 1451.03016号 J.福尔马利兹。原因。 9,第1期,235-264(2016).MSC公司:03B35型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lyaletski},J.Formaliz。原因。9,第1号,235--264(2016;Zbl 1451.03016) 全文: 内政部
迈克尔·科尔哈斯;弗洛里安·拉贝 QED重新加载:朝向一个多元的正式数学知识库。 (英语) Zbl 1451.68343号 J.福尔马利兹。原因。 201-234(2016)第1期9号.MSC公司:68伏30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe},J.Formaliz。原因。9,第1号,201--234(2016;Zbl 1451.68343) 全文: 内政部
马里奥·卡内罗。 将HOL Light证明转换为Metamath。 (英语) Zbl 1451.68337号 J.福尔马利兹。原因。 187-200(2016)第1号第9页.MSC公司:68V20型 03B35型 03E30年 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Carneiro},J.Formaliz。原因。9,第1号,187-200(2016年;兹bl 1451.68337) 全文: 内政部 arXiv公司
布赫伯格,布鲁诺;都铎Jebelean;特穆尔库西亚;亚历山大·马列茨基;沃尔夫冈·温斯泰格 定理2.0:计算机辅助自然式数学。 (英语) Zbl 1451.68319号 J.福尔马利兹。原因。 9,第1期,149-185(2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger}等人,J.Formaliz。原因。9,第1号,149--185(2016;Zbl 1451.68319) 全文: 内政部
Jasmin C.布兰切特。;塞萨里·卡利西克;劳伦斯·C·鲍尔森。;约瑟夫·厄本 朝着QED迈进。 (英语) Zbl 1451.68318号 J.福尔马利兹。原因。 9,第1期,101-148(2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,J.Formaliz。原因。9,第1号,101--148(2016;Zbl 1451.68318) 全文: 内政部
迈克尔·比森 混合计算和证明。 (英语) Zbl 1451.03015号 J.福尔马利兹。原因。 9,第1期,71-99(2016).MSC公司:03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Beeson},J.Formiz。原因。9、第1号、第71-99号(2016;Zbl 1451.03015) 全文: 内政部
阿诺·阿夫隆;科恩、利隆 在定义框架中形式化科学应用数学。 (英语) 兹比尔1451.68333 J.福尔马利兹。原因。 9,第1期,53-70(2016).MSC公司:68V20型 03B35型 03E30年 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{L.Cohen},J.Formiz。原因。9,第1号,53--70(2016;Zbl 1451.68333) 全文: 内政部
罗宾·丹尼斯·阿尔森 现在,(f)是连续的(练习!)。 (英语) Zbl 1451.68313号 J.福尔马利兹。原因。 9,第1号,33-52(2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Arthan},J.Formaliz。原因。9,第1号,33-52(2016;Zbl 1451.68313) 全文: 内政部
马克·亚当斯 证明审计是形式化的数学。 (英语) Zbl 1451.68328号 J.福尔马利兹。原因。 9,第1期,3-32(2016).MSC公司:68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Adams},J.Formaliz。原因。9、第1号、第3--32号(2016;Zbl 1451.68328) 全文: 内政部
约翰·哈里森(编辑);约瑟夫·厄本(编辑);弗里克·威迪杰克(编辑) 前言:QED宣言二十年。 (英语) Zbl 1448.68032号 J.福尔马利兹。原因。 9,第1期,第1-2期(2016年).MSC公司:68-06 68伏15 68V20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Harrison}(编辑)等,J.Formaliz。原因。9,第1号,1--2号(2016;Zbl 1448.68032) 全文: 内政部