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)…
维亚尔 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… 主要字段: –
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)
采矿锌 4份文件引用(2017–2019) 软件作者: 枪,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克·吉多;吕克·德·雷德 相关软件: Gecode公司;本质;迷你锌… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
RDL公司 4份文件引用(2001年-2005年) 软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯 相关软件: NQTHM;ACL2;剑桥LCF… 主要字段: 计算机科学(68-XX)