BATON公司 11份文件引用(2006–2020) 软件作者: 贾加迪什,H.V.,Ooi,B.C.,Vu,Q.H。 相关软件: 和弦;糕点;SSim;…(S)… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
HMMER公司 12份文件引用(2006–2019) 软件作者: Robert D.Finn、Jody Clements、Sean R.Eddy 相关软件: ClustalW;UniProt;肌肉… 主要字段: 总体主题;藏品(00-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…
E-KRHper公司 11份文件引用(2007–2021) 软件作者: 比约恩·佩尔泽;Christoph Wernhard公司 相关软件: E定理证明器;E-Darvin;萨奇莫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
绑定数据库 4份文件引用(2009–2018) 软件作者: Liu T、Lin Y、Wen X、Jorrise RN、Gilson MK 相关软件: ChEMBL;KEGG;ImageNet… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…
HoTTSQL 6篇文献引用(2018–2022) 软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件: Coq;克莱斯利;序列… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
帕戈达 4份文件引用(2015–2022) 软件作者: 周玉娇;格劳,伯纳多·昆卡;亚沃·内诺夫;马克·卡明斯基(Mark Kaminski);伊恩·霍洛克斯 相关软件: 数据日志;波利安娜;CEX… 主要字段: 计算机科学(68-XX)
生物集市 3份文件引用(2015年至2017年) 软件作者: Zhang J、Haider S、Baran J、Cros A、Guberman JM、Hsu J、Liang Y、Yao L、Kasprzyk A 相关软件: R;ClustalW;BED工具… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
CEX公司 3份文件引用(2012–2019) 软件作者: 鲍里斯·科涅夫、米歇尔·路德维希、弗兰克·沃尔特 相关软件: 内容CVS;MASTRO公司;Ontop… 主要字段: 计算机科学(68-XX)
GRECS公司 3份文件引用(2017–2022) 软件作者: Meng,X.、Kamara,S.、Nissim,K.、Kollios,G。 相关软件: 图形实验室;线索;GitHub… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
MedleySolver公司 3份文件引用(2021年至2022年) 软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。 相关软件: 马赫SMT;z3;SATZILA… 主要字段: 计算机科学(68-XX)
QAGen公司 引用于2份文件(2014–2016) 软件作者: C.Binnig、D.Kossmann、E.Lo、M.T.Özsu 相关软件: 萨齐拉;PicoSAT;小脚… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
任何DBC 引用于2份文件(2018–2020) 软件作者: 儿子T.Mai;Ira同意;马丁·斯托加德 相关软件: gSpan;DBSCAN;DBSCAN先生… 主要字段: 统计学(62-XX);计算机科学(68-XX)
C划船 1份文件引用(2022) 软件作者: Daniel Lemire、Owen Kaser、Nathan Kurz、Luca Deri、Chris O'Hara、François Saint-Jacques、Gregory Ssi Yan Kai 相关软件: 多品牌;Normaliz公司 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
Asterix数据库 在0个文档中引用 软件作者: 萨塔姆·阿尔苏拜埃、亚西尔·阿尔托维姆、霍瑟姆·阿尔特瓦伊里、亚历山大·贝姆、维纳亚克·博尔卡、英伊·布、迈克尔·凯里、印奇·塞丁迪尔、马都苏丹·奇朗吉、库拉姆·法拉兹、尤金妮亚·加布里埃洛娃、拉曼·格罗弗、扎卡里·海尔布伦、金永硕、陈丽、李光强、吉·马恩·奥克、尼古拉·奥诺泽、波里亚·皮尔扎德、瓦西里斯·茨拉斯、拉雷斯·维尼卡、建文,直到韦斯特曼 相关软件: XQuery;MongoDB;Hadoop… 主要字段: –
果汁 1份文件引用(2022) 软件作者: Dang,M。;Khosravi,P。;梁,Y。;Vergari,A。;Van den Broeck,G。 相关软件: 斯特鲁德尔 主要字段: 计算机科学(68-XX)
零数据库 1份文件引用(2022) 软件作者: 迈克尔·埃戈罗夫(Michael Egorov),麦克莱恩·威尔基森(MacLane Wilkison) 相关软件: NuFHE;CryptDB;重新思考DB… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
DBOWL公司 在0个文档中引用 软件作者: 玛丽亚·德尔·马尔·罗尔丹·加西亚(Maria del Mar Roldan-Garcia)、何塞·奥尔达纳·蒙特斯(Jose F.Aldana-Montes) 相关软件: – 主要字段: –