×

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

伊莎贝尔/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)…

精灵

55份文件引用(1989–2023)
软件作者: 弗兰克·普芬宁
相关软件: Nuprl;Twelf;Coq…
主要字段: 数学逻辑与基础(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)…

质量管理团队

22篇文献引用(2012–2022)
软件作者: 弗洛里安·拉贝
相关软件: MMT;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-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份文件引用(2016)
软件作者: 巴盖特,J.-F.,克罗托鲁,M.,达席尔瓦,B.P.L。
相关软件: 数据日志
主要字段: 计算机科学(68-XX)

DeCIF公司

引用于2份文件(1999–2001)
软件作者: 费利克斯·科尼利厄斯
相关软件:
主要字段: 计算机科学(68-XX)

显示模块

1份文件引用(2020)
软件作者: 克里斯特詹·乔纳松
相关软件: R;Matlab;科学实验室…
主要字段: 数值分析(65-XX)

格拉库拉

1份文件引用(1993)
软件作者: Gary H.Sockut。;Luanne M.Burns。;阿肖克·马尔霍特拉;黄,Kyu-Young
相关软件:
主要字段: 计算机科学(68-XX)

秋林GQ

引用于2份文件(2009–2019)
软件作者: 安东尼奥·巴迪亚
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SEET(搜索)

引用于2份文件(2021–2023)
软件作者: 阿齐兹,B。;扎马尼,B。;Rahimi,S.K。
相关软件: 沟槽
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

牦牛牦牛

引用于2份文件(2000–2009)
软件作者: 克拉伦德,尼尔斯;Niels Damgaard;迈克尔·施瓦茨巴赫。
相关软件: YACC;野牛;MONA公司
主要字段: 计算机科学(68-XX)

BoxE系列

在0个文档中引用
软件作者: 拉尔夫·阿布德、伊斯梅尔·伊尔坎·塞兰、托马斯·卢卡西维茨、托马索·萨尔瓦托
相关软件: DGL-KE;Pykg2vec;DGL…
主要字段:

克托伊莎贝尔

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

拖把

1份文件引用(2005)
软件作者:
相关软件: 贾斯;Java-MaC;Java-MOP…
主要字段: 计算机科学(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)

独眼巨人

在0个文档中引用
软件作者: 卡利塔、潘卡杰·库马尔;Singal,德鲁夫;帕拉克阿加瓦尔;萨科特Jhunjhunwala;罗伊,苏巴吉特
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件