DiffSharp(差异锐化) 216篇文献引用(2016–2024) 软件作者: Baydin,A.G.和Pearlmutter,B.A。 相关软件: 亚当;TensorFlow;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
套管,套管 174篇文献引用(1999–2023) 软件作者: 蒂尔·莫萨科夫斯基 相关软件: OBJ咖啡馆;赫茨;莫德… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
LISP公司 114篇文献引用(1960–2023) 软件作者: 约翰·麦卡锡 相关软件: ACL2;NQTHM;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
GHC公司 96篇文献引用(1992–2021) 软件作者: 西蒙·佩顿(Simon Peyton)琼斯(Jones);西蒙·马洛 相关软件: 哈斯克尔;毫升;OCaml… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…
皮克特 74份文件引用(1996–2022) 软件作者: 本杰明·皮尔斯(Benjamin C.Pierce)。;大卫·N·特纳 相关软件: 乔卡姆;莫德;Oz… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
转发差异 28篇文献引用(2017–2023) 软件作者: Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件: 朱莉娅;PyTorch;TensorFlow… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
白鲸 29篇文献引用(2010–2022) 软件作者: 布里吉特·皮恩特卡;约书亚·邓菲尔德 相关软件: Twelf公司;阿贝拉;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)
HOL-OCL公司 13份文件引用(2002–2016) 软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特 相关软件: ATL;凯伊;ETPS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
塑料 18篇文献引用(2000–2023) 软件作者: 保罗·卡拉汉 相关软件: 乐高;Coq;阿尔法… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
泰尤斯 18篇文献引用(2001–2022) 软件作者: Nadathur,G.,Mitchell,D.J。 相关软件: Twelf公司;阿贝拉;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HasCasl公司 17篇文献引用(2002–2015) 软件作者: Lutz Schr“oder;Till Mossakowski 相关软件: CASL;哈斯克尔;赫茨… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
HOPLA公司 在14份文件中引用(2002–2014) 软件作者: 米克尔·奈加德;格林·温斯克尔 相关软件: 新HOPLA 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
THF0 在14份文件中引用(2008–2019) 软件作者: 克里斯托夫·本兹穆勒;弗洛里安·拉贝(Florian Rabe);杰夫·萨特克利夫 相关软件: TPTP;E定理证明器;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
熔岩 11份文件引用(2002–2018) 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 相关软件: 哈斯克尔;muFP;Coquet… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
MiniAgda公司 11份文件引用(2011–2023) 软件作者: A.阿贝尔。 相关软件: Coq;阿格达;GitHub… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
HOL-Omega餐厅 引用于9份文件(2009–2019) 软件作者: 彼得·霍米埃(Peter V.Homeier)。 相关软件: HOL;伊莎贝尔;Coq… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
HMC公司 7份文件引用(2014–2021) 软件作者: Jhala,R.、Majumdar,R.和Rybalchenko,A。 相关软件: z3;垫片;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
皮尔斯纳 7份文件引用(2015–2021) 软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯 相关软件: Coq;CakeML;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
ModuRes公司 5份文件引用(2015–2022) 软件作者: 菲利普·西奇科夫斯基(Filip Sieczkowski);阿列舍·比兹亚克;拉尔斯·比克达尔 相关软件: Coq;VST-Floyd;锈带… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Hiord公司 4份文件引用(2004–2018) 软件作者: 丹尼尔·卡贝萨(Daniel Cabeza);曼努埃尔·赫梅内吉尔多(Manuel Hermenegildo);詹姆斯·利普顿 相关软件: HiLog;CoALP;CiaoPP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
BioCaster公司 1份文件引用(2018) 软件作者: 科利尔,N。;Doan,S。;卡瓦泽,A。;古德温,R.M。;康韦,M。;Tateno,Y。;Ngo,Q.H。;Dien,D。;Kawtrakul,A。;Takeuchi,K。;Shigematsu,M.:谷口,K。 相关软件: SMOTE;宾州树库 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
CHAD(查德) 3份文件引用(2022–2023) 软件作者: 瓦卡,马提伊斯;汤姆·斯米丁 相关软件: 灯笼;效率;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
Pycket公司 2份文件引用(2015–2019) 软件作者: 斯宾塞·鲍曼;卡尔·弗里德里希·博尔兹(Carl Friedrich Bolz);Robert Hirschfeld;瓦西里·基里切夫;佩佩,托拜厄斯;杰里米·西克(Jeremy G.Siek)。;萨姆·托宾·霍施塔特 相关软件: JavaScript;斯塔丹;RPython… 主要字段: 计算机科学(68-XX)
SXSLT公司 3份文件引用(2002–2005) 软件作者: 奥列格·基塞利约夫(Oleg Kiselyov);克里希纳穆提,施莱姆 相关软件: XPath;XQuery;Bigloo… 主要字段: 计算机科学(68-XX)
数据娱乐 2份文件引用(2016–2022) 软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);尼拉坎坦·R·克里希纳斯瓦米。 相关软件: 汞;哈斯克尔;夏普… 主要字段: 计算机科学(68-XX)
拟Borel空间 2份文件引用(2017–2022) 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件: 教会;HOL;精益… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
TravMC公司 2份文件引用(2012–2017) 软件作者: 不远处,罗宾·P。;拉姆齐,史蒂文·J。;王志浩(音) 相关软件: TravMC2;github;MoCHi… 主要字段: 计算机科学(68-XX)
皮罗埃特 1份文件引用(2023) 软件作者: 安德鲁·赫施(Andrew K.Hirsch),迪帕克·加格(Deepak Garg) 相关软件: 卡拉斯;动物;Coq公司 主要字段: 计算机科学(68-XX)
PyCG公司 在0个文档中引用 软件作者: Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件: ast;守门人;合成码… 主要字段: –
SODES公司 1份文件引用(2023) 软件作者: 加兰·加西亚(Galán-García),何塞·路易斯(JoséLuis);罗德里格斯·西洛斯(Rodríguez-Cielos),佩德罗(Pedro);加兰·加西亚,玛丽亚·安格尔;摩根·勒戈夫;尤兰达帕迪拉·多明格斯;罗德里格斯·帕迪拉,巴勃罗;伊凡·阿滕西亚;加布里埃尔·阿奎列拉·维内加斯 相关软件: ATISBAT;马克西玛;枫叶… 主要字段: 数值分析(65-XX);计算机科学(68-XX)