PVS公司 617文件引用(1993年-2023年) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 相关软件: 单一;SageMath;岩浆… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…
网络服务提供商 9份文件引用(2008–2018) 软件作者: 科马克·弗拉纳根;帕特丽斯·戈德弗里德 相关软件: KLEE公司;自旋蛋白;veriSoft… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者: 彼得·兰米奇(Peter Lammich);塞菲加·雷扎 相关软件: Isabelle/HOL;存档正式证据;Gabow SCC… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl;辅酶MTU;Coquet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
懒惰的CSeq 4份文件引用(2015–2018) 软件作者: 弗拉基米尔·赫尔特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒 相关软件: CBMC;Cseq;MU-CSeq… 主要字段: 计算机科学(68-XX)
SCE灯 4份文件引用(2014–2020) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 相关软件: SCEL;自旋蛋白;琳达… 主要字段: 计算机科学(68-XX)
阿斯特拉维尔 引用于2份文件(2021–2022) 软件作者: Grigoriy Volkov、Mikhail Mandrykin、Denis Efremov 相关软件: Coq;Why3;Dafny… 主要字段: 计算机科学(68-XX)
ENFORCe公司 3份文件引用(2019–2020) 软件作者: Azab,K.,Habel,A.,Pennemann,K.H.,Zuckschwerdt,C。 相关软件: OCLinEcore公司;OCL2AC;凹槽… 主要字段: 计算机科学(68-XX)
JavaSPI(JavaSPI) 1份文件引用(2018) 软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 相关软件: MJ;AGVI;Bouncy Castle… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
Metamath零 3份文件引用(2020–2023) 软件作者: 马里奥·卡内罗 相关软件: CakeML;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PyBioNet适配 1份文件引用(2020) 软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;RG波斯纳;拉瓦切克,WS 相关软件: COPASI;AMIGO公司;碲… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)
验证器 3份文件引用(2016年至2019年) 软件作者: 高弘久保田;Kakutani、Yoshihiko;加藤,加油;川野康仁;樱田秀树 相关软件: QPL;质量管理清单;QPMC… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
霍尔巴 引用于2份文件(2020–2022) 软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹 相关软件: RGITL;达夫尼;GNAT证明… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
从未 引用于2份文件(2011年至2018年) 软件作者: 卢卡·普利纳(Luca Pulina);阿曼多·塔切拉 相关软件: Matlab;OPQ;Roboop… 主要字段: 特殊功能(33-XX);计算机科学(68-XX)
蓝色(BLUEVERI) 1份文件引用(2014) 软件作者: 阿列克谢·利沃夫;Lastras-Montaño,Luis A。;巴里·特拉格(Barry Trager);维雷什·帕鲁西;罗伯特·沙多文;阿里·埃尔·泽因 相关软件: 稳定;单一 主要字段: 交换代数(13-XX);信息与通信理论,电路(94-XX)
EthVer公司 1份文件引用(2021) 软件作者: 尤卡斯·马祖雷克 相关软件: 曼蒂科尔;甲氰菊酯;Why3… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
宠物老板 1份文件引用(2018) 软件作者: 余存溪;亚辛,阿蒂夫;苏天凯;阿兰·米什琴科(Alan Mishchenko);梅西耶·西塞尔斯基 相关软件: ABC;稳定;单一 主要字段: 计算机科学(68-XX)
伍特 1份文件引用(2022) 软件作者: 盖拉尔德·奥斯特;帕斯卡·乌尔索;帕斯卡·莫利;阿卜杜萨马德·伊明 相关软件: Logoot;伍基;woot-haskell… 主要字段: 计算机科学(68-XX)