CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；Gecode公司；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
积分求解器 3份文件引用(2013–2018) 软件作者： 蒂亚戈·蒙塔赫 相关软件： Flyspeck；Matlab；PASCAL-XSC… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…