MatSol公司 25篇文献引用(2010–2020) 软件作者： 托马斯·布尔佐博哈特；亚历山德罗斯·马科普洛斯；托马斯·科祖贝克 相关软件： 总FETI；TFETI；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Barcelogic工具 9份文件引用(2005–2009) 软件作者： 阿尔伯特·奥利弗拉斯；罗伯特·尼文胡斯 相关软件： SMT-LIB；z3；迷你卫星… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…