Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；艾菲尔铁塔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
AGG公司 71篇文献引用（1994年-2023年） 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
内核-叶 31份文件引用(1989–2013) 软件作者： 埃利奥·乔瓦内蒂；乔治·列维；Corrado Moiso；帕拉米德斯猫 相关软件： 巴贝尔；玩具；咖喱… 主要字段： 计算机科学（68-XX）
DrScheme公司 引用于27份文件(1997–2016) 软件作者： 芬德勒，罗伯特·布鲁斯；约翰·克莱门茨；科马克·弗拉纳根；马修·弗拉特（Matthew Flatt）；克里希纳穆提（Krishnamurthi，Shriram）；Paul Steckler；马提亚斯·费莱森 相关软件： LISP；哈斯克尔；ACL2… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；数学教育（97-XX）
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
M网络 在11份文件中引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
特修斯 9份文件引用(2015–2022) 软件作者： James，R.P.，Sabry，A。 相关软件： 咖喱；汞；代数… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗布·哈里森（Rob Harrison）；大卫·沃克 相关软件： GitHub；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
BMaude公司 2份文件引用(2002–2004) 软件作者： 何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；咖啡馆；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JSLIM公司 2份文件引用(2009) 软件作者： 约翰内斯·汉德尔（Johannes Handl）；贝西姆·卡巴希；托马斯·普罗伊斯（Thomas Proisl）；卡斯滕·韦伯 相关软件： – 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
KAD公司 2份文件引用(2019–2022) 软件作者： 维克多·B·F·戈麦斯、沃尔特·古特曼、彼得·霍夫纳、乔治·斯特鲁斯、特贾克·韦伯 相关软件： 存档正式证据；贝勒红；变压器语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SimHPN公司 2份文件引用(2012–2014) 软件作者： 尤尔韦斯，豪尔赫；克里斯蒂安·马胡利亚；瓦兹奎兹，卡洛斯·雷纳托 相关软件： Matlab；高血压 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；Masaru Kondo；Ioroi，Shigenori；高基町五指 相关软件： 咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）
阿尔戈 1份文件引用(2022) 软件作者： Henglein，Fritz；罗宾·卡尔斯加德；Mikkel Kragh，Mathiesen 相关软件： 咖喱；汞；特修斯… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
PAFSV公司 在0个文档中引用 软件作者： 曼，卡洛克；雷志云；赫曼吉·K·卡普尔。；托马斯·克里拉维修斯（Tomas Krilavicius）；马杰明；张楠 相关软件： Verilog；Uppaal；自旋蛋白 主要字段： 计算机科学（68-XX）