交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
杰苏斯·阿兰塞和Jose Divasón2016Isabelle/HOL中矩阵梯形计算的形式化.计算的形式方面,第28卷,发布。6,第页。1005
亨利·科恩阿比纳夫·库马尔斯蒂芬·米勒达尼洛·拉德琴科和玛丽娜·维亚佐夫斯卡2017尺寸$24的球体填充问题$.数学年鉴,第185卷,发布。三,
阿什利·诺德埃米莉·加雄鲁本·佩雷兹·卡拉斯科Nirody,Jasmine A。亚历山德罗·巴杜奇理查德·贝里(Richard M.Berry)。和弗朗西斯科·佩达奇2017捕获键驱动细菌鞭毛马达中的定子机械敏感性.美国国家科学院院刊,第114卷,发布。49,第页。12952
艾哈迈特·塞利克卡尔·帕尔姆斯科格和Gligoric,米洛斯2017ICoq:大型验证项目的回归证明选择.第页。171
Grzegorz Bancerek公司Czesław,拜林斯基亚当·格拉博夫斯基阿图尔·科尔尼·奥维茨罗马人Matuszewski亚当·纳莫维奇和Pąk,卡罗尔2018Mizar数学库在Mizar交互式证明开发中的作用.自动推理杂志,第61卷,发布。1-4,第页。9
卡尔·帕尔姆斯科格艾哈迈特·塞利克和Gligoric,米洛斯2018piCoq:大规模验证项目的并行回归证明.第页。344
利奥·阿蒂亚毕大鹏雅夏·夏尔马詹妮弗·米切尔(Jennifer A.Mitchel)。波米·格温A.科勒,斯蒂芬斯蒂芬·德坎普。兰、波金在勋丽贝卡·赫希阿德里安·佩戈拉罗。Lee,Kyu Ha先生杰奎琳·斯塔尔。大卫·A·威茨。亚当·马丁。Park,Jin啊詹姆斯·巴特勒(James P.Butler)。和Jeffrey J.弗雷德里克。2018上皮堵塞期间的几何约束.自然物理学,第14卷,发布。6,第页。613
李玉生2018基于广义Kaiser–Bessel基函数的Blob图像重建优化.IEEE计算成像汇刊,第4卷,发布。2,第页。257
菲利普·沃德勒2018形式化方法:基础与应用.第11254卷,问题,第页。56
佩德罗·赫莫西拉托拜厄斯·里切尔佩雷·鲍·瓦兹奎兹阿尔瓦尔·维纳库阿和蒂莫·罗宾斯基2018非均匀采样点云的蒙特卡罗卷积学习.ACM图形事务,第37卷,发布。6,第页。1
王庆祥塞萨里·卡利西克和约瑟夫·乌尔班2018智能计算机数学.第11006卷,问题,第页。255
丹尼尔·格雷森2018数学家单价基金会简介.美国数学学会公报,第55卷,发布。4,第页。427
伊夫·贝托特2018计算的理论方面——2018年ICTAC.第11187卷,问题,第页。三。
雅克·卡雷特Farmer,William M。和帕特里克·拉斯科夫斯基2018交互式定理证明.第10895卷,问题,第页。215
蒂波德·梅姆堡毛罗·塞利托吉勒亨·塞梅尔健和弗朗西斯科·赞波尼2018软交互设计生成硬球体的致密填料.SciPost物理学,第4卷,发布。6,
格温·克莱恩Andronick,六月马修·费尔南德斯伊霍尔·库兹托比·默里和格诺·海瑟2018真实世界中经过正式验证的软件.ACM通信,第61卷,发布。10,第页。68
维克多·马格伦海宁·赛德勒和蒂莫·德·沃尔夫2019基于非负电路和算术几何指数的精确优化.第页。291
加里玛·拉尼和伊桑·帕特里2019交联对细菌细胞壁的重要性.物理审查E,第100卷,发布。6,
A.V.斯米尔诺夫。波诺马列夫,S.G。塔拉索夫斯基,V.P。V.V.Rybal’chenko。瓦辛,A.A。和贝洛夫,V.V。2019硬球紧密堆积模型:开发有前途的陶瓷和耐火材料的可能应用(综述).玻璃和陶瓷,第75卷,发布。9-10,第页。345
罗伯特·M·莫(Robert M.Mok)。和亲爱的,布拉德利·C。2019基于概念学习聚类模型的位置和网格单元的非空间描述.自然通信,第10卷,发布。1,