霍尔灯

此软件的关键字
zbMATH参考文献(参考
288篇文章
参考)
Abrahamsson,Oskar:高阶逻辑的验证检查器(2020) Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(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) Kunčar,Ondřej;Popescu,Andrei:Isabelle/HOL的一致基础(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) Narboux,Julien;Janičić,Predrag;Fleuriot,Jacques:合成几何中的计算机辅助定理证明(2019) Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年) Daniel Raggi;Aaron Stockdill;Jamnik,Mateja;Garcia Garcia,Grecia;Sutherland,Holly E.A.;Cheng,Peter C.-H.:检查和选择陈述(2019年)