巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
GHC公司 36篇文献引用(1986年-2014年) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
伊诺特 34份文件引用(2008–2019) 软件作者: 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈维罗(Paul Govereau);拉尔斯·比克达尔 相关软件: Coq;伊莎贝尔·霍尔;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
HIP(热等静压) 33篇文献引用(2007–2023) 软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·戴维;克里斯蒂安·吉尔吉纳(Cristian Gherghina);Quang Loc Le;Ton-Chanh Le;阿桑卡亚·夏尔马 相关软件: 小脚;VeriFast;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
质量管理清单 32篇文献引用(2007–2023) 软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇 相关软件: QPL;奎珀;qGCL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…
蚱蜢 14篇文献引用(2015–2023) 软件作者: R.Piskac、T.Wies和D.Zufferey 相关软件: 达夫尼;VeriFast;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
轻松检查 10篇文献引用(2009年至2020年) 软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔 相关软件: 快速检查;咖喱;SmallCheck… 主要字段: 计算机科学(68-XX)
VerCors公司 12份文件引用(2014年-2023年) 软件作者: 阿米吉,阿夫申;斯特凡·布洛姆;Saeed Darabi;赫斯曼(Marieke Huisman);沃伊切赫·莫斯托夫斯基;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 相关软件: 蝰蛇;布吉;Dafny… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
KiCS2系列 8份文件引用(2009–2022) 软件作者: 伯恩德·布拉埃尔;迈克尔·哈努斯(Michael Hanus);比约恩,皮默勒;费比安·雷克 相关软件: 咖喱;哈斯克尔;PAKCS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
自动校对 引用于7份文件(2015–2023) 软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;北卡罗来纳州波里卡波娃。 相关软件: 达夫尼;VCC;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
密度编译器 引用于7份文件(2015年至2022年) 软件作者: Manuel Eberl、Johannes Hölzl、Tobias Nipkow 相关软件: 伊莎贝尔·霍尔;HOL;存档正式证据… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
距离-弧度 5份文件引用(2011–2015) 软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔 相关软件: 莫德;爪哇风扇;Java+ITP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
棒棒糖 5份文件引用(2010–2016) 软件作者: 卡尔·马祖拉克;史蒂夫·兹丹塞维奇 相关软件: VeriML;雷卡姆;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
TravMC2(移动MC2) 5份文件引用(2016–2020) 软件作者: Robin P.Neatherway,C.-H.Luke Ong 相关软件: ByMC;github;MoCHi… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
扁平咖喱 3份文件引用(2011–2020) 软件作者: 迈克尔·哈纳斯(Michael Hanus);克里斯蒂安森,简;丹尼尔·塞德尔(Daniel Seidel);贾尼斯·沃格特兰德 相关软件: 瑞士;工厂;PAKCS… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
KeY-ABS公司 4份文件引用(2015–2021) 软件作者: Din,Crystal Chang;理查德·布贝尔(Richard Bubel);雷纳·哈内尔 相关软件: 防抱死制动系统;斯卡拉;算法864… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
PrologCheck(序言检查) 3份文件引用(2014–2022) 软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔 相关软件: K校准仪;K工具;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
XTL公司 4份文件引用(2003–2017) 软件作者: Garavel,H.、Mateescu,R。 相关软件: CADP;LNT2LOTOS公司;Exp.打开… 主要字段: 计算机科学(68-XX)
资本支出 3份文件引用(2017–2021) 软件作者: 托马斯·丁斯代尔·扬(Thomas Dinsdale-Young);佩德罗·达罗查·平托;安徒生,克里斯托弗公正;拉尔斯·比克达尔 相关软件: 蝰蛇;VeriFast;草蜢… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
光环 3份文件引用(2013–2017) 软件作者: 迪米特里厄斯病毒性肠炎;西蒙·佩顿·琼斯;科恩·克莱森;丹·罗森 相关软件: z3;哈斯克尔;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
对象货币 3份文件引用(1994–2013) 软件作者: 迈克尔·哈努斯(Michael Hanus);Frank Huch;菲利普·尼德劳 相关软件: 奥兹;巴贝尔;PAKCS… 主要字段: 计算机科学(68-XX)
PCM库 2份文件引用(2020) 软件作者: Nanevski,A.、Ley-Wild,R.、Sergey,I.、Delbianco,G.、Trunov,A 相关软件: github;精益;密码… 主要字段: 计算机科学(68-XX)
拟Borel空间 2份文件引用(2017–2022) 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件: 教会;HOL;精益… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
见证人 1份文件引用(2018) 软件作者: 汉娜·阿恩特;克里斯蒂娜·詹森(Christina Jansen);Christoph Matheja;诺尔,托马斯 相关软件: 贾格诺 主要字段: 计算机科学(68-XX)
QCOR(质量控制报告) 在0个文档中引用 软件作者: Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件: SciPy;开放费米子;奥奎斯特拉… 主要字段: ——
QuIt公司 1份文件引用(2018) 软件作者: 格雷斯,伯恩哈德;劳拉·科瓦奇(Laura Kovács);西蒙·罗比拉德 相关软件: VAMPIRE公司;InvGen;CVC4… 主要字段: 计算机科学(68-XX)