CoCasl公司 26篇文献引用(2003–2014) 软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德 相关软件: CASL;莫德;赫茨… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
HOPLA公司 在14份文件中引用(2002–2014) 软件作者: 米克尔·奈加德;格林·温斯克尔 相关软件: 新HOPLA 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
普塞利诺夫 7份文件引用(2017年至2021年) 软件作者: 马蒂亚斯·杰奎琳(Mathias Jacquelin);林,林;杨超 相关软件: ELPA;LAPACK;SelInv… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
塞尔夫 4份文件引用(2008–2023) 软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼 相关软件: 洛利;混合的;PLT兑换… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CLF公司 2份文件引用(2007–2018) 软件作者: 凯文·沃特金斯;伊利亚诺·塞维萨托;弗兰克·芬宁(Frank Pfenning);大卫·沃克 相关软件: 名义上的伊莎贝尔;阿格达;Abella… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DP2PN2求解器 2份文件引用(2006–2007) 软件作者: 霍尔格·莫赫 相关软件: PNML公司 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
手榴弹大师 2份文件引用(2020–2021) 软件作者: 文森特·达诺斯;托拜厄斯·海因德尔;霍诺拉托·齐梅尔(Honorato Zimmer),里卡多(Ricardo);桑德罗·斯塔基 相关软件: KappaTools;BGL;MedOlDatschgerl… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…