萨特利卜 56篇文献引用(2000–2023) 软件作者： 霍尔格·胡斯。；托马斯·苏泽尔 相关软件： 糠；TPTP；随身听… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
GAMUT公司 18篇文献引用(2007–2023) 软件作者： 尤金·努德曼（Eugene Nudelman）、詹妮弗·沃特曼（Jennifer Wortman）、凯文·莱顿·布朗（Kevin Leyton-Brown）、约夫·肖姆（Yoav Shoham） 相关软件： 赌博；CPLEX；MINOS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
蕨类植物 18篇文献引用(2006–2018) 软件作者： 泰杰·豪卡斯（Terje Haukaas）；亚美尼亚语（Armen Der Kiureghian） 相关软件： Matlab；UQLab；Allaire_Scilab… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
QBFLIB公司 17篇文献引用(2004–2019) 软件作者： Giunchiglia，E.，Narizzano，M.，Taccella，A。 相关软件： DepQBF；RAReQS；Bloqer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阶段包 12份文件引用(2018–2024) 软件作者： 罗汉·钱德拉（Rohan Chandra）、钟子源（Zhiyuan Zhong）、贾斯汀·洪茨（Justin Hontz）、瓦尔·麦卡洛赫（Val McCulloch）、克里斯托夫·斯图德（Christoph Studer）、汤姆·戈尔茨坦 相关软件： 相位提升；导缆器流量；PhaseMax… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
MaxSub公司 2份文件引用(2008–2013) 软件作者： Naomi Siew、Arne Elofsson、Leszek Rychlewski、Daniel Fischer 相关软件： 建模师；PROCHECK；PSI-BLAST… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
代理单元格 引用于7份文件(2007–2023) 软件作者： 蒂埃里·埃莫内（Thierry Emonet）、查尔斯·马卡尔（Charles M.Macal）、迈克尔·J·诺斯（Michael J.North）、查尔斯·E·维克沙姆（Charles E.Wickersham）、菲利普·克吕泽尔 相关软件： BacSim；火炬差异；TensorFlow… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
海外建筑运营管理局 引用于7份文件(2019–2023) 软件作者： 杨成润、秋本裕二、金大元、尤德尔 相关软件： 超波段；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
MQ库 6篇文献引用(2018–2022) 软件作者： 伊恩·邓宁；斯瓦提古普塔；约翰·西尔伯霍尔茨 相关软件： github；莫塞克；Biq Mac… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DAFI公司 5份文件引用(2020–2023) 软件作者： 张新雷；卡洛斯·米歇尔·斯特罗费尔；肖恒 相关软件： EnKF；github；OpenFOAM… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
资产 4份文件引用(1992–2007) 软件作者： 唐纳德·布朗（Donald E.Brown）。；克拉伦斯·L·皮塔德。；安德鲁·斯皮兰（Andrew R.Spillane）。 相关软件： 自动化；NRL；ProVerif… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
多层提取 4份文件引用(2017–2023) 软件作者： 詹姆斯·威尔逊（James D.Wilson）。；约翰·帕洛威奇（John Palowitch）；Shankar巴米迪；诺贝尔，安德鲁B。 相关软件： 卢万；斯巴克尔；PMA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；运筹学、数学规划（90-XX）
ViZDoom公司 引用于3份文件(2018–2022) 软件作者： MichałKempka、Marek Wydmuch、Grzegorz Runc、Jakub Toczek、Wojciech Ja she kowski 相关软件： 亚当；AI2-THOR；MuJoCo… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
电网BnB 1份文件引用(2015) 软件作者： Caromel，D.，di Costanzo，A.，Baduel，L.，Matsuoka，S。 相关软件： TTTPLOTS；LocalSolver；COMET… 主要字段： 运筹学、数学规划（90-XX）
MoVES公司 引用于3份文件(2008–2019) 软件作者： 卢西亚诺·博诺尼；Marco Di Felice；加布里埃尔·D’Angelo；米歇尔·布拉库托；洛伦佐·多纳蒂耶洛 相关软件： 使徒；Python PDEVS；GridSpice… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
帖子 引用于3份文件(2012–2016) 软件作者： 德雷克·霍尔姆斯 相关软件： FortSP；哎呀；SIPLIB… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
模拟病人 引用于3份文件(2009–2018) 软件作者： Huang，Huei-Chuen；Lee，Loo-Hay；宋海清；布赖恩·托马斯·埃克 相关软件： – 主要字段： 运筹学、数学规划（90-XX）
CloudBLAST（云爆炸） 1份文件引用(2013) 软件作者： A.Matsunaga、M.Tsugawa、J.Fortes 相关软件： R；CSAR；joda… 主要字段： 生物学和其他自然科学（92-XX）
哈尔_ 2份文件引用(1992–2000) 软件作者： 克里斯·霍克（Chris Houck）、古尔·阿加（Gul Agha） 相关软件： 蟒蛇；CHARM++；Oz… 主要字段： 计算机科学（68-XX）
元欺诈 2份文件引用(2020–2022) 软件作者： 艾哈迈德·阿巴斯、科南·阿尔布雷希特、安东尼·万斯、詹姆斯·汉森 相关软件： 科恩拉布；EBglmnet；插入符号… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OREX-J公司 1份文件引用(2013) 软件作者： 朗（Jan Christian）；托马斯·威贾贾 相关软件： 北极星；BEAGLE公司；j金属… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
TDBS公司 1份文件引用（2008年） 软件作者： 阿尼斯·库布（Anis）；安德雷·库尼亚；Alves，M'ario；爱德华多·托瓦尔 相关软件： I.P.P.公司。 主要字段： 计算机科学（68-XX）
测试 1份文件引用(2020) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFN；NOMAD公司；DFLBOX… 主要字段： 运筹学、数学规划（90-XX）
阿斯匹罗 在0个文档中引用 软件作者： 马丁·格布瑟（Martin Gebser）；菲利普·奥伯迈耶（Philipp Obermeier）；托马斯·奥托；托尔斯滕·绍布（Torsten Schaub）；奥昆特Sabunu；Nguyen，Van；儿子Tran Cao 相关软件： – 主要字段： –