URDME公司 在25份文件中引用(2009–2023) 软件作者： Drawert，B.，Engblom，S.，Hellander，A。 相关软件： MesoRD；步骤；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
ACL2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；J Strother摩尔 相关软件： ACL2；芝诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
CreaTools公司 在0个文档中引用 软件作者： 劳伦特·吉格斯（Laurent Guigues）、爱德华多·恩里克·达维拉·塞拉诺（Eduardo Enrique Dávila Serrano）、珍妮·皮埃尔·罗斯（Jean-Pierre Roux） 相关软件： – 主要字段： –