山茶花 97篇文献引用(2001–2023) 软件作者: 青木,Kazumaro;铁杉一川;神田、Masayuki;松井、三井;森井、希荷;中岛俊子;Tokita、Toshio 相关软件: 克利夫亚;现在;方形… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
粘合剂 14篇文献引用(2005–2022) 软件作者: J.德特雷维尔。 相关软件: DKAL;SWI-预测;鲁比… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Paragon公司 9份文件引用(2010–2022) 软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 相关软件: Jif;github;SeLINQ… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LoPSiL公司 5份文件引用(2009–2023) 软件作者: 杰·利加蒂(Jay Ligatti);瑞奇,比利;纳林·赛加尔 相关软件: 方面J;BCEL;TaintDroid公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
康考迪亚 6篇文献引用(2001–2006) 软件作者: David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet 相关软件: Aglet;旅行者号;MAWS… 主要字段: 计算机科学(68-XX)
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
MetaKlaim公司 5份文件引用(2003–2020) 软件作者: Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 相关软件: 科莱姆;克拉瓦;杰森… 主要字段: 计算机科学(68-XX)
TCB公司 5份文件引用(2003–2021) 软件作者: Andrew W.Appel。;Michael,新植物;阿伦·斯塔姆(Aaron Stump);罗伯托·维尔加 相关软件: Coq;MetaCoq;ELPI… 主要字段: 计算机科学(68-XX)
JavaSPI(JavaSPI) 1份文件引用(2018年) 软件作者: 里卡多·西斯托;Bettassa Copet、Piergiuseppe;阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 相关软件: MJ;AGVI;Bouncy Castle… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
TryLinks(尝试链接) 在0个文档中引用 软件作者: 朱诺·吴(Junao Wu)、阿雷克·米科拉扎克(Arek Mikolajczak)、詹姆斯·切尼(James Cheney) 相关软件: Pingdom工具;AngularDart;链接 主要字段: –