RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
向外旋转 45篇文献引用(1999–2021) 软件作者： 美国兹威克。 相关软件： CirCut公司；塞杜米；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…