AXIOM公司 173篇文献引用(1992–2022) 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/axiom-website/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
Satallax公司 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
IBM草稿行 34份文件引用(1974–2021) 软件作者： 理查德·詹克斯（Richard Jenks）；国际商用机器公司 相关软件： 枫树；伊斯兰教；AXIOM… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
大学数学 34份文件引用(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： github；Coq；立方… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
阿尔多 26篇文献引用（1997年-2014年） 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： 公理；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
海绵体 23篇文献引用(2001–2021) 软件作者： A.P.道伊德 相关软件： TETRAD公司；HdBCS；玻璃… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
立体agda 引用于17份文件(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
报价 引用于17份文件(1993–2003) 软件作者： 德里克·霍尔特（Derek F Holt）；莎拉·里斯 相关软件： 间隙；凯利；ATLAS集团代表… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明；TPTP；MaLARea… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GeoCoq公司 10篇文献引用(2007–2022) 软件作者： 迈克尔·比森、皮埃尔·布特里、加布里埃尔·布劳恩、查理·格里斯、朱利安·纳布克斯 相关软件： Coq；日本国债交易所；伊莎贝尔/伊萨尔… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克里普克 8份文件引用(1980–2005) 软件作者： 迈克尔·麦克罗比（Michael A.McRobbie）。；Thistlewaite，Paul B。；罗伯特·梅耶（Robert K.Meyer）。 相关软件： TABLEAUX公司；GLEFatinf公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
遗传有限集 7份文件引用(2015–2020) 软件作者： 劳伦斯·保尔森 相关软件： 有限自动机HF；Coq；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
HgMUS公司 7份文件引用(2015–2022) 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；若昂·西尔瓦侯爵 相关软件： 信标；中尉；ELK… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
EL2MCS公司 5份文件引用(2015–2018) 软件作者： Arif，M.F.，Mencía，C.，Marques-Silva，J。 相关软件： 信标；只是；HgMUS… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
认识逻辑 4份文件引用(2020–2021) 软件作者： Asta Halkjær来源 相关软件： 存档正式证据；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
WebODE（网络代码） 4份文件引用(2002–2008) 软件作者： 科乔，奥斯卡尔；Fernández-López，玛丽亚诺作者简介；戈梅斯·佩雷斯，亚松森；奥斯卡·文森特 相关软件： 蛋白质；OntoEdit；OilEd… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
FriCAS公司 3份文件引用(2015–2019) 软件作者： 瓦尔德克·希比施 相关软件： 公理；渐近线；HAP… 主要字段： 场论与多项式（12-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
FRISCO公司 3份文件引用(1999–2016) 软件作者： FRISCO财团 相关软件： PoSSo公司；符号数据；PHCpack… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；实函数（26-XX）…
LogAnswer（日志应答） 2份文件引用(2008) 软件作者： 乌尔里希，富尔巴赫；英戈·格里克纳；赫尔曼·赫尔比格；比约恩·佩尔泽 相关软件： E-KRHper；WordNet；Abella… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
预DeLo 2份文件引用(2015) 软件作者： 佐丹诺，L.，格利奥齐，V.，贾拉尔，A.，奥利维蒂，N.和波扎托，G.L 相关软件： DysToPic；精益TAP 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
正则_代数 3份文件引用(2015–2016) 软件作者： 西蒙·福斯特；格奥尔格·斯特鲁思 相关软件： 大锤；Isabelle/HOL；陷阱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
二进制多重关系 2份文件引用(2016–2020) 软件作者： Hitoshi Furusawa；乔治·斯特鲁斯 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
公理范畴理论 1份文件引用(2020) 软件作者： Christoph Benzmüller；达纳·斯科特 相关软件： 吸血鬼；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
注入类型 1份文件引用(2021) 软件作者： Hötzel Escardó，马汀 相关软件： github；阿格达；Coq公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）
庞加莱磁盘 1份文件引用(2021) 软件作者： Danijela Simić、Filip Marić和Pierre Boutry 相关软件： Complex_Geometry；GeoCoq；存档正式证据… 主要字段： 计算机科学（68-XX）