VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;GitHub… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;KIV;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自动2 6篇文献引用(2016–2019) 软件作者: 詹伯华 相关软件: Isabelle/HOL;伊莎贝尔;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
密苏里州东南部 5份文件引用(2018–2023) 软件作者: 克雷伯斯,罗伯特;雅克·亨利·乔丹(Jacques-Henri Jourdan);Ralf Jung;约瑟夫·塔萨罗蒂;Kaiser,Jan-Oliver;阿明·蒂曼尼;亚瑟·查古埃罗(Arthur Charguéraud);德雷克·德雷尔 相关软件: Coq;VeriFast;草蜢… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)