马诺普特 163篇文献引用(2013–2024) 软件作者： 尼古拉·鲍马尔（Nicolas Boumal）；Bamdev Mishra；P.-A.Absil；鲁道夫·塞普尔赫里 相关软件： RTRMC；皮曼诺普；ROPTLIB… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用（1999年-2023年） 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LTSmin公司 25篇文献引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布罗姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SymmSpin公司 15篇文献引用(2000–2010) 软件作者： 博什纳奇奇，德拉甘作者简介；Dams，Dennis；莱泽克·霍伦德斯基 相关软件： 自旋蛋白；TopSpin公司；茂物… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
CAESAR_解决 在11份文件中引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ADSNARK公司 12份文件引用（2016年-2023年） 软件作者： Backes，M.、Barbosa，M.，Fiore，D.、Reischuk，R.M。 相关软件： 皮诺奇；C的SNARKs；格佩托… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
决策支持系统 3份文件引用(2008–2022) 软件作者： 保罗·吉尔伯特 相关软件： R；dlm；KFAS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SCC人行道 8份文件引用(2020–2023) 软件作者： 王一元；蔡少伟；陈洁江；尹明浩 相关软件： NuMVC；irace；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
狂喜 7份文件引用(2005–2020) 软件作者： Jeannet B、dArgenio P、Larsen K 相关软件： 棱镜；参数；PROPhESY… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
CLUE公司 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
PTrie公司 5份文件引用(2017–2021) 软件作者： Peter Gjol Jensen；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；LoLA；zUpdate… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
深度合成 4份文件引用(2022–2023) 软件作者： Mohammadosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening 相关软件： 基线；亚当；古罗比… 主要字段： 计算机科学（68-XX）
SAMC公司 4份文件引用(2019–2020) 软件作者： Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件： MODIST；铁人舰队；D批次… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
宾根 3份文件引用(2020–2021) 软件作者： 马西耶·齐埃巴（Maciej Zieba）、彼得·森贝雷基（Piotr Semberecki）、塔雷克·埃尔·盖利（Tarek El-Gaaly）、托马斯·特兹辛斯基（Tomasz Trzcinski） 相关软件： SIFT；YFCC1亿；SOS网… 主要字段： 计算机科学（68-XX）
定时丽贝卡 3份文件引用(2016–2020) 软件作者： Khamespanah，E.，Sirjani，M.，Sabahi-Kaviani，Z.，Khosravi，R.，Izadi，M。 相关软件： 丽贝卡；Uppaal；旋转… 主要字段： 计算机科学（68-XX）
显式PRISMSymm 引用于2份文件(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；蒂伦·帕特尔 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Kuai公司 引用于2份文件(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
PLiNIO公司 在0个文档中引用 软件作者： Daniele Jahier Pagliari、Matteo Risso、Beatrice Alessandra Motetti、Alessio Burrello 相关软件： HAWQ；MorphNet；HardCoReNAS… 主要字段： –
RecInt公司 1份文件引用(2016) 软件作者： 亚历克西斯·布鲁斯特（Alexis Breust）；克里斯托夫·查博特；Jean-Guillaume杜马；劳伦特·福斯（Laurent Fousse）；帕斯卡·乔治 相关软件： GAUT；mpFq；LinBox… 主要字段： 数值分析（65-XX）