伊莎贝尔/HOL 1068年文献引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
伊莎贝尔 引用于734份文件(1990–2023) 软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel) 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf公司;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
区域设置 53篇文献引用(1999–2024) 软件作者: 克莱门斯·巴拉林 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);代数几何(14-XX)…
克莱尔 32篇文献引用(1998–2019) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;SALSA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
金属PRL 26篇文献引用(2000–2022) 软件作者: 杰森·希基(Jason Hickey)、亚历克谢·诺金(Alexey Nogin)、埃利·巴兹雷(Eli Barzilay) 相关软件: Coq;Nuprl;PVS… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
CP逻辑 20篇文献引用(2009–2023) 软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格 相关软件: ProbLog;PITA;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
MEBN公司 11份文件引用(2008–2018) 软件作者: 凯瑟琳·布莱克蒙·拉斯基 相关软件: 博客;PR-OWL;IBAL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
崔弟 14篇文献引用(2016–2023) 软件作者: 蒂姆,M。 相关软件: 二精氨酸;LARS;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
DEDALE公司 7份文件引用(2001–2010) 软件作者: S.Grumbach、P.Rigaux、L.Segoufin 相关软件: CCUBE;抒情的;Oracle… 主要字段: 近似和展开(41-XX);计算机科学(68-XX)
HMC公司 7份文件引用(2014–2021) 软件作者: Jhala,R.、Majumdar,R.和Rybalchenko,A。 相关软件: z3;垫片;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
马特朗 引用于8份文件(2018–2022) 软件作者: 弗洛里斯·吉尔茨 相关软件: LaraDB;APL;xarray… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
模糊的 7份文件引用(1985–2017) 软件作者: 托马斯·莱曼;雅克·勒克斯 相关软件: Nuprl;LCF;曼蒂萨… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…
玫瑰花 6篇文献引用(2016年至2021年) 软件作者: Torlak,E.,Bodik,R。 相关软件: github;FlashMeta;合金*… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
棒棒糖 5份文件引用(2010–2016) 软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇 相关软件: VeriML;雷卡姆;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
Pengines公司 5份文件引用(2014年至2019年) 软件作者: 托比恩拉格;Wielemaker,简 相关软件: SWI-预测;R;真实… 主要字段: 统计学(62-XX);计算机科学(68-XX)
序列2SQL 4份文件引用(2018–2023) 软件作者: Victor Zhong、Caiming Xiong、Richard Socher 相关软件: GPT-3;BERT;RoBERTa… 主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX);运筹学,数学规划(90-XX)…
时代广场 3份文件引用(2015–2016) 软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet) 相关软件: 埃斯特尔;Uppaal;信号… 主要字段: 计算机科学(68-XX)
CHAD(查德) 3份文件引用(2022–2023) 软件作者: 瓦卡,马提伊斯;汤姆·斯米丁 相关软件: 提灯;效率;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
格拉库拉 1份文件引用(1993) 软件作者: Gary H.Sockut。;Luanne M.Burns。;阿肖克·马尔霍特拉;黄,Kyu-Young 相关软件: – 主要字段: 计算机科学(68-XX)
SEET(搜索) 引用于2份文件(2021–2023) 软件作者: 阿齐兹,B。;扎马尼,B。;Rahimi,S.K。 相关软件: 沟槽 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
牦牛牦牛 引用于2份文件(2000–2009) 软件作者: 克拉伦德,尼尔斯;Niels Damgaard;迈克尔·施瓦茨巴赫。 相关软件: YACC;野牛;MONA公司 主要字段: 计算机科学(68-XX)
PLBART公司 在0个文档中引用 软件作者: Wasi Uddin Ahmad、Saikat Chakraborty、Baishaki Ray、Kai-Wei Chang 相关软件: CodeXGLUE;塔伯特;CoTexT… 主要字段: –
TXP公司 1份文件引用(2005) 软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。 相关软件: Java-MaC;LTL2BA;自旋蛋白 主要字段: 计算机科学(68-XX)