×

找到9个软件包(结果1-9)

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)

HOLCF公司

3份文件引用(2012–2017)
软件作者: 布莱恩·霍夫曼
相关软件: Isabelle/HOL;精益;马蒂塔…
主要字段: 计算机科学(68-XX)

生物栖息地

在0个文档中引用
软件作者: A.Symeonidis、E.Valtos、S.Seroglou、P.Mitkas
相关软件: OpenGL;石匠
主要字段:

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)…

筛选结果依据…