霍尔灯

此软件的关键字
zbMATH中的参考文献(引用于
293篇
阿西娅·马布比;托马斯·西布特·皮诺特:关于(\zeta(3))(2021)非理性的正式证明 Abrahamsson,Oskar:高阶逻辑的验证检查器(2020) Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年) 马里奥,卡内罗:元数学零:设计定理证明器(2020) 陈山燕;王国辉;李西萌;张倩颖;史志平;关勇:基于罗德里格斯公式的摄像机姿态估计算法的形式化(2020) Rashid,Adnan;Hasan,Osman:使用\textsfHOLLight对高达4自由度的机器人细胞注射系统进行正式验证(2020年) 石志平;关勇;李锡盟:复杂分析与矩阵理论的形式化(2020) 比森,迈克尔;纳布克斯,朱利安;维迪杰克,弗里克:校对欧几里德(2019年) Beillahi,Sidi Mohamed;Mahmoud,Mohamed Yousri;Tahar,Sofiène:光量子电路的建模和验证框架(2019) Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年) Carette,Jacques;Farmer,William M.:走向指定符号计算(2019) Färber,Michael;Kaliszyk,Cezary:非共通连接表证明(2019) Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019) Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019) 安德烈·埃贡达基金会,2019年 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化 Magron,Victor;Safey El-Din,Mohab;Schweighofer,Markus:非负一元多项式加权平方和分解算法(2019年) Marić,Filip:最多有6个点的凸多边形的Erdős-Szekeres猜想的快速形式证明(2019) 米勒,戴尔:重温机械化元理论(2019) Müller,Dennis;Rabe,Florian;Sacerdoti Coen,Claudio:作为理论图的Coq库(2019)