ProbView（探测视图） 在11份文件中引用(2005–2018) 软件作者： V.S.拉克希曼南、N.利昂、R.罗斯和V.S.苏布拉曼尼亚。 相关软件： 三重奏；ProTDB；MYSTIQ… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
可观察性测试 22篇文献引用(2001–2022) 软件作者： 亚历山大·塞多拉维奇 相关软件： COMBOS公司；雏菊；西安… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DARCLASS公司 20篇文献引用(2001–2023) 软件作者： De Paepe，Willem E。；Lenstra，Jan Karel；吉里·斯加尔（Jiri Sgall）；Sitters，Ren'e A。；利恩·斯托吉 相关软件： irace；jMetal公司；CP网络 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者： Goldman，Deborah；Istrail，Sorin；朱塞佩·兰西亚；安东尼奥·皮科波尼；布莱恩·瓦伦茨 相关软件： —— 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： Makarim，Rusydi H。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
举起 7份文件引用(2018–2023) 软件作者： 李嘉图（Ricardo Fukasawa）；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： MIPLIB公司；MIPLIB2003；onerow… 主要字段： 运筹学、数学规划（90-XX）
CCUBE公司 4份文件引用（1997年至2013年） 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
标准池-PolyAlgos 5份文件引用(2018–2020) 软件作者： 拉杜·巴尔滕·卢戈詹（Radu Baltean-Lugojan）；露丝·米塞纳 相关软件： 远地点；GloMIQO；GAMS模型… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）
DReX公司 4份文件引用(2015–2022) 软件作者： 拉杰夫·阿鲁尔；Loris D'Antoni；穆昆德·拉戈塔曼 相关软件： 蒙保利；卢斯特；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
MABSys公司 4份文件引用(2010–2016) 软件作者： 弗朗索瓦·莱梅尔；乌尔古普吕，阿斯利 相关软件： 正则链；英迪夫；AIDA… 主要字段： 交换代数（13-XX）；实函数（26-XX）；常微分方程（34-XX）…
LLL分解 2份文件引用(2018–2020) 软件作者： Jose Divasón、Sebastian Joosten、RenéThiemann、Akihisa Yamada 相关软件： Isabelle/HOL；验证LLL；贝列坎·萨森豪斯… 主要字段： 数论（11-XX）；计算机科学（68-XX）
米隆加 2份文件引用（2002年至2008年） 软件作者： 布鲁诺，N。；海因茨，J。；马特拉，G。；Wachenchauzer，R。 相关软件： 投射Noether；克罗内克；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
复杂性分析器 1份文件引用(2021) 软件作者： 艾曼纽尔·海因里；伊曼纽尔·詹德尔；罗曼·佩乔；奥利维尔·泽恩 相关软件： ANTLR；AProVE；TcT公司 主要字段： 计算机科学（68-XX）
MFD-ILP公司 1份文件引用(2022) 软件作者： Fernando H.C.迪亚斯。；露西娅·威廉姆斯；布伦丹·穆米；亚历山大·托梅斯库一世。 相关软件： HISAT；鲑鱼；古罗比… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
中国人民保险股份有限公司 1份文件引用(2023) 软件作者： Vernet，Mathilde；尤恩·皮涅（Yoann Pigné）；埃里克·桑拉维尔 相关软件： GraphStream；SNAP（快照） 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）