数学软件 6559份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Coq公司 1972年文件引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
伊莎贝尔/HOL 1073份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
科恩平滑 1082文件引用(1993–2024) 软件作者： Wand，医学博士。；M.C.琼斯。；布莱恩·里普利 相关软件： R；pyuvdata；fda（R）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
伊莎贝尔 741份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊斯兰教 718份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： —— 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；尹锡昌 相关软件： 规格#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
克朗 191份文件引用(1995–2023) 软件作者： Michel Alexeline、Rachid Malti、Patrick Lanusse、Pierre Melchior、Alain Oustaloup 相关软件： 任天堂；DFOC；Matlab… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
OBJ咖啡馆 167篇文献引用(1997–2023) 软件作者： 森喜朗（Akira Mori）；高基町五指 相关软件： 莫德；OBJ3；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；代数几何（14-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 米尔纳，罗宾 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
LOTOS公司 135份文献中引用(1988–2023) 软件作者： 博洛涅西，T.，布林克斯马，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
毫升 137篇文献引用(2015–2024) 软件作者： R.加拉帕。 相关软件： Matlab；Mittag-Lefler；mftoolx… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
LISP公司 引用于114份文件(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
轻量级Java 107篇文献引用(2001–2023) 软件作者： Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；菲利普·瓦德勒 相关软件： JML；毫升；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
pcalg公司 89份文件引用(2007–2023) 软件作者： Markus Kalisch、Martin Maechler、Diego Colombo 相关软件： 四分体；R；bn学习… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
马戏团 79份文件引用（2002年-2023年） 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
COCO公司 75篇文献引用(2012–2023) 软件作者： Harry Dankowicz；弗兰克·席尔德 相关软件： 自动；MATCONT；AUTO-07P… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
DIMSYM公司 75篇文献引用(1993–2023) 软件作者： 詹姆斯·谢林；杰夫·普林斯；迈克尔·杰里 相关软件： 谎言；减少；SYMMGRP… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ALF公司 68篇文献引用(1993–2018) 软件作者： 莉娜·马格努森 相关软件： Coq；自动化；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
教堂 56篇文献引用(2008–2023) 软件作者： Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件： 博客；IBAL；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
欧米茄 61篇文献引用(2001–2023) 软件作者： 乔治·安德鲁斯（George E.Andrews）。；保罗，彼得；里瑟、阿克塞尔 相关软件： 组织环境信息系统；LattE；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
阿贝拉 引用于57份文件(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
微型ML 58篇文献引用(2000–2023) 软件作者： 戴维斯，罗文；弗兰克·芬宁 相关软件： Coq；毫升；佩斯卡… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
奶牛 46篇文献引用(2007–2020) 软件作者： 亚历山德罗·拉帕杜拉；罗萨里奥·普格利泽；弗朗西斯科·蒂埃齐 相关软件： 自旋蛋白；CC-Pi；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
奥斯卡 45篇文献引用(1992–2023) 软件作者： 约翰·波洛克。 相关软件： AFRA；Velev SAT基准；ClaiMaker… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Chebfun2号机组 45篇文献引用(2013–2023) 软件作者： 亚历克斯·汤森；劳埃德·N·特里费琴。 相关软件： 切布冯；Matlab；DLMF… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
喷气式飞机 43篇文献引用(2014–2024) 软件作者： H.Baran、M.Marvan 相关软件： CDE；宝石；SYMMGRP… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
因瓦 39篇文献引用(1996–2023) 软件作者： J.M.Martin-Garcia，R.葡萄牙，L.R.U.Manssur 相关软件： x张量；xPert；xPerm… 主要字段： 交换代数（13-XX）；微分几何（53-XX）；量子理论（81-XX）…
EXCALC公司 41篇文献引用（1987年至2016年） 软件作者： 埃伯哈德·施吕费尔 相关软件： 减少；枫树；DIMSYM… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；计算机科学（68-XX）…
勒图尔 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
GEMPIC公司 40篇文献引用(2017–2024) 软件作者： 迈克尔·克劳斯（Michael Kraus）；Katharina Kormann；菲利普·莫里森。；埃里克·桑纳德吕克 相关软件： Vador；iPIC3D；struphy… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；吸血鬼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
x张量 37篇文献引用(2007–2023) 软件作者： 何塞·马丁·加西亚 相关软件： 因瓦；xPert；xPerm… 主要字段： 交换代数（13-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
符号数学工具箱 35篇文献引用（2003年至2022年） 软件作者： 迈斯沃克 相关软件： Matlab；Mathematica；Simulink… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MWB公司 34份文件引用(1995–2022) 软件作者： 比约恩·维克多，法伦·莫勒 相关软件： 彼得鲁乔；棱镜；图片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
微分几何 引用于33份文件(2001–2023) 软件作者： I.M.安德森。；C.G.托瑞。 相关软件： 枫树；宝石；向量场的李代数… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
巨浪 30篇文献引用(1999–2023) 软件作者： 雅克·弗洛门特；莱昂内尔·莫伊桑；珍妮·米歇尔·莫雷尔 相关软件： BSDS；SIFT；ImageNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
骑自行车的人 31份文件引用(2014–2023) 软件作者： N Gorogannis公司 相关软件： 幻灯片；HipSpec；SLAyer… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
伊朗CoP 32篇文献引用(2005–2022) 软件作者： 延斯·奥滕 相关软件： 精益CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
HermiT公司 26篇文献引用(2013–2023) 软件作者： 格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；Boris Motik；乔戈斯·斯托洛斯（Giorgos Stoilos）；王哲；右采煤机。 相关软件： 颗粒；FaCT++；Konclude… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
管道 28篇文献引用（2002年至2017年） 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
qGCL公司 25篇文献引用(2000–2024) 软件作者： 保罗·祖利亚尼 相关软件： QPL；质量管理清单；Quipper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
FOTF工具箱 25篇文献引用(2015–2023) 软件作者： 薛丁玉 相关软件： Matlab；Mittag-Lefler；毫升… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
JoCaml公司 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
迪杜克蒂 24篇文献引用(2012–2023) 软件作者： 马修·博埃斯弗鲁格（Mathieu Boespflug）、罗南·塞拉德（Ronan Saillard）、弗朗索瓦·瑟雷（François Thiré）、加斯帕德·弗雷（Gaspard Férey） 相关软件： Coq；泽农；HOL灯… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
MSPASS公司 23篇文献引用(2000–2021) 软件作者： Ullrich Hustadt，Renate A.Schmidt 相关软件： TPTP；VAMPIRE公司；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
DerivaGem公司 23篇文献引用（2002年-2023年） 软件作者： 约翰·C·赫尔。 相关软件： fminsearch；KapSyn；罚款… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；佩尔泽，比约恩；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
布伦X 引用于19份文件(2008–2020) 软件作者： 洛伦佐·德马特；科拉多·普里亚米；亚历山德罗·罗曼内尔 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
悬崖数学 23篇文献引用(2012–2021) 软件作者： 雷内·斯科特；斯泰普斯（G.Stacey Staples） 相关软件： CliffOC；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
DCTP公司 21篇文献引用(2001–2017) 软件作者： Letz，R.，Stenz，G 相关软件： E定理证明器；SPASS；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；陈娟；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
FOMCON公司 20篇文献引用(2013–2022) 软件作者： A.Tepljakov、E.Petlenkov、J.Belikov 相关软件： 任天堂；克朗；Matlab… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；统计学（62-XX）…
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·J·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
太阳能的 引用于19份文件(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明器；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
阿克斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 罗望子；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
克里夫OC 20篇文献引用(2006–2021) 软件作者： 雷内·斯科特；斯泰普斯（G.Stacey Staples） 相关软件： 悬崖数学；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）…
散兵箱 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
ISETL公司 9份文件引用(1989–2002) 软件作者： 埃德·杜宾斯基 相关软件： 间隙；Mathematica；枫树 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
MUltlog公司 20篇文献引用(1996–2023) 软件作者： 格诺·萨尔泽；维也纳多值逻辑小组 相关软件： github；JGXYZ；吸血鬼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FAUST2型 17篇文献引用(2017–2023) 软件作者： S.Esmaeil Zadeh Soudjani、C.Gevaerts、A.Abate 相关软件： 棱镜；SReachTools；静止… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
FOC公司 引用于19份文件(2012–2023) 软件作者： 伊沃·佩特拉什 相关软件： 克朗；Matlab；DFOC… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
ModLeanTAP模式 引用于19份文件(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
亚帕 18篇文献引用（2009年至2020年） 软件作者： 马修·波德特；科蒂尔、维罗尼克；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
随机的，随机的 17篇文献引用(1996–2021) 软件作者： Cyganowski，S。 相关软件： 枫树；Matlab；Python… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伦敦商学院 在16份文件中引用(2010–2022) 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
裴楚丘 在16份文件中引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
DCVALID公司 在16份文件中引用(2001–2022) 软件作者： 潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JuliaReach公司 15篇文献引用（2018年至2024年） 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…