AGG公司 71篇文献引用(1994–2023) 软件作者: 加布里埃尔·坦泽尔 相关软件: 凹槽;进度;AToM3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
图形转换基准 4份文件引用(2006年-2010年) 软件作者: G.Varró,A.Schürr,D.Varrö 相关软件: 进度;VIATRA2;Fujaba… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
MGS公司 9份文件引用(2001–2016) 软件作者: 贾维托,J.-L。;O·米歇尔。 相关软件: HOCL;NESL;莫德… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…
Verigraph公司 9份文件引用(2016–2023) 软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多 相关软件: AGG;同意;Henshin… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
鲁比 4份文件引用(2020–2022) 软件作者: 阿尔伯特·里奇;Patrick Scheibe;纳赛尔·阿巴斯。 相关软件: MultiZeilberger;DEtools;匹配Py… 主要字段: 场论与多项式(12-XX);实函数(26-XX);特殊功能(33-XX)…
CHR动画 2份文件引用(2015) 软件作者: 纳达·沙拉夫;Abdennadher,苗条;托姆·吕维思 相关软件: BALSA;宙斯;动物… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
手榴弹大师 2份文件引用(2020–2021) 软件作者: 文森特·达诺斯;托拜厄斯·海因德尔;霍诺拉托·齐梅尔(Honorato Zimmer),里卡多(Ricardo);桑德罗·斯塔基 相关软件: KappaTools;BGL;MedOlDatschgerl… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
跳鼠 2份文件引用(2014–2022) 软件作者: 哈基姆·贝哈瓦里;阿努尔,阿格尼斯;勒加尔,帕斯卡尔;托马斯·贝雷特 相关软件: GP 2;福贾巴语;GrGen… 主要字段: 计算机科学(68-XX)
MEMSA实验室 2份文件引用(2014–2022) 软件作者: 瓦利德·贝尔基尔;阿兰·乔尔盖蒂;米歇尔·伦茨纳 相关软件: CoReS;汤姆;枫树 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)