SCEL公司 18篇文献引用(2014–2023) 软件作者： 洛科·德·尼古拉（Rocco De Nicola）、迭戈·拉特拉（Diego Latella）。Alberto Lluch Lafuente、Michele Loreti、Andrea Margheri、Mieke Massink、Andrea Morichetta、Rosario Pugliese、Francesco Tiezzi、Andrea Vandin 相关软件： 科莱姆；莫德；CARMA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；科莱姆… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
PyBioNetFit公司 1份文件引用(2020) 软件作者： 密特拉，ED；苏德曼，R。；科尔文，J。；艾伦科夫。；胡，A。；索罗，HM；RG波斯纳；拉瓦切克，WS 相关软件： COPASI；AMIGO公司；碲… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
ProbDiVinE公司 2份文件引用(2014–2018) 软件作者： Barnat，J。；Brim，L。；塞尔纳，I。；塞斯卡，M。；J.图莫娃。 相关软件： 棱镜；通过；拉比尼泽… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）