NQTHM公司 149份文件引用(1979–2022) 软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔 相关软件: HOL;ACL2;PVS… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…
ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
水银 75篇文献引用(1994–2022) 软件作者: mercurylang.org网站 相关软件: 哈斯克尔;幼儿保育和教育;咖喱… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
Ciao公司 56篇文献引用(1999–2022) 软件作者: Bueno,F.,Cabeza,D.,Carro,M.,Hermenegildo,M.、López-García,P.、Puebla,G。 相关软件: CiaoPP公司;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
咖喱 42篇文献引用(1998–2022) 软件作者: M.Hanus、H.Kuchen、J.J.Moreno Navarro 相关软件: 哈斯克尔;PAKCS;KiCS2… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
质量管理清单 32篇文献引用(2007–2023) 软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉蒂奇 相关软件: QPL;奎珀;qGCL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…
HasCasl公司 17篇文献引用(2002–2015) 软件作者: Lutz Schr“oder;Till Mossakowski 相关软件: CASL;哈斯克尔;赫茨… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
丁香花 16篇文献引用(1993–2022) 软件作者: 伊恩·麦基 相关软件: 施舍;FreeST;GitHub… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
轻松检查 10篇文献引用(2009年至2020年) 软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔 相关软件: 快速检查;咖喱;SmallCheck… 主要字段: 计算机科学(68-XX)
工厂 11份文件引用(2011–2020) 软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件: 教会;IBAL;ProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
雅典娜 10篇文献引用(2004–2017) 软件作者: 康斯坦丁·阿库达斯 相关软件: 雅典娜;HE-E1GODF;卡斯特罗… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
隐秘HOL 9份文件引用(2017–2022) 软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。 相关软件: Isabelle/HOL;存档正式证据;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
卡伦 7份文件引用(2008–2022) 软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件: miniKanren;自动化;AIspace… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CFLP公司 5份文件引用(2001–2007) 软件作者: Marin,M.,Ida,T.,Schreiner,W。 相关软件: SICStus公司;Mathematica;抄送(FD)… 主要字段: 复变量函数(30-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)
距离-弧度 5份文件引用(2011–2015) 软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔 相关软件: 莫德;爪哇风扇;Java+ITP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
棒棒糖 5份文件引用(2010–2016) 软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇 相关软件: VeriML;雷卡姆;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
PFLP公司 3份文件引用(2020–2022) 软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen) 相关软件: 教会;EasyCheck;瑞士… 主要字段: 计算机科学(68-XX)
PrologCheck(序言检查) 3份文件引用(2014年至2022年) 软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔 相关软件: K校准仪;K工具;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
XTL公司 4份文件引用(2003–2017) 软件作者: Garavel,H.、Mateescu,R。 相关软件: CADP;LNT2LOTOS公司;Exp.打开… 主要字段: 计算机科学(68-XX)
对象库里 3份文件引用(1994–2013) 软件作者: 迈克尔·哈努斯(Michael Hanus);哈奇,弗兰克;菲利普·尼德劳 相关软件: 奥兹;巴贝尔;PAKCS… 主要字段: 计算机科学(68-XX)
VeriStar公司 3份文件引用(2012–2016) 软件作者: 戈登·斯图尔特;Lennart Beringer;安德鲁·W·阿佩尔。 相关软件: Coq;jStar;小脚… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数据娱乐 引用于2份文件(2016–2022) 软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);尼拉坎坦·R·克里希纳斯瓦米。 相关软件: 汞;哈斯克尔;夏普… 主要字段: 计算机科学(68-XX)
挪威船级社 引用于2份文件(2012–2021) 软件作者: 罗伯特·布里德(Robert Brijder);Joris J.M.Gillis。;Van den Bussche,简 相关软件: – 主要字段: 计算机科学(68-XX)
拟Borel空间 引用于2份文件(2017–2022) 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件: 教会;HOL;精益… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
阿尔戈 1份文件引用(2022) 软件作者: Henglein,Fritz;Robin Kaarsgaard;米克尔·克拉·马西森 相关软件: 咖喱;汞;特修斯… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
派特尔 1份文件引用(2021) 软件作者: Algorand公司 相关软件: github;Coq公司 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
QCOR(质量控制报告) 在0个文档中引用 软件作者: Tiffany M.Mintz、Alexander J.Mcbarkey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件: SciPy;开放费米子;奥奎斯特拉… 主要字段: –