生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
马蒂斯 34份文件引用(2007–2022) 软件作者： 安托万·吉拉德；乔治·帕帕斯。 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
NTS的模型逻辑 在0个文档中引用 软件作者： Tjark韦伯；埃里克森，拉尔斯·亨里克；约阿希姆·帕罗；约翰·博格斯特罗姆；拉莫纳斯·古特科瓦斯 相关软件： NLambda；路易斯；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FaPAS公司 4份文件引用(2013–2018) 软件作者： B.约丹诺夫，C.贝尔塔 相关软件： NuSMV；VeriSIMPL；算法97… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；A.邦迪。；格林，我。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）；计算机科学（68-XX）