×

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

GRADPART公司

2份文件引用(1999–2007)
软件作者: 托马斯·格吕纳
相关软件: 鹦鹉螺;植物;CaGe…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

DFD炼油厂

1份文件引用(2021)
软件作者: 阿尔沙列夫,哈纳;桑德罗·斯塔基;杰拉尔多·施奈德
相关软件: github;Z;AToM3…
主要字段: 计算机科学(68-XX)

微分算子.m2

1份文件引用(2015)
软件作者: Boix,Alberto F。;亚历山德罗·德·斯特凡尼(Alessandro De Stefani);大卫·范佐
相关软件: 分裂;麦考利2
主要字段: 交换代数(13-XX);代数几何(14-XX)

EDSL公司

1份文件引用(2011)
软件作者: Alex Bain;米切尔,约翰;拉胡尔·夏尔马(Rahul Sharma);德伊安·斯特凡(Deian Stefan);乔·齐默尔曼
相关软件: 分享者;哈斯克尔
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

雅各布森基础代数

1份文件引用(2020)
软件作者: 克莱门斯·巴拉林
相关软件: Isabelle/HOL;自动化;次要Sylow…
主要字段: 计算机科学(68-XX)

剃刀

1份文件引用(2015)
软件作者: 萨勒曼·萨加菲;丹尼尔·道尔蒂
相关软件: 迷你卫星;iProver;iProver-Eq…
主要字段: 计算机科学(68-XX)

筛选结果依据…