RCV1型 105篇文献引用(2005–2023) 软件作者: 大卫·D·刘易斯(David D.Lewis);杨一鸣;托尼·G·罗斯(Tony G.Rose);范丽 相关软件: LIBSVM;UCI-ml;BoosTexter… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
清洁 56篇文献引用(1987–2016) 软件作者: 医学博士Plasmeijer。 相关软件: 哈斯克尔;米兰达;闪闪发光… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PITA公司 24篇文献引用(2010–2023) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司 相关软件: ProbLog;CP逻辑;棱镜… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
JSAI公司 4份文件引用(2017–2022) 软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件: JavaScript;幻影;诺恩… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
网络PIE 8份文件引用(2012–2022) 软件作者: Urbani,J.、Kotoulas,S.、Maassen,J.,van Harmelen,F.、Bal,H。 相关软件: XSB;数据日志;ELK… 主要字段: 计算机科学(68-XX)
HoTTSQL 6篇文献引用(2018–2022) 软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件: Coq;克莱斯利;序列… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
铬 3份文件引用(2008–2015) 软件作者: Humphreys,G.、Houston,M.、Ng,R.、Frank,R.,Ahern,S.、Kirchner,P.D.、Klosowski,J.T。 相关软件: 洞穴;CMPGRD;SimWall… 主要字段: 计算机科学(68-XX);流体力学(76-XX)
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
Angelix公司 3份文件引用(2017–2023) 软件作者: S.Mechtaev、J.Yi、A.Roychoudhury 相关软件: 先知;SemFix;代码缺陷… 主要字段: 计算机科学(68-XX)
鲁棒填充 4份文件引用(2019年-2023年) 软件作者: 雅各布·德夫林;约纳森·尤萨托(Jonathan Uesato);苏里亚布帕提拉朱;里沙巴·辛格;阿卜杜勒·拉赫曼·穆罕默德;科利,普希米特 相关软件: SQL生成器;PyGGI;杜松子酒… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)
eThor公司 3份文件引用(2021年至2022年) 软件作者: 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲 相关软件: SMT-LIB;CVC4;K校准仪… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
ICOT公司 2份文件引用(1998–2002) 软件作者: Yang,Hyung Jeong;Yang,Jae Dong;金永浩(Kim,Yeongho) 相关软件: – 主要字段: 计算机科学(68-XX)
XSat公司 2份文件引用(2018–2022) 软件作者: – 相关软件: 数学SAT5;dReal;z3… 主要字段: 代数拓扑(55-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
CSimpl公司 2份文件引用(2017) 软件作者: Sanán,D.,Zhao,Y.,Hou,Z.,Zhang,F.,Tiu,A.,Liu,Y。 相关软件: seL4;Isabelle/HOL;区域设置… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SEG云 2份文件引用(2019–2022) 软件作者: Lyne P.Tchapmi、Christopher B.Choy、Iro Armeni、JunYoung Gwak、Silvio Savarese 相关软件: PointNet;TensorFlow;PointConv… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
solc验证 2份文件引用(2021) 软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇 相关软件: VerX;深海;Manticore… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
应用镜检查 1份文件引用(2015) 软件作者: Feng,Y.、Anand,S.、Dillig,I.、Aiken,A。 相关软件: AppGuard;EviCheck;双人护卫… 主要字段: 计算机科学(68-XX)
CRaDLe公司 在0个文档中引用 软件作者: 顾文超;李宗杰;高翠云;王朝正;张宏宇;徐增林;迈克尔·R·吕。 相关软件: CoaCor公司;CCFinder;CodeSearchNet… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
FSCNMF公司 在0个文档中引用 软件作者: Sambaran Bandyopadhyay、Harsh Kara、Aswin Kannan、M N Murty 相关软件: 正弦;数字Py;RolX… 主要字段: –
MLCask公司 1份文件引用(2023) 软件作者: 罗兆静、赛和阳、张美慧、郑开平、朱磊、陈刚、范飞毅、钱琳、李渊、吴本钦 相关软件: 猫头鹰;MLDev公司 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PTaCL公司 1份文件引用(2012) 软件作者: 杰森·克兰普顿(Jason Crampton);查尔斯·莫里塞特 相关软件: – 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)