×

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

AProVE公司

171篇文献引用(2002–2023)
软件作者: Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann
相关软件: 蒂罗尔;长期;莫德…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe Ringeissen)、玛丽安·维特克(Marian Vittek)
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

蒂罗尔(Tyrolean)

95篇文献引用(2005–2023)
软件作者: Nao Hirokawa;阿尔特·米德尔多普
相关软件: AProVE;长期;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);结合环与代数(16-XX)…

CeTA公司

49篇文献引用(2009–2023)
软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…

K校准仪

46篇文献引用(2007–2022)
软件作者: 罗什、格里戈尔等人
相关软件: 莫德;K工具;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

PMaude公司

在30份文件中引用(2005–2023)
软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森
相关软件: 莫德;PVeStA;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

定量的

27篇文献引用(2009–2023)
软件作者: 基辛格,亚历克斯
相关软件: 球状;PyZX;凹槽…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

火柴盒

24篇文献引用(2005–2023)
软件作者: J·沃尔德曼。
相关软件: AProVE;蒂罗尔;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

犯罪现场调查

23篇文献引用(2011–2023)
软件作者: 哈拉尔德·赞克;费尔根豪尔(Felgenhauer),伯特伦(Bertram);阿尔特·米德尔多普
相关软件: 塞加瓦;CeTA;蒂罗利安…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

K工具

20篇文献引用(2010–2022)
软件作者: 大卫·拉扎尔(David Lazar)、安德烈·阿鲁索艾(Andrei Arusoaie)、特拉安·弗洛林·埃尔布努(Traian Florinöerbţnu)、丘奇·埃利森(Chucky Ellison)、拉杜·梅雷塔(Radu Mereuta)、多雷尔·卢卡努(Dorel Lucanu)、格里戈·罗什乌(Grigore Ro sh u)
相关软件: K校准仪;莫德;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

聚乙烯醇水杨酸

14篇文献引用(2011–2023)
软件作者: AlTurki,M.,Meseguer,J
相关软件: 莫德;PMaude;VESTA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

罗斯洛普

13份文件引用(2006–2023)
软件作者: Wehrman,I.、Stump,A.、Westbrook,E.M。
相关软件: mkbTT;AProVE;蒂罗利安…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

TPA公司

13份文件引用(2006–2017)
软件作者: 亚当·科普洛夫斯基
相关软件: 蒂罗尔;AProVE;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)

伊利诺伊GRMHD

11份文件引用(2015年-2023年)
软件作者: Etienne,Zachariah B。;Paschalidis,瓦西里奥斯;罗兰·哈斯(Roland Haas);菲利普·莫斯塔;斯图亚特·夏皮罗。
相关软件: 威士忌MHD;爱因斯坦工具包;GRHydro…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);流体力学(76-XX)…

KITTeL公司

10篇文献引用(2011–2022)
软件作者: 斯蒂芬·福克(Stephan Falke);卡普尔,迪帕克;卡斯滕·辛兹
相关软件: z3;控制;Yices…
主要字段: 计算机科学(68-XX)

时刻2

9份文件引用(2010–2016)
软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基
相关软件: 莫德;ITP/OCL;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

塞加瓦

9份文件引用(2013–2022)
软件作者: Hirokawa,N.,Klein,D。
相关软件: CSI;条件合流;蒂罗利安…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TcT公司

10篇文献引用(2016年至2021年)
软件作者: Avanzini,M.、Moser,G.、Schaper,M。
相关软件: AProVE;z3;TiML…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);线性代数和多线性代数;矩阵理论(15-XX)…

筑波

10篇文献引用(2003–2008)
软件作者: Nao Hirokawa;阿尔特·米德尔多普
相关软件: AProVE;CiME;CARIBOO…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

条件合流

9份文件引用(2014–2022)
软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);阿尔特·米德尔多普
相关软件: 莫德;塞加瓦;CSI…
主要字段: (03B40-XX);(68N18-XX);(68Q42-XX)

名古屋终止工具

9份文件引用(2014–2022)
软件作者: 山田,A.,Kusakari,K.,Sakabe,T。
相关软件: 蒂罗尔;NaTT;AProVE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

自动写入

8份文件引用(2002–2014)
软件作者: 艾琳·杜兰德
相关软件: MONA;数据日志;Treewidthlib…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

李焕庆执导的韩国电影

7份文件引用(2015年-2023年)
软件作者: 乌尔里希·蒂尔
相关软件: 岩浆;缺口;雪维…
主要字段: 代数几何(14-XX);结合环与代数(16-XX);群论与推广(20-XX)…

CoLL公司

6篇文献引用(2015年-2023年)
软件作者: Kiraku Shintani;Nao Hirokawa
相关软件: CSI;CeTA;Isabelle/HOL…
主要字段: 数论(11-XX);计算机科学(68-XX)

IsaFoR公司

4份文件引用(2011–2016)
软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯,卡斯滕;吉尔根·吉斯尔
相关软件: Isabelle/HOL;CeTA;CoLoR…
主要字段: 计算机科学(68-XX)

KaDE公司

6篇文献引用(2019年至2024年)
软件作者: Camporesi,F。;Feret,J。;Lí,K.Q。
相关软件:
主要字段: 组合数学(05-XX);结合环与代数(16-XX);常微分方程(34-XX)…

NaTT公司

6篇文献引用(2014–2022)
软件作者: Akihisa山田
相关软件: 名古屋终止工具;蒂罗尔;多终端…
主要字段: (68V15-XX)

维亚尔

6篇文献引用(2014–2023)
软件作者: 你,郭桥;梁成玉
相关软件: pchip;SPGL1;EMD…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

Bempp-cl公司

2份文件引用(2022)
软件作者: Timo Betcke;马修·斯克洛格斯
相关软件: 蟒蛇;FEniCS;Numba…
主要字段: 偏微分方程(35-XX);数值分析(65-XX)

Bioclipse公司

在0个文档中引用
软件作者: Spjuth O、Alvarsson J、Berg A、Eklund M、Kuhn S、Masak C、Torrance G、Wagener J、Willighagen E、Steinbeck C、Wikberg J。
相关软件: CDK;塔维纳;生物MOBY…
主要字段:

ConCon公司

4份文件引用(2015–2020)
软件作者: T.斯特纳格尔,C.斯特纳格尔
相关软件: Isabelle/HOL;AProVE;校准仪9…
主要字段: 计算机科学(68-XX)

CRSX公司

引用于3份文件(2009–2011)
软件作者: 罗丝,K.H。;IBM公司
相关软件: 自动化;流行标志;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GGL公司

引用于3份文件(2016–2018)
软件作者: Mann,M.,Ekker,H.,Flamm,C。
相关软件: RuleMerger;VMQL;gSpan…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

GRM公司

4份文件引用(2001年-2005年)
软件作者: 梅赫里亚·莫赫里
相关软件: BoosTexter;SRILM公司
主要字段: 计算机科学(68-XX)

采矿锌

4份文件引用(2017–2019)
软件作者: 枪,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克·吉多;吕克·德·雷德
相关软件: Gecode公司;本质;迷你锌…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

RDL公司

4份文件引用(2001年-2005年)
软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯
相关软件: NQTHM;ACL2;剑桥LCF…
主要字段: 计算机科学(68-XX)

堡垒

引用于3份文件(2018–2023)
软件作者: 弗兰齐斯卡·拉普;阿尔特·米德尔多普
相关软件: CoLL;CSI;FOL配件…
主要字段: 计算机科学(68-XX)

Petri-PDL公司

引用于3份文件(2016–2018)
软件作者: 克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯
相关软件: 莫德
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VERSA公司

引用于3份文件(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-XX)

InvA公司

2份文件引用(2014年至2020年)
软件作者: 卡米洛·罗查;何塞·梅塞盖尔
相关软件: 莫德;PKind;HyComp…
主要字段: 计算机科学(68-XX)

JChemPaint公司

在0个文档中引用
软件作者: Krause S、Willighagen E、Steinbeck C
相关软件: CDK;R;rJava…
主要字段:

托西

在0个文档中引用
软件作者: 马丁·M.G。
相关软件: 卡桑德拉;RASPA;Gromacs…
主要字段:

Cdiprover3号探测器

在0个文档中引用
软件作者: 安德烈亚斯·施纳布尔
相关软件:
主要字段:

inf检查器

1份文件引用(2019)
软件作者: 古铁雷斯,R。;卢卡斯,S。
相关软件: 年龄;ModGen;ITP…
主要字段:

KAM公司

1份文件引用(1998)
软件作者: Nisheva-Pavlova,Maria M。
相关软件:
主要字段: 计算机科学(68-XX)

克托伊莎贝尔

1份文件引用(2021)
软件作者: 李,李毅;埃尔萨·甘特。
相关软件: Isabelle/HOL;莫德;LambdaMu-calculus…
主要字段: 计算机科学(68-XX)

PaRoT公司

在0个文档中引用
软件作者: 爱德华·艾尔斯、弗朗西斯科·艾拉斯、马吉德·哈瓦斯利、伊恩·怀特塞德
相关软件: MixTrain;SkipNet;亚当…
主要字段:

树变量

1份文件引用(2018)
软件作者: 阿尔斯盖尔·伯基松
相关软件: Matlab;MATLAB ODE套件;切布冯
主要字段: 数值分析(65-XX)

WANDA公司

1份文件引用(2019)
软件作者: 福斯,卡斯滕;辛西娅·科普
相关软件: AProVE;蒂罗尔;超小卫星
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件