玛丽 8份文件引用(2013–2022) 软件作者: 莫妮卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克 相关软件: 窥探;棱镜;SABRE… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
REBA公司 4份文件引用(2019–2021) 软件作者: 莫汉·斯里德哈兰;Michael Gelfond;张世奇;杰里米·怀亚特 相关软件: 人民;CCalc;平滑… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
生动 3份文件引用(2009–2017) 软件作者: 阿库达斯,康斯坦丁;塞尔默布林斯乔尔 相关软件: SNARK;米扎尔;数学… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);相对论与引力理论(83-XX)
制图员 2份文件引用(2021–2022) 软件作者: Pawel Sobocinski、Paul W Wilson、Fabio Zanasi 相关软件: Catlab;LightGraphs.jl;定量的 主要字段: 范畴理论;同调代数(18-XX)
向ATINF致敬 2份文件引用(2001–2012) 软件作者: 卡费拉、里卡多;尼古拉斯·佩尔蒂埃(Nicolas Peltier);弗朗索瓦·普伊特 相关软件: GEX;日本国债交易所;发现者… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TBUDDY(待定) 1份文件引用(2023) 软件作者: Randal E.布莱恩特。 相关软件: Paracooba;基萨特;SBSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)