ELAN公司 106篇文献中引用（1996-2020） 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
硝酸盐 103篇文献引用(1997–2023) 软件作者： Michael Pernice；霍默·沃克。 相关软件： 凯利；PETSc；阿兹特科… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SNLSDP公司 40篇文献引用(2006–2023) 软件作者： Kim-Chuan Toh、Pratik Biswas、Yinyu Ye 相关软件： SeDuMi公司；SFSDP；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；GitHub；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
魁北克++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；鹌鹑；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NiVER公司 21篇文献引用(2005–2023) 软件作者： Sathiamoorthy Subbarayan；Dhiraj K.普拉丹。 相关软件： MiniSat；糠；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
神经网状物 13份文件引用(2011–2023) 软件作者： 弗劳克·Günther；斯特凡·弗里希 相关软件： R；插入符号；ggplot2… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；辅酶q；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
重新计划 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao市Kombhampati；做，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
女妖 5份文件引用(2007–2020) 软件作者： 约翰·科杜马尔（John Kodumal）；亚历克斯·艾肯 相关软件： 锈蚀；GitHub；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
英里 7份文件引用(1995–2021) 软件作者： 托马斯·卢瑟福 相关软件： 路径求解器；GAMS；MINOS… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
传感器DCSP 4份文件引用(2005–2020) 软件作者： 拉蒙贝加尔；卡梅尔·多姆什拉克；塞萨尔·费尔南德斯；卡拉·戈麦斯；Krishnamachari，巴斯卡尔；巴特·塞尔曼；瓦尔斯，马格达 相关软件： DisChoco；CSPLib；算法97… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
公正控制 6篇文献引用(2020–2024) 软件作者： 帕特里克·R·约翰斯通（Patrick R.Johnstone）。；乔纳森·埃克斯坦 相关软件： UNLocBoX；LIBSVM；UCI-ml… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际历史GC 4份文件引用(2014–2022) 软件作者： 拉杰夫·戈尔；吉米·汤姆森；吴杰西 相关软件： fCube；ILTP；直觉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
可再生能源2 3份文件引用(2011–2013) 软件作者： 谷歌 相关软件： PCRE；数字Py；Rcpp… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
工具 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DPF（DPF） 3份文件引用(2013–2020) 软件作者： Gligoric，米洛斯；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
地图_LCM_Dist_ChronoBT 3份文件引用(2020–2021) 软件作者： Nadel，A.、Ryvchin，V.、Chris Cameron、Xing Jin、Kevin Leyton Brown 相关软件： MiniSat；葡萄糖；YalSAT… 主要字段： 计算机科学（68-XX）
MBT优化器 3份文件引用(2021–2023) 软件作者： Tuen Trung Truong、Tuan Hang Nguyen 相关软件： GitHub；蟒蛇；Matplotlib… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OpenDrift（开放漂移） 3份文件引用(2020–2022) 软件作者： 达吉斯塔德，肯塔基州；Röhrs，J。；布雷维克。；奥德兰兹维克，B 相关软件： 朱庇特；ROMS；Matplotlib… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
多胞菌属 3份文件引用(2020–2023) 软件作者： 马库斯·加维；约翰·伯克特 相关软件： 组织环境信息系统；古罗比；CPLEX… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
RNA2倍 2份文件引用(2011–2015) 软件作者： 罗尼·洛伦兹 相关软件： KineFold；FFTbor2D；FFTW… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
沃尔 2份文件引用(2023–2024) 软件作者： 克里斯托弗·杰斐逊；Rebecca Waldeker；Wilson，Wilf A.威尔逊。 相关软件： 极乐；有向图；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）
Argtools公司 1份文件引用(2017) 软件作者： Samer Nofal、Katie Atkinson、Paul E.Dunne 相关软件： 糠；MiniSat；葡萄糖… 主要字段： 计算机科学（68-XX）
BGSL公司 1份文件引用(2023) 软件作者： 史蒂夫·邓恩（Steve Dunne）；费雷拉，乔昂·F。；亚历山大·门德斯（Alexandra Mendes）；坎贝尔·里奇；比尔·斯托达特（Bill Stoddart）；泽达，弗兰克 相关软件： – 主要字段： 计算机科学（68-XX）
NetOrigin（网络来源） 在0个文档中引用 软件作者： 朱利安·马尼茨（Juliane Manitz）、乔纳斯·哈伯林（Jonas Harbering） 相关软件： hergm；gergm；ergm… 主要字段： –
重新CSP 1份文件引用(2020) 软件作者： 卡洛斯·加林多；西田直树；乔塞普·席尔瓦（Josep Silva）；萨尔瓦多塔马利特 相关软件： 考德；埃尔朗；格拉夫维兹 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
海鸥 1份文件引用(2022) 软件作者： Jan Klosa、Noah Simon、Dörtet Wittenburg 相关软件： SGL；HieRFIT；DropLasso… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）