套管，套管 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CoFI公司 40篇文献引用（1997年至2017年） 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；一般代数系统（08-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基，蒂尔；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MINOPT公司 6篇文献引用(2000–2013) 软件作者： C.A.Schweiger；C.A.弗洛达斯 相关软件： BARON公司；GAMS；AMPL… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
维拉 6篇文献引用(2015–2021) 软件作者： 约翰·特纳（John A.Turner）、凯文·克拉诺（Kevin Clarno）、马特·西格（Matt Sieger）、罗斯科·巴特利特（Roscoe Bartlett）、本杰明·柯林斯（Benjamin Collins）、罗杰·鲍洛夫斯基（Roger Pawlowski）、罗德尼· 相关软件： 班次；德诺沃；特里利诺斯… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…