亚历山大·波特;塔林·卡里迪;马蒂尔德·马科利 句法结构的拓扑分析。 (英语) Zbl 07498613号 数学。计算。科学。 16,第1号,第2号论文,68页(2022年).MSC公司:55N31号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{A.Port}等人,数学。计算。科学。16,第1号,第2号论文,68页(2022;Zbl 07498613) 全文: 内政部 链接
易卜拉欣·阿达慕;伯纳德·穆兰 计算平行半线Voronoí图的拓扑。 (英语) Zbl 07465806号 数学。计算。科学。 15,第4号,859-876(2021).MSC公司:65D17号 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{I.Adamou}和\textit{B.Mourrain},数学。计算。科学。15,编号4,859--876(2021;Zbl 07465806) 全文: 内政部 哈尔
舒凯文;安德鲁·奥尔特加雷;罗伯特·C·伯威克。;马蒂尔德·马科利 通过对句法结构的代数几何分析,研究印欧语系的系统发育。 (英语) Zbl 07465805号 数学。计算。科学。 15,编号4,803-857(2021).MSC公司:91层20 第92天 05C85号 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{K.Shu}等人,《数学》。计算。科学。15,编号4,803--857(2021;Zbl 07465805) 全文: 内政部 arXiv公司 链接
安德鲁·奥尔特加雷;罗伯特·C·伯威克。;马蒂尔德·马科利 句法结构的热核分析。 (英语) 兹比尔07465795 数学。计算。科学。 15,第4号,643-660(2021).MSC公司:91层20 62H30型 62兰特 35K08型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ortegaray}等人,《数学》。计算。科学。15,编号4,643--660(2021;Zbl 07465795) 全文: 内政部 arXiv公司 链接
佩德罗·夸雷斯马 几何中的自动演绎和知识管理。 (英语) Zbl 1474.68453号 数学。计算。科学。 14,第4期,673-692(2020年).MSC公司:68伏15 51-08 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},数学。计算。科学。14,第4号,673--692(2020;Zbl 1474.68453) 全文: 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) Zbl 1409.68261号 数学。计算。科学。 10,第4期,429-457(2016).MSC公司:第68页第15页 68卢比 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,《数学》。计算。科学。10,第4号,429--457(2016;Zbl 1409.68261) 全文: 内政部
马蒂尔德·马科利;亚历山大港 图文法、插入李代数和量子场论。 (英语) Zbl 1333.68172号 数学。计算。科学。 9,第4期,391-408(2015).MSC公司:65年第68季度 2012年第68季度 81T18型 PDF格式BibTeX公司 XML格式引用 \textit{M.Marcolli}和\textit{A.Port},数学。计算。科学。9,第4号,391--408(2015;Zbl 1333.68172) 全文: 内政部 arXiv公司 链接
拉斯·诺辛斯基 Isabelle的图形库。 (英语) Zbl 1308.05055号 数学。计算。科学。 9,第1期,23-39(2015).MSC公司:05C20号 05C45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Noschinski},数学。计算。科学。9、第1号、第23-39号(2015;Zbl 1308.05055) 全文: 内政部
乔纳森·赫拉斯;叶卡捷琳娜·科门丹茨卡亚 Coq中的循环证明模式:案例研究。 (英语) Zbl 1302.68243号 数学。计算。科学。 8,第1期,99-116(2014).MSC公司:第68页第15页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}和\textit{E.Komendantskaya},数学。计算。科学。8,第1号,99-116(2014;Zbl 1302.68243) 全文: 内政部 arXiv公司
尤金·齐马(Eugene V.Zima)。 加速不定和:简单的和类。 (英语) Zbl 1319.68260号 数学。计算。科学。 7,第4期,455-472(2013).MSC公司:68瓦30 39-04 39A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Zima},数学。计算。科学。7,第4号,455--472(2013;Zbl 1319.68260) 全文: 内政部
迈克尔·科尔哈斯;弗洛里安·拉贝 的语义OpenPath(OpenPath)和数学ML3. (英语) Zbl 1271.68221号 数学。计算。科学。 6,第3期,235-260(2012).MSC公司:68立方英尺 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe},数学。计算。科学。6,第3号,235-260(2012;Zbl 1271.68221) 全文: 内政部
斯蒂芬·西格尔(Stephen F.Siegel)。;蒂莫西·齐科尔。 TASS:精确科学软件的工具包。 (英语) Zbl 1264.68113号 数学。计算。科学。 5,第4期,395-426(2011).MSC公司:60年第68季度 68号30 68甲19 65天99 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Siegel}和\textit{T.K.Zirkel},数学。计算。科学。5,第4号,395--426(2011;Zbl 1264.68113) 全文: 内政部
迈克尔·萨格洛夫 隔离位流多项式根的一般方法。 (英语) Zbl 1229.65077号 数学。计算。科学。 4,第4期,481-506(2010).MSC公司:65小时04 65年20月 26立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Sagraloff},数学。计算。科学。4,第4号,481--506(2010;Zbl 1229.65077) 全文: 内政部
托拜厄斯·艾巴赫;冈纳尔·沃尔克尔;恩里科·皮尔茨 优化Bivium上的Gröbner基地。 (英语) Zbl 1205.94081号 数学。计算。科学。 3,第2期,159-172(2010).MSC公司:94A60型 13页第10页 13-04 PDF格式BibTeX公司 XML格式引用 \textit{T.Eibach}等人,《数学》。计算。科学。3,第2号,159--172(2010;Zbl 1205.94081) 全文: 内政部
大卫·阿斯皮纳尔;丹尼·埃文;克里斯托夫·吕斯 分级证明的策略。 (英语) Zbl 1205.68359号 数学。计算。科学。 3,第3号,309-330(2010).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,数学。计算。科学。第3号,第309-330页(2010年;兹bl 1205.68359) 全文: 内政部