SnapPea公司 167篇文献引用(1992–2024) 软件作者： 帕特里克·J·卡拉汉。；希尔德布兰德，马丁五世。；周，Jeffrey R。 相关软件： SnapPy；捕捉；Regina… 主要字段： 群论与推广（20-XX）；复变量函数（30-XX）；微分几何（53-XX）…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者： INRIA公司；克莱门特·玛丽亚；Jean-Daniel Boissonnat；马克·格利塞（Marc Glisse）；玛丽埃特·伊维内克 相关软件： 裂土器；脂肪酸；酒神… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
EasyLocal公司++ 32篇文献引用(2001–2022) 软件作者： Di Gaspero，L.，Schaerf，A 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
比盖布拉 22篇文献引用(1994–2023) 软件作者： 阿布·阿莫维奇，拉法；贝特弗里德·福泽 相关软件： 克利福德；枫树；客户… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
函数数组 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
qpDUNES公司 16篇文献引用（2015年至2022年） 软件作者： Janick Frasch；汉斯-约阿希姆·费雷尔；莫里茨·迪尔；米兰·武科夫 相关软件： qpOASES；ACADO；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ABC4EFT公司 14篇文献引用(2012–2023) 软件作者： 李浩林；任哲；肖明磊；于江浩；郑宇辉 相关软件： Z；REPSN；目标@形状; … 主要字段： 数论（11-XX）；代数几何（14-XX）；偏微分方程（35-XX）…
c2i公司 10篇文献引用(2016–2023) 软件作者： 夏尔马，拉胡尔；亚历克斯·艾肯 相关软件： z3；胡迪尼；Eldarica… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
因果KinetiX 6篇文献引用(2019–2022) 软件作者： 菲斯特，尼克拉斯；Stefan Bauer；乔纳斯·彼得斯 相关软件： JCI；冠状病毒；DDL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
国防部部长 6篇文献引用(2013–2018) 软件作者： Hasan，M.，Hossain，S.，Steihaug，T。 相关软件： ColPack；ADOL-C；Harwell-Being稀疏矩阵集合… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
trlib数据库 5份文件引用(2018–2022) 软件作者： Felix Lenders、Christian Kirches、Andreas Potschka 相关软件： HSL-VF05；FEniCS；GQTPAR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
后勤数据系统 2份文件引用(2022) 软件作者： 阿吉拉尔·桑胡安，B。；加西亚·加里多，V.J。；科罗拉多州克拉伊克。；奈克，S。；威金斯，S。 相关软件： LCS工具；屏障工具；LCS MATLAB工具包… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）
谎言分析 1份文件引用(2021) 软件作者： Martin，F.、Bekkers，E.、Duits，R。 相关软件： Fiberfox公司 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；计算机科学（68-XX）…
蝗虫 1份文件引用(2017) 软件作者： 马克·布罗克施米特（Marc Brockschmidt）；陈玉新；Kohli，Pushmeet；克利须那，悉达多；丹尼尔·塔洛 相关软件： 蚱蜢；IronFleet公司；SeLoger… 主要字段： 计算机科学（68-XX）
电机原理图 1份文件引用(2016) 软件作者： Mitul Saha、Michael Levitt、Wah Chiu 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SO旋转 1份文件引用(2016) 软件作者： 卡多佐，努诺；艾曼纽尔·科斯塔（Emmanuel-Costa，David）；努诺Gonçalves；西蒙斯，C。 相关软件： 表格；克莱戈；苏西诺 主要字段： 拓扑群，李群（22-XX）；数值分析（65-XX）；计算机科学（68-XX）…