弹丸 引用于71份文件(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PointNet（点网） 68篇文献引用(2018–2024) 软件作者： Charles R.Qi、Hao Su、Kaichun Mo、Leonidas J.Guibas 相关软件： 亚当；ImageNet；OctNet… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
K校准仪 52篇文献引用（2007年至2024年） 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Wolfram功能站点 42篇文献引用(2007–2023) 软件作者： Wolfram研究公司。 相关软件： DLMF；Mathematica；仲裁… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
MobileNetV2手机 32篇文献引用(2020–2024) 软件作者： Mark Sandler、Andrew Howard、Menglong Zhu、Andrey Zhmoginov、Liang-Chieh Chen 相关软件： ImageNet；AlexNet公司；MobileNets… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
城市风光 26篇文献引用(2018–2023) 软件作者： 马吕斯·科德斯、穆罕默德·奥姆兰、塞巴斯蒂安·拉莫斯、蒂莫·雷菲尔德、马库斯·恩兹韦勒、罗德里戈·贝内森、乌韦·弗兰克、斯特凡·罗斯、伯恩特·席勒 相关软件： ImageNet；MS-COCO；U-Net… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
根西姆 20篇文献引用(2011–2023) 软件作者： 拉迪姆Řehůřek 相关软件： 全球；Scikit；单词2vec… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
形状网络 16篇文献引用(2018–2023) 软件作者： Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件： PointNet；3D-R2N2；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
并发工作台 12份文件引用(2000–2022) 软件作者： P.Stevens等人 相关软件： CADP；SIGREF；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DynTex公司 5份文件引用(2013–2021) 软件作者： 雷诺德·佩特里亚；桑多尔·法泽卡斯布；马克·胡斯克 相关软件： SIFT；VarSelLCM；LIBLINEAR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
太阳神 10篇文献引用(1997–2015) 软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck） 相关软件： AMPL；牛顿；FleetWave… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
nnU-Net网络 8份文件引用(2022–2023) 软件作者： F.Isensee、P.F.Jaeger、S.A.Kohl、J.Petersen、K.H.Maier-Hein 相关软件： U-Net；亚当；V-Net… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
摄像头视频 6篇文献引用（2010年-2023年） 软件作者： G.J.Brostow、J.Fauqueur、R.Cipolla 相关软件： 城市景观；抓斗切割；PASCAL VOC… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
KJS公司 9份文件引用(2015–2021) 软件作者： 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件： K-Java；莫德；Coq… 主要字段： 数学逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
ToppGene套件 7份文件引用(2018–2022) 软件作者： Chen，J.、E.E.Bardes、B.J.Aronow、A.G.Jegga 相关软件： 玻璃；项目管理局；DEseq… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CodeSurfer（代码浏览器） 5份文件引用(2005–2012) 软件作者： GrammaTech公司 相关软件： CBMC；SLAM；PMD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
occam-pi型 6篇文献引用(2005–2021) 软件作者： 彼得·H·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
打开规则基准 7份文件引用(2011–2014) 软件作者： Liang，S.、Fodor，P.、Wan，H.、Kifer，M。 相关软件： XSB；SPARQL；OPTYap… 主要字段： 计算机科学（68-XX）
同步规范Cnn 7份文件引用(2018–2022) 软件作者： 李毅、郝苏、郭兴文、列奥尼达斯·吉巴斯 相关软件： PointNet；DeepWalk；SpectralNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
SemFix公司 4份文件引用(2017–2023) 软件作者： Hoang Duong Thien Nguyen、Dawei Qi、Abhik Roychoudhury、Satish Chandra 相关软件： 先知；安吉利克斯；缺陷4J… 主要字段： 计算机科学（68-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔列金 5份文件引用(2002–2016) 软件作者： Excoffier，L。；拉瓦尔，G。；施耐德，S。 相关软件： PHYLIP；拉马克；快速煤… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
CDAO商店 4份文件引用(2011–2022) 软件作者： Brandon Chisham；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；本·赖特 相关软件： aspeed；LPaaS；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
C点 4份文件引用(2004–2014) 软件作者： 安德烈亚·科尔哈斯（Andrea Kohlhase）；迈克尔·科尔哈斯 相关软件： OMDoc；CASL；MathHub.info… 主要字段： 计算机科学（68-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）
格格（Gaggle） 在0个文档中引用 软件作者： P.T.Shannon、D.J.Reiss、R.Bonneau、N.S.Baliga 相关软件： GOPET公司；BayGO；GOLEM… 主要字段： ——
啜食 1份文件引用(2022) 软件作者： Emanuele Bastianelli、Andrea Vanzo、Pawel Swietojanski、Verena Rieser 相关软件： MultiWOZ；蟒蛇；Alana… 主要字段： 计算机科学（68-XX）
子图形2vec 2份文件引用(2019–2020) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Lihui Chen、Yang Liu、Santhoshkumar Saminathan 相关软件： node2vec；蟒蛇；快速DTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
主题RNN 3份文件引用(2019–2022) 软件作者： Adji B.Dieng、Chong Wang、Jianfeng Gao、John Paisley 相关软件： TensorFlow；火炬差异；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
剂量 2份文件引用(2016–2023) 软件作者： 于刚、王力、闫刚、何强 相关软件： GOSemSim；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GOSemSim公司 1份文件引用(2016) 软件作者： 余光创、李飞、秦一德、薄晓晨、吴一博、王圣琪 相关软件： 剂量；R；DisSetSim… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
啤酒节 2份文件引用(2014–2016) 软件作者： 左双祥、克里斯·蒙格尔、阿兰·拉特伯格、何永群 相关软件： 银河系；Aber-OWL；WebProtege… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
森蒂洛 2份文件引用(2017–2018) 软件作者： Recupero，D.R。；康索利，S。；Gangemi，A。；Nuzzolese，A.G。；D.斯帕帕尼亚托。 相关软件： NLTK；gensim；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
草率的 1份文件引用(2017) 软件作者： E.霍维·C·Y·林 相关软件： WordNet；OpenNMT；GluonNLP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ARQ路径 2份文件引用(2021) 软件作者： ARQMath实验室；扎尼比，R。；奥德，DW；阿加瓦尔，A。；Mansouri，B。；阿兰帕提斯，A。 相关软件： WebMIaS；Docker；sTeX… 主要字段： 计算机科学（68-XX）
比特切碎 2份文件引用(2018–2023) 软件作者： Jang，J.、Brumley，D.、Venkataraman，S。 相关软件： ADAM；德莱宾；DroidMat… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BTM公司 1份文件引用(2023) 软件作者： Jan Wijffels:BNOSAC；颜晓慧 相关软件： 主题检查；低密度病毒；text2vec… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
cddiff（cddiff） 1份文件引用（2018年） 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
DOSim公司 在0个文档中引用 软件作者： 李江；龚冰生；陈曦；刘涛；吴超；张，范；李春泉；李湘；饶少奇；李霞 相关软件： DisSetSim；clusterProfiler；GOSemSim… 主要字段： ——
绿色-马尔 1份文件引用(2022) 软件作者： Sungpack Hong、Hassan Chafi、Edic Sedlar、Kunle Olukotun 相关软件： PowerGraph；GraphX；预凝胶… 主要字段： 计算机科学（68-XX）
HydroDesktop公司 在0个文档中引用 软件作者： 艾姆斯、D·P、霍斯堡、J·S、曹、Y、卡德莱克、J、怀特克、T、瓦伦丁、D 相关软件： WaterML；水云（HydroCloud） 主要字段： 计算机科学（68-XX）
INFUSE公司 2份文件引用(2002–2003) 软件作者： 奥利弗·杜尼曼；盖斯特，英戈尔夫；罗兰·杰西；萨特勒，凯·乌韦；安德烈亚斯·斯蒂芬妮克 相关软件： —— 主要字段： 计算机科学（68-XX）
PartNet（零件网） 1份文件引用(2022) 软件作者： 莫开春、朱士林、张安琪、李毅、苏巴娜·特里帕蒂、列奥尼达斯·吉巴斯、郝苏 相关软件： PointNet；DeconvNet；SYNTHIA数据集… 主要字段： 计算机科学（68-XX）
变形杆菌属 2份文件引用(2007–2010) 软件作者： 丹尼尔·沃丁顿（Daniel Waddington）；姚斌 相关软件： CIL；TXL；Stratego… 主要字段： 计算机科学（68-XX）
赛格明 2份文件引用(2019–2020) 软件作者： 维德·波德佩坎、纳达·拉夫拉奇、伊戈尔·莫泽蒂奇、佩特拉·克拉吉·诺瓦克、伊戈尔·特拉伊科夫斯基、劳拉·兰戈尔、金莫·库洛夫西、汉努·托沃宁、马克·佩泰克、海伦娜·莫塔伦、克里斯蒂娜·格鲁登 相关软件： node2vec；阿列夫；PTE… 主要字段： 计算机科学（68-XX）
夏洛克 2份文件引用(2023) 软件作者： Madelon Hulsebos、Kevin Hu、Michiel Bakker、Emanuel Zgraggen、Arvind Satyanarayan、Tim Kraska、圣迭戈Demiralp、塞萨尔·伊达尔戈 相关软件： github；Scikit；GPT-3… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
Web主题 2份文件引用(2002–2021) 软件作者： 马克·A·怀特（Mark A.Whiting）。；尼克·克莱默 相关软件： SAS；VOS查看器 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
通配符 2份文件引用(2022) 软件作者： 奥利弗·泽德尔（Oliver Zendel）、凯特琳·霍纳尔（Katrin Honauer）、马库斯·穆希茨（Markus Murschitz）、丹尼尔·施泰宁格（Daniel Steininger）、古斯塔沃·费尔南德斯·多明格斯 相关软件： PointNet；ShapeNet；ESPNet… 主要字段： 计算机科学（68-XX）
应用镜检查 1份文件引用(2015) 软件作者： Feng，Y.、Anand，S.、Dillig，I.、Aiken，A。 相关软件： AppGuard；EviCheck；双人护卫… 主要字段： 计算机科学（68-XX）
自动批注 1份文件引用（2018年） 软件作者： Kucera M、Isserlin R、Arkhangorodsky A、Bader GD 相关软件： github；VRPBench；烦恼… 主要字段： 运筹学、数学规划（90-XX）
贝特杰 在0个文档中引用 软件作者： 维特塞·德弗里斯、安德烈亚斯·范·克兰伯格、阿里安娜·比萨扎、托马索·卡塞利、格特詹·范诺德、马尔维娜·尼西姆 相关软件： 卡姆伯特；斯潘伯特；亚当… 主要字段： ——
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CRaDLe公司 在0个文档中引用 软件作者： 顾文超；李宗杰；高翠云；王朝正；张宏宇；徐增林；迈克尔·R·吕。 相关软件： CoaCor；CCFinder；CodeSearchNet… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
提取系统 在0个文档中引用 软件作者： Savova GK、Masanz JJ、Ogren PV、Zheng J、Sohn S、Kipper-Schuler KC等。 相关软件： HITEx公司；狮子座；NLTK… 主要字段： ——
漂移 在0个文档中引用 软件作者： Abheesht Sharma、Gunjan Chhablani、Harshit Pandey、Rajaswa Patil 相关软件： 牦牛；流媒体；单词2vec… 主要字段： ——
FCA2VEC公司 1份文件引用(2022) 软件作者： 杜尔施纳贝尔，多米尼克；汤姆·汉尼卡（Tom Hanika）；马克西米利安·斯塔比曼 相关软件： Wikibase；PRMLT；Scikit… 主要字段： 计算机科学（68-XX）
费用 在0个文档中引用 软件作者： Vaibhav Kumar、Tenzin Singhay Bhotia、Vaibhaw Kumar 相关软件： PyTorch；数字Py；WEFE… 主要字段： ——
图4代码 在0个文档中引用 软件作者： 易卜拉欣·阿卜杜拉齐兹（Ibrahim Abdelaziz）、朱利安·杜比（Julian Dolby）、詹姆斯·麦库斯克（James P.McCusker）、卡维塔·斯里尼瓦斯（Kavitha Srinivas） 相关软件： SABER公司；PQL；DynaMine… 主要字段： ——
HydraPlus-Net公司 在0个文档中引用 软件作者： 刘喜辉、赵海宇、田茂庆、陆胜、景绍、帅毅、闫俊杰、王晓刚 相关软件： 新加坡存托凭证；DeepReID；SqueezeNet… 主要字段： ——
LiveRAC（实时RAC） 在0个文档中引用 软件作者： McLachlan，P.、Munzner，T.、Koutsofios，E.、North、S。 相关软件： 热图；HAMA；嫁接… 主要字段： 计算机科学（68-XX）