×

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

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)

混合ML

6篇文献引用(2008–2018)
软件作者:
相关软件: 1毫升;毫升;自动…
主要字段: 数学逻辑与基础(03-XX);计算机科学(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)

1毫升

4份文件引用(2015–2018)
软件作者: 安德烈亚斯·罗斯伯格
相关软件: MixML;HMap;多蒂…
主要字段: 数学逻辑与基础(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)

拥抱

2份文件引用(1997–2006)
软件作者:
相关软件: 哈斯克尔;TBAG;ActiveVRML…
主要字段: 计算机科学(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)

AspectScheme(方面方案)

1份文件引用(2006年)
软件作者: 克里斯托弗·德钦
相关软件: DrScheme;MzScheme;方面J…
主要字段: 计算机科学(68-XX)

楔形文字

1份文件引用(2017年)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱斯
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(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)

X-Fun系列

在0个文档中引用
软件作者: 巴维尔·拉巴斯;约阿希姆·尼伦
相关软件: QuiXProc公司;葫芦;问答…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段