×

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

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

语言

41篇文献引用(2000–2023)
软件作者: 卡隆,帕斯卡
相关软件: 测试;AG公司;古伊塔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

半群

37篇文献引用(2011–2023)
软件作者: J.D.米切尔。
相关软件: 间隙;组织环境信息系统;Smallsemi…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

自动组

15篇文献引用(2008–2022)
软件作者: Yevgen Muntyan,德米特罗·萨夫丘克
相关软件: 法国;间隙;自动机
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

自动

13份文件引用(1990–2023)
软件作者: Champarnaud,J.M。;Hansel,G。
相关软件: 圣杯;AMoRE;AG…
主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)

SgpViz公司

7份文件引用(2006–2020)
软件作者: 曼努埃尔·德尔加多;何塞·莫利斯
相关软件: 间隙;自动机;MuPAD…
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…

AG公司

4份文件引用(2000–2023)
软件作者: 卡隆,P。
相关软件: 语言;枫树;自动…
主要字段: 群论与推广(20-XX);计算机科学(68-XX)

S型膨胀

4份文件引用(2018–2021)
软件作者: C.Inostroza、I.Kondrashuk、N.Merino、F.Nadal
相关软件: JAMA;Smallsemi公司
主要字段: 全局分析,流形分析(58-XX);量子理论(81-XX);相对论和引力理论(83-XX)

半群动物

4份文件引用(1997–2019)
软件作者: Jean-Eric别针
相关软件: 半群;间隙;libsemigroups…
主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)

SgpDec公司

5份文件引用(2011年至2018年)
软件作者: 艾格里·纳吉,阿提拉;詹姆斯·米切尔(James D.Mitchell)。;克里斯托弗·尼哈尼夫。
相关软件: 间隙;可可;Metalibm…
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);数值分析(65-XX)…

libsemigroups

引用于2份文件(2019–2023)
软件作者: J.D.Mitchell等人
相关软件: 半群;半群;间隙…
主要字段: 群论与推广(20-XX);计算机科学(68-XX)

AXIOMS公司

引用于2份文件(1998)
软件作者: 拉乌尔·卡瓦加斯(Raoul E.Cawagas)。
相关软件: ——
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)

朱莉娅

1份文件引用(2012)
软件作者: 里奇·斯坦克维茨
相关软件: 圆形包装;MinSurf工具
主要字段: 总体主题;藏品(00-XX);复变量函数(30-XX);动力系统和遍历理论(37-XX)…

兰加加

1份文件引用(2004)
软件作者: 卡隆,P。
相关软件: 测试;语言
主要字段: 计算机科学(68-XX)

小重叠

1份文件引用(2009)
软件作者: M·坎比特。
相关软件: 间隙
主要字段: 群论与推广(20-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件