亚历山大·达维多夫。;斯特凡诺·马库吉尼;费尔南多·潘比安科 具有覆盖半径\（R\）和余维数\（tR+1\）的覆盖码的长度函数的上界。 （英语） Zbl 1521.94137号 高级数学。Commun公司。 17，编号1，98-118（2023）.MSC公司：94B75号 94B05型 第51页第21页 第51页第22页 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Davydov}等人，高级数学。Commun公司。17，编号1，98--118（2023；Zbl 1521.94137） 全文： 内政部 arXiv公司
亚历山德罗·洛加;萨拉·帕罗尼蒂 关于三次曲线上九个点的构型。 （英语） 兹比尔1465.14034 澳大利亚。J.库姆。 79，第1部分，87-99（2021）. 审核人：胡安·米利奥雷（圣母院） MSC公司：14H51型 14H52型 51E20型 51A20型 05B30型 PDF格式BibTeX公司 XML格式引用 \澳大利亚，textit{A.Logar}和\textit{S.Paronitti}。J.库姆。79，第1部分，87--99（2021；Zbl 1465.14034） 全文： 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 1444.94126号 线性代数应用。 596, 216-229 (2020). 审核人：Matteo Bonini（特伦托） MSC公司：94B05型 第51页第22页 06E30年 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Ku-Cauich}和\textit{G.Morales-Luna}，线性代数应用。596216-229（2020年；Zbl 1444.94126） 全文： 内政部
迈克尔·斯特罗贝尔 动态几何中的非标准分析。 （英语） Zbl 1444.68278号 J.塞姆。计算。 97, 69-108 (2020).MSC公司：68单位05 05年3月 51N15号 PDF格式BibTeX公司 XML格式引用 \textit{M.Strobel}，J.Symb。计算。97、69——108（2020年；Zbl 1444.68278） 全文： 内政部 arXiv公司
阿里尔·凯利森;马克·比克福德;罗伯特·康斯特布尔 在类型理论中实现欧几里德的直尺和指南针构造。 （英语） Zbl 1479.03009号 安。数学。Artif公司。智力。 85，编号2-4，175-192（2019）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：03B35型 03楼55 2004年5月5日 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kellison}等人，Ann.数学。Artif公司。智力。85，编号2--4，175-192（2019；Zbl 1479.03009） 全文： 内政部
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇，普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 （英语） Zbl 1431.68123号 安。数学。Artif公司。智力。 85，编号2-4，119-146（2019）.MSC公司：68伏15 2004年5月5日 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，119-146（2019；Zbl 1431.68123） 全文： 内政部
吉尔莫·卡尔德龙 在Agda中形式化构造射影几何。 （英语） Zbl 1433.68575号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 61-77 (2018).MSC公司：68版本20 51A05号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Calderón}，电子。注释Theor。计算。科学。338、61-77（2018年；Zbl 1433.68575） 全文： 内政部
洛伦兹·德米;汉斯·斯梅萨特 布尔代数逻辑图之间的几何和认知差异{乙}_{4}\). （英语） Zbl 1448.68404号 安。数学。Artif公司。智力。 83，第2期，185-208（2018）.MSC公司：68立方英尺 03英镑05 03B45号 51米20 52号B10 PDF格式BibTeX公司 XML格式引用 \textit{L.Demey}和\textit{H.Smessaert}，Ann.数学。Artif公司。智力。83，第2号，185--208（2018；Zbl 1448.68404） 全文： 内政部
塞西莉亚·博勒;罗尔夫·克莱恩;安德烈·林加;刘志雄 线性时间中的类森林抽象Voronoi图。 （英语） Zbl 1396.65034号 计算。地理。 68, 134-145 (2018). 审核人：Michael M.Pahirya（穆卡切沃） MSC公司：65D18天 68单位05 第51页第24页 PDF格式BibTeX公司 XML格式引用 \textit{C.Bohler}等人，计算。地理。68、134--145（2018；Zbl 1396.65034） 全文： 内政部
菲利普·马里奇;达尼耶拉·彼得罗维奇 形式化复杂平面几何。 （英语） Zbl 1330.68264号 安。数学。Artif公司。智力。 74，编号3-4，271-308（2015）.MSC公司：68吨15 51B10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić}和\textit{D.Petrović}.安.数学。Artif公司。智力。74，编号3--4，271--308（2015；Zbl 1330.68264） 全文： 内政部
奥斯文·艾奇霍尔泽;马蒂亚斯·科尔曼;亚历山大·皮尔兹;比吉特·沃格滕豪伯（Birgit Vogtenhuber） 测地线顺序类型。 （英语） Zbl 1314.68343号 算法 70，第1期，112-128（2014）.MSC公司：68单位05 51米25 PDF格式BibTeX公司 XML格式引用 \textit{O.Aichholzer}等人，Algorithmica 70，No.1，112--128（2014；Zbl 1314.68343） 全文： 内政部
埃里克·恩斯;兰加纳坦帕德马纳班 射影平面的群嵌入（PG（2，3））。 （英语） Zbl 1385.68037号 Bonacina，Maria Paola（编辑）等人，《自动推理与数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，131-138（2013）。MSC公司：68吨15 51A20型 51A25号 第51页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Ens}和\textit{R.Padmanabhan}，莱克特。注释计算。科学。7788、131--138（2013；Zbl 1385.68037） 全文： 内政部
Osamu Fujita 基于集之间平均距离的度量。 （英语） Zbl 1263.51010号 日本J.Ind.Appl。数学。 30，第1期，第1-19页（2013年）.MSC公司：51K05美元 51F99型 68个P01 第68季度01 68时01分 68单元01 PDF格式BibTeX公司 XML格式引用 \textit{O.Fujita}，日本J.Ind.Appl。数学。30，第1号，1--19（2013；Zbl 1263.51010） 全文： 内政部 arXiv公司
吕克·哈伯特;米歇尔·波奇奥拉 通过分支覆盖计算伪三角网。 （英语） Zbl 1267.68270号 离散计算。地理。 48，第3期，518-579（2012）. 审核人：Frank Plastria（布鲁塞尔） MSC公司：68单位05 57M50型 51A35型 52A10号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Habert｝和\textit｛M.Pocciola｝，离散计算。地理。48，第3号，518--579（2012；Zbl 1267.68270） 全文： 内政部 arXiv公司
菲尔·斯科特;雅克·弗莱里奥特 通过空闲时间的证明发现研究希尔伯特的隐式推理。 （英语） Zbl 1350.68244号 Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。《人工智能课堂讲稿》，182-200（2011）。MSC公司：68吨15 51F99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Scott}和\textit{J.Fleuriot}，莱克特。注释计算。科学。6877、182-200（2011年；Zbl 1350.68244） 全文： 内政部
雅克·弗莱里奥特 探索Isabelle/HOL中离散分析几何的基础。 （英语） Zbl 1350.68232号 Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，34-50（2011）。MSC公司：68吨15 05年3月 51N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fleuriot}，莱克特。注释计算。科学。6877，34-50（2011；Zbl 1350.68232） 全文： 内政部
冀、东海;李晶莹;吴森林 赋范线性空间中等腰正交性的唯一性。 （英语） Zbl 1219.46020号 结果。数学。 59，编号1-2，157-162（2011）.MSC公司：46对20 51B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ji}等人，结果。数学。59，编号1--2，157-162（2011；Zbl 1219.46020） 全文： 内政部
佩特里·卡斯基;帕特里克·R·J·奥斯特格德。 斯坦纳19阶三重系统。 （英语） Zbl 1043.05020号 数学。计算。 73，第248号，2075-2092（2004）.MSC公司：07年5月 05E30年 51E10型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛P.Kaski｝和\textit｛P.R.J.Östergård｝，数学。计算。73，No.248，2075--2092（2004；Zbl 1043.05020） 全文： 内政部
马可·艾略;约翰·范·本特姆 在空间中的模式漫步。 （英语） Zbl 1185.03060号 J.应用。非类别。日志。 12，编号3-4，319-363（2002）.MSC公司：03B80号 03B45号 03B47号 51N10号 54A99号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiello}和\textit{J.van Benthem}，J.Appl。非类别。日志。12，编号3--4，319--363（2002；Zbl 1185.03060） 全文： 内政部
斯特凡·费尔斯纳;赫尔穆特·韦尔 清扫、布置和路标。 （英语） Zbl 0967.68159号 离散应用程序。数学。 109，第1-2号，67-94（2001）.MSC公司：68单位05 06年06月06日 52 C99 51G05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Felsner}和\textit{H.Weil}，离散应用。数学。109，编号1--2，67-94（2001；Zbl 0967.68159） 全文： 内政部
赫尔穆特·拉特谢克;乔恩·罗克内 有限和符号的精确计算。 （英语） Zbl 0936.65005号 申请。数学。计算。 99，编号2-3，99-127（1999）. 审核人：A.López-Carmona（格拉纳达） MSC公司：65B10型 51-04 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{H.Ratschek}和\textit{J.Rokne}，应用。数学。计算。99，编号2--3，99-127（1999；Zbl 0936.65005） 全文： 内政部
关岛杉原 确定多面体一致性的n log n算法。 （英语） Zbl 0546.68052号 J.计算。系统。科学。 第29页，第36-47页（1984年）.MSC公司：68卢比99 65年第68季度 51米20 PDF格式BibTeX公司 XML格式引用 \textit{K.Sugihara}，J.计算。系统。科学。29、36-47（1984年；Zbl 0546.68052） 全文： 内政部