Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
套管，套管 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： 咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
CoFI公司 40篇文献引用(1997–2017) 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
微CRL 24篇文献引用(2001–2022) 软件作者： 斯特凡·布洛姆；Wan Fokkink；Groote，Jan Friso；伊扎克·范·朗格沃尔德；伯特·利瑟 相关软件： Uppaal；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CCSL公司 24篇文献引用(2001–2015) 软件作者： Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件： PVS；CoCasl；CASL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼康；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；莫阿，约翰逊；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
查龙 17篇文献引用(2000–2017) 软件作者： 拉杰夫·阿鲁尔；格鲁苏，拉杜；Hur，Yerang；库马尔，维杰；李因苏普 相关软件： 高科技；SpaceEx；酯类… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Schr“oder，卢茨；Mossakowski，蒂尔 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
蚱蜢 在14份文件中引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达菲；VeriFast公司；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；Coq；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： ProbLog；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MAS公司 5份文件引用(1997–2015) 软件作者： Kredel，H.，Pesch，M 相关软件： 菅直人；伯格曼；费利克斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环和代数（17-XX）…
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
pyomo.dae型 3份文件引用(2018–2022) 软件作者： 尼科尔森，贝瑟尼；约翰·D·西罗拉（John D.Siirola）。；Jean-Paul Watson；维克多·M·扎瓦拉（Victor M.Zavala）。；Lorenz T.比格勒。 相关软件： 皮奥莫；社会保险；Optimica… 主要字段： 变异微积分和最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SuiteSparse。图形BLAS 3份文件引用（2019年至2024年） 软件作者： 阿迪蒂·巴特瓦尔（Aditi Barthwal）；迈克尔·诺里什 相关软件： KaDE；侵蚀；尼莫… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
BMaude公司 2份文件引用(2002–2004) 软件作者： 何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；咖啡馆；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
移动OBJ 1份文件引用(2004) 软件作者： 奥拉诺斯、伊阿科沃斯；斯特凡尼亚斯（Stefaneas），彼得罗斯（Petros）；弗朗戈斯、帕纳伊奥蒂斯 相关软件： 咖啡馆；马亚 主要字段： 计算机科学（68-XX）
ODEPACK代码包++ 1份文件引用(2015) 软件作者： B.Allan、S.Lefantzi、J.Ray、， 相关软件： LSODE；PPM；灯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；近藤，Masaru；Ioroi，Shigenori；高基町五指 相关软件： 咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）
蓝色（BLUEVERI） 1份文件引用(2014) 软件作者： 阿列克谢·利沃夫；Lastras-Montaño，Luis A。；巴里·特拉格（Barry Trager）；维雷什·帕鲁西；罗伯特·沙多文（Robert Shadowen）；阿里·埃尔·泽因 相关软件： 稳定；单一 主要字段： 交换代数（13-XX）；信息与通信理论，电路（94-XX）
PAFSV公司 在0个文档中引用 软件作者： 曼，卡洛克；Lei，Chi-Un；赫曼吉·K·卡普尔。；托马斯·克里拉维修斯（Tomas Krilavicius）；马杰明；张楠 相关软件： Verilog公司；Uppaal；自旋蛋白 主要字段： 计算机科学（68-XX）
宠物老板 1份文件引用(2018) 软件作者： 余存溪；亚辛，阿蒂夫；苏天凯；阿兰·米什琴科（Alan Mishchenko）；马西耶·西塞尔斯基 相关软件： ABC；稳定；单一 主要字段： 计算机科学（68-XX）