CGAL公司 422篇文献引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
图 113篇文献引用(2013–2022) 软件作者： Sommer，克里斯蒂安 相关软件： 算法97；GraphChi；Pregel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
辛特夫 40篇文献引用(2007–2023) 软件作者： Hasle，Geir（编辑）；Lie，Knut-Andreas（编辑）；Ewald Quak（编辑） 相关软件： Matlab；VRP；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
神童 24篇文献引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
KQML公司 在16份文件中引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Lambda-Clam公司 24篇文献引用(1997–2012) 软件作者： J.Richardson、A.Smaill、I.Green 相关软件： IsaPlanner；Nuprl；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
VISSIM公司 21篇文献引用(2005–2022) 软件作者： PTV Planung Transport Verkehr AG公司 相关软件： Matlab；Z树；Sobol… 主要字段： 统计学（62-XX）；统计力学，物质结构（82-XX）；运筹学，数学编程（90-XX）…
CERR公司 20篇文献引用(2006–2022) 软件作者： J.迪西、A.I.布兰科、V.H克拉克 相关软件： Ipopt；Matlab；TROTS… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MetaMorph变形 18篇文献引用(1999–2010) 软件作者： 马图拉纳，F。；沈伟（Shen，W.）。；D.H.诺里。 相关软件： Aglet；湿润+；发明人… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
简历 9份文件引用(1997–2023) 软件作者： 尤瓦尔·沙哈尔；马克·穆森 相关软件： 蛋白质；前缀跨度；铲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TuLiP公司 15篇文献引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： PESSOA；科西马；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
枸杞 14篇文献引用（1995年至2013年） 软件作者： 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件： 枫树；6月2日；BVPh… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
梅赛格三世 11份文件引用(2000–2020) 软件作者： Messner，S.和Strubegger，M。 相关软件： 马卡尔；CPLEX；OSeMOSYS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）…
氟氯化钙 11份文件引用(2006–2021) 软件作者： 霍尔多布勒，S。；卡拉巴耶夫，E。；O.斯科沃尔佐娃。 相关软件： FODD-计划；探测日志；CCalc… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际会计准则 11份文件引用(2000–2023) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： MESSAGEix；TROTS；SPEA2… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
OMPL公司 10篇文献引用(2013–2023) 软件作者： ⑩ucan，I.A.，Moll，M.，Kavraki，L.E。 相关软件： CGAL；核心2；安慰… 主要字段： 凸和离散几何（52-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）…
OptiRisk公司 10篇文献引用(2008–2022) 软件作者： —— 相关软件： TwitterMonitor；磁粉检测；PySP… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
QualNet公司 5份文件引用(2008–2016) 软件作者： SCALABLE网络技术公司。 相关软件： AODV；ns-2；HOL/SPIN… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
部队NLP 9份文件引用(2018–2023) 软件作者： 扎内利，A。；多马希迪，A。；赫雷斯，J。；M.莫拉里。 相关软件： ACADO；qpOASES；GRAMPC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
PlanMine公司 8份文件引用（2000-2007年） 软件作者： 穆罕默德·扎基。；Neal Lesh；Mitsunori小原 相关软件： 铲刀；BIDE；CloseGraph… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao Kombhampati；多，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GAMS模型 8份文件引用(2007–2020) 软件作者： GAMS游戏 相关软件： GAMS；林多；Matlab… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
AltAlt键 6篇文献引用(2002–2009) 软件作者： Romeo Sanchez Nigenda、Xuan Long Nguyen、Subbarao Kambhampati 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DISPRO公司 7份文件引用(1981–2017) 软件作者： V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件： 规划师；迪斯内尔；Matlab… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
承诺 5份文件引用(1999–2022) 软件作者： Lee，Won Jun；Lee，Kun Chang先生 相关软件： Web-HIPRE；PETAPS公司；Visual Basic 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
三脚架 3份文件引用(2006–2007) 软件作者： Davis R.D.、Kumaran K.、Liu G.、Saniee I。 相关软件： AMPL；LOQO；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ABLE公司 1份文件引用(2019) 软件作者： J.P.Bigus、D.A.Schlosnagle、J.R.Pilgrim、W.N.Mills III、Y.Diao 相关软件： 精密路径指示器；多维数据集浏览器；兄弟竞争… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
克拉罗 4份文件引用（2013-2021） 软件作者： Thanh T.L.Tran、Liping Peng、Yanlei Diao、Andrew McGregor、Anna Liu 相关软件： 五月BMS；MYSTIQ；三重奏… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
控制工具箱 3份文件引用(2020–2022) 软件作者： 马库斯·吉夫塔勒（Markus Giftthaler）、迈克尔·纽内特（Michael Neunert）、马库斯·斯泰布尔（Markus Stäuble）、乔纳斯·布赫利（Jonas Buchli） 相关软件： 阿卡多斯；ACADO；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
水晶球 4份文件引用(2019–2022) 软件作者： 马特·索斯；拉加夫·库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；OTTER… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
投掷 2份文件引用(2020–2021) 软件作者： J.Lee、M.X.Grey、S.Ha、T.Kunz、S.Jain、Y.Ye、S.S.Srinivasa、M.Stilman、C.K.Liu 相关软件： MuJoCo；活性氧；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
FaST机架 4份文件引用(2019–2021) 软件作者： Sylvia L.Herbert、Mo Chen、SooJean Han、Somil Bansal、Jaime F.Fisac、Claire J.Tomlin 相关软件： SOTER；LTLMoP；Python机器人… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MetaSim公司 2份文件引用(2017–2018) 软件作者： 哥伦比亚特区里希特。；奥特·F。；A.F.奥赫。；施密德，R。；胡森，D.H。 相关软件： 一个；梅根；爆炸… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
第六 4份文件引用(2014–2024) 软件作者： 沙弗尼希特（Martin F.G.Schaffernicht）。；Groesser，Stefan N。 相关软件： 认知；DYNAMO公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
自适应压力测试.jl 1份文件引用(2021) 软件作者： 里奇·李 相关软件： 违约；S-TaLiRo；OpenAI健身房… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
AROC公司 3份文件引用（2021年-2023年） 软件作者： Kochdumper，N。；Gruber，F。；Schürmann，B。；加曼，V。；Klischat，M。；阿尔特霍夫，M。 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
公鸭 2份文件引用(2020–2024) 软件作者： 俄罗斯特德雷克；德雷克开发团队 相关软件： MuJoCo；CAZSL公司；Optimica… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
fireLib文件 2份文件引用(2012–2019) 软件作者： 贝文斯，C。 相关软件： CUDA；表现；FARSITE… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
POGTGolog公司 2份文件引用(2020–2021) 软件作者： 阿尔贝托·芬齐；托马斯·卢卡西维奇 相关软件： GTGolog；赌博；高尔夫 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
模拟活动 2份文件引用(2009–2019) 软件作者： 迈斯沃克 相关软件： Matlab；UMDES；Simulink… 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
交换机 1份文件引用(2019) 软件作者： 约西亚·约翰斯顿；罗德里戈·亨里克斯·奥巴；本杰明·马卢恩达；马蒂亚斯·弗里普 相关软件： 皮普萨；城市；Oemof… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
中央司令部 2份文件引用(2006–2013) 软件作者： Young，W。；Taylor，医学硕士。；汤普森，R.G。；科尔，I。；J.福斯特。 相关软件： —— 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
dMPC公司 2份文件引用(2020–2021) 软件作者： 伊芙琳娜·斯托亚诺娃（Ivelina Stoyanova）；格穆尔·库库埃尔登；古斯塔沃·阿拉贡；伊达尔戈·罗德里格斯，迭戈一世。；安东尼·蒙蒂（Antonello Monti）；Johanna Myrzik 相关软件： Pyomo；CPLEX公司 主要字段： 系统论；控制（93-XX）
超张力 在0个文档中引用 软件作者： 毛里西奥·塞西利奥·马格纳加诺（Maurício Cecílio Magnaguagno）、菲利佩·梅内古齐（Felipe Meneguzzi）、拉文德拉·德席尔瓦（Lavindra de Silva） 相关软件： ROS监测；MCMAS；商店2… 主要字段： 计算机科学（68-XX）
L5套件 在0个文档中引用 软件作者： 约翰·休斯顿、吉多·祖德霍夫、卢卡·贝加米尼、叶亚伟、陈龙、阿什什·贾恩、萨米·奥马里、弗拉基米尔·伊格洛维科夫、彼得·昂德鲁斯卡 相关软件： H3D；ApolloScape；BDD100k… 主要字段： ——
MeVisLab公司 2份文件引用（2012年至2016年） 软件作者： 彼得·科尔曼（Peter Kohlmann）、托比亚斯·博斯坎普（Tobias Boskamp）、亚历山大·科恩（Alexander Köhn）、克里斯蒂安·里德（Christian Rieder）、安德烈·申克（Andrea Schenk）、弗洛里安·林克（Florian Link）、乌维·暹斯（Uwe Siems）、马库斯·巴南（ 相关软件： 生物图像XD；VirtualGL；打开Inventor… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
OpenMORDM公司 1份文件引用(2020) 软件作者： 哈德卡·D、赫尔曼·J、里德·P、凯勒·K。 相关软件： SALib公司；探索性建模工作台；Python… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PETAPS公司 2份文件引用(1995–2006) 软件作者： 约瑟夫·戴维斯（Joseph G.Davis）。；大卫·桑达拉姆 相关软件： Web-HIPRE；承诺；莲花1-2-3 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
皮诺奇 2份文件引用(2022) 软件作者： Carpentier，J.，Saurel，G.，Buondonno，G.、Mirabel，J.、Lamiraux，F.、Stasse，O.、Mansard，N。 相关软件： RBDL；Ipopt；力NLP… 主要字段： 粒子和系统力学（70-XX）；系统论；控制（93-XX）
RNA静音 2份文件引用(2012–2015) 软件作者： Churkin A、Gabdank I、Barash D 相关软件： jViz公司。Rna；多重折叠；RDMAS… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；生物学和其他自然科学（92-XX）
城市 在0个文档中引用 软件作者： 慕尼黑科技大学ENS；约翰内斯·多夫纳（Johannes Dorfner）；康拉德·施恩勒贝尔（Konrad Schönleber）；等。 相关软件： 皮普萨；交换机；Oemof… 主要字段： ——
AggGen公司 在0个文档中引用 软件作者： Xinnuo Xu、Ondřej Dušek、Verena Rieser、Ioannis Konstas 相关软件： 阿拉纳；TEACh；ELIZA… 主要字段： 计算机科学（68-XX）
ALSE公司 在0个文档中引用 软件作者： Elsheikh，R.、Mohamed Shariff，A.R.B.、Amiri，F.、Ahmad，N.B.、Balasurram，S.K.、Soom，M.A.M。 相关软件： 微生物；R；值 主要字段： ——
容量扩展 在0个文档中引用 软件作者： 卢卡斯·埃利亚斯·库珀（Lucas Elias Kuepper）；霍尔格·泰希格拉贝尔（Holger Teichgraeber）；亚当·勃兰特 相关软件： 能源模型；皮普萨；迪特… 主要字段： ——
达尔文SPL 1份文件引用(2018) 软件作者： Nieke，M.、Engel，G.、Seidl，C。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
网格香料 1份文件引用(2019) 软件作者： K.Anderson、J.Du、A.Narayan、A.E.Gamal 相关软件： 使徒；Python PDEVS；GTW… 主要字段： 运筹学、数学规划（90-XX）
高频燃气轮机 在0个文档中引用 软件作者： Prabhat Hegde、Wester C.H.Schoonenberg、Dakota Thompson、Amro M.Farid 相关软件： xml2struct；SysML；Matlab公司 主要字段： ——
MADP工具箱 1份文件引用(2016) 软件作者： 奥利霍克，弗兰斯·A。；马蒂杰斯·斯帕（Matthijs T.J.Spaan）。；塔维恩，巴斯；菲利普·罗贝尔；乔·奥·梅西亚斯。 相关软件： —— 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
马德拉斯 在0个文档中引用 软件作者： 阿尼尔班·桑塔拉；鲁德拉，Sohan；布里迪，Sree Aditya；考希克、梅哈；阿比舍克·奈克；巴拉特·考尔；巴拉拉曼·拉文德兰 相关软件： Deepdrive；ChauffeurNet；卡拉… 主要字段： 计算机科学（68-XX）
毫安时 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： —— 主要字段： 计算机科学（68-XX）
马拉松2 1份文件引用(2023) 软件作者： S.Macenski、F.Martín、R.White、J.G.Clavero 相关软件： Frama-C；达夫尼；ROS… 主要字段： 计算机科学（68-XX）
MicroLEIS公司 在0个文档中引用 软件作者： De la Rosa，D.、Mayol，F.、Diaz Pereira，E.、Fernandez，M.、De la Rosa，D。 相关软件： ALSE；R；铝合金 主要字段： ——
MPDopt公司 1份文件引用(2017) 软件作者： Summers S，Bewley TR公司 相关软件： Matlab；社会保险公司 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；系统论；控制（93-XX）
RutasOptiRed公司 1份文件引用(2018) 软件作者： Roanes-Lozano，E。；埃尔南多，A。；加西亚-阿尔瓦雷斯，a。；梅萨，L。；González-Franco，I。 相关软件： ATISMART公司；算法97 主要字段： 运筹学、数学规划（90-XX）
Simox公司 在0个文档中引用 软件作者： N.Vahrenkamp、M.Kröhnert、S.Ulbrich、T.Asfour、G.Metta、R.Dillmann、G.Sandini 相关软件： 木偶；辛博迪；RBDL… 主要字段： ——
蛇机器人运动 1份文件引用(2022) 软件作者： 安娜·西比尔斯卡·莫罗齐维奇；雅库布·莫·阿林；阿伊莎·哈米德；费尔南德斯，玛丽亚·莫利纳；安德烈·奥尔迪斯 相关软件： github；Matlab公司 主要字段： 粒子和系统力学（70-XX）；系统论；控制（93-XX）
SpineOpt选项 在0个文档中引用 软件作者： 伊勒曼，马伦；库维利奥提斯·利斯卡托斯，伊索纳斯；黄江毅；约瑟夫·狄龙（Joseph Dillon）；Ciara O'Dwyer；托皮·拉斯库；马林·曼努埃尔（Manuel Marin）；克里斯·蓬塞莱特（Kris Poncelet）；朱哈基维卢马 相关软件： 郁金香轮廓拟合.jl；根.jl；Pypsa… 主要字段： ——
VST（垂直变速箱） 1份文件引用(2016) 软件作者： 电力工程中心（CEPE） 相关软件： —— 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…