加拿大 24篇文献引用(1987–2018) 软件作者： D.W.兰德。 相关软件： 分裂；SYMMGRP公司。最大值；diffgrob2… 主要字段： 非结合环与代数（17-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
剑麻 13份文件引用(1988–2010) 软件作者： James McGraw等人。 相关软件： 西尔克；伊甸园；Lucid… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
分割 9份文件引用(1987–2012) 软件作者： 兰德，D.W。；温特尼茨，P。；汉斯·扎森豪斯 相关软件： CANONIK公司；RADICAL（径向）；diffgrob2… 主要字段： 非结合环与代数（17-XX）；拓扑群，李群（22-XX）；偏微分方程（35-XX）…
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： 克莱尔·莱夫维尔（Claire Lefèvre）、帕斯卡尔·尼古拉斯（Pascal Nicolas）、圣埃芬·恩戈马（Stéphane Ngoma） 相关软件： 亚萨特；格林戈；OMiGA… 主要字段： 计算机科学（68-XX）
CPBPV公司 4份文件引用(2010–2023) 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；毒蛇… 主要字段： 计算机科学（68-XX）
米莫拉 引用于3份文件(1995–2006) 软件作者： S Bashford、U Bieker、B Harking、R Leupers、P Marwedel、A Neumann、D Voggenauer；多特蒙德大学 相关软件： 火焰；Sehwa；ISDL… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
勒梅 引用于3份文件(1995–2019) 软件作者： H·特里基。 相关软件： MIMOLA公司；MAHA；PIPS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
JBMC公司 2份文件引用(2021–2022) 软件作者： 卢卡斯·科尔代罗（Lucas Cordeiro）；帕斯卡·凯塞利（Pascal Kesseli）；Daniel Kroening；Peter Schrammel；马雷克·特提克 相关软件： OpenJML；凯伊；JML单位… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
JNuke公司 引用于3份文件(2004–2010) 软件作者： 西里尔·阿尔托；维克多·舒潘；阿明·比尔（Armin Biere）；尤格斯特，帕斯卡；鲍尔，马塞尔；鲍里斯·兹维穆勒 相关软件： 班德拉；快速检查；TGV… 主要字段： 计算机科学（68-XX）
EasyMSG（简易消息） 1份文件引用(2002) 软件作者： 帕斯卡·哈维 相关软件： POOMA；PETSc公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…