×

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

蟒蛇

1424年文献引用(1991–2025)
软件作者: 吉多·范罗苏姆
相关软件: SciPy;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

哈斯克尔

839份文件引用(1989–2023)
软件作者: ——
相关软件: Coq;毫升;GHC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

毫升

516份文件引用(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

阿格达

228篇文献引用(1999–2023)
软件作者: 乌尔夫·诺雷尔
相关软件: Coq;哈斯克尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

佩斯卡

198篇文献引用(2001–2023)
软件作者: 阿尔恩·兰塔
相关软件: MiniML;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);几何(51-XX)…

米兰达

155份文件引用(1985–2023)
软件作者: D.A.特纳。
相关软件: 哈斯克尔;毫升;清洁…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

达夫尼

104篇文献引用(2010年至2024年)
软件作者: 鲁斯坦·莱诺
相关软件: z3;Why3;布吉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

埃兰

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

斯卡拉

88篇文献引用(2005–2023)
软件作者: Christos K.K.Loverdos。;阿波斯托洛斯·西罗普洛斯
相关软件: Coq;z3;轻量级Java…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

APL公司

83份文件引用(1962–2023)
软件作者: 肯尼思·艾弗森
相关软件: 哈斯克尔;米兰达;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-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)

信号

51篇文献引用(1987–2020)
软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克
相关软件: 卢斯特;酯类;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

咖喱

42篇文献引用(1998–2022)
软件作者: M.Hanus、H.Kuchen、J.J.Moreno-Navarro
相关软件: 哈斯克尔;PAKCS;KiCS2…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

Refal公司

45篇文献引用(1969–2022)
软件作者: 瓦伦丁·F·土琴
相关软件: 哈斯克尔;COSTA;CiaoPP…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

GHC公司

36篇文献引用(1986年-2014年)
软件作者: Kazunori上田
相关软件: PARLOG;基马;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

伊德里斯

引用于40篇文献(2011–2023)
软件作者: 埃德温·布雷迪
相关软件: Coq;阿格达;Irdis…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

克莱尔

32篇文献引用(1998年至2019年)
软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特
相关软件: 奥兹;乔科;SALSA…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

息肉

33篇文献引用(1999–2012)
软件作者: Jansson,P。;J·杰林。
相关软件: 哈斯克尔;Stratego;密码…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

质量管理清单

32篇文献引用(2007–2023)
软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇
相关软件: QPL;奎珀;qGCL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…

白鲸

引用于29份文件(2010–2022)
软件作者: 布里吉特·皮恩特卡;约书亚·邓菲尔德
相关软件: Twelf;阿贝拉;密码…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

效率

30篇文献引用(2013–2023)
软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚
相关软件: 科卡;github;ML…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

DrScheme博士

27篇文献引用(1997–2016)
软件作者: 芬德勒,罗伯特·布鲁斯;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特(Matthew Flatt);克里希纳穆提(Krishnamurthi,Shriram);Paul Steckler;马提亚斯·费莱森
相关软件: LISP;哈斯克尔;ACL2…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);数学教育(97-XX)

伊甸园

23篇文献引用(2001–2018)
软件作者: U.Klusik、Y.Ortega-Mallén、R.Peña
相关软件: 哈斯克尔;胶;GHC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔多

26篇文献引用(1997–2014)
软件作者: aldor.org;曼纽尔·布朗斯坦
相关软件: AXIOM;枫树;SageMath…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…

JoCaml公司

26篇文献引用(2000–2022)
软件作者: Fornet,塞德里克;Le Fessant,Fabrice公司;Luc Maranget;阿兰·施密特
相关软件: 皮克特;OCaml;PiDuce…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

伊尔迪斯

26篇文献引用(2011–2023)
软件作者: ——
相关软件: 伊德里斯;Coq;Agda…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…

MRST-AD公司

26篇文献引用(2016–2023)
软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B
相关软件: MRST;Matlab;MRST-co2lab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

链接

20篇文献引用(2008–2020)
软件作者: Ezra Cooper、Sam Lindley、Philip Wadler、Jeremy Yallop
相关软件: 效率;科卡;GitHub…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

灵活

22篇文献引用(1990–2009)
软件作者: 贾卡隆,A.,米什拉,P.,普拉萨德,S
相关软件: 皮克特;毫升;JoCaml…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

F类*

21篇文献引用(2011–2020)
软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;卡尔蒂基扬·巴尔干;杨吉恩
相关软件: Coq;Nuprl;EasyCrypt…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

软糖

18篇文献引用(1993–2022)
软件作者: M.Carlsson、T.Hallgren。
相关软件: 哈斯克尔;清洁;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

TXL(热膨胀)

13份文件引用(2005–2022)
软件作者: 詹姆斯·科迪。
相关软件: Stratego;ASF+SDF;JastAdd…
主要字段: 计算机科学(68-XX)

德尔芬

17篇文献引用(2003–2020)
软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。
相关软件: Twelf;Coq;白鲸…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

立方agda

17篇文献引用(2020–2023)
软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔
相关软件: 立方体;github;密码…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

HasCasl公司

17篇文献引用(2002年至2015年)
软件作者: Schr“oder,卢茨;Mossakowski,蒂尔
相关软件: CASL;哈斯克尔;Hets…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

剑麻

13份文件引用(1988–2010)
软件作者: James McGraw等人。
相关软件: 西尔克;伊甸园;Lucid…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

丁香花

16篇文献引用(1993–2022)
软件作者: 伊恩·麦基
相关软件: 阿尔姆斯;FreeST;GitHub…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

兽人

15篇文献引用(2009–2023)
软件作者: 基钦,大卫;阿德里安·夸克(Adrian Quark);威廉·库克;贾亚德夫·米斯拉
相关软件: 奶牛;莫德;朱莉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

F类#

14篇文献引用(2007–2019)
软件作者: Don Syme,微软研究院;等人。
相关软件: 哈斯克尔;蟒蛇;HasCasl…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

NESL公司

14篇文献引用(1994–2022)
软件作者: 盖伊·E·布莱洛赫。
相关软件: 哈斯克尔;MapReduce;GHC…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

闪光

12份文件引用(2002–2013)
软件作者: 马尔滕·德莫尔;马克·范·埃克伦;莱纳斯·普拉斯梅耶
相关软件: 清洁;哈斯克尔;密码…
主要字段: 计算机科学(68-XX)

轻松检查

10篇文献引用(2009年至2020年)
软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔
相关软件: 快速检查;咖喱;SmallCheck…
主要字段: 计算机科学(68-XX)

工厂

11份文件引用(2011–2020)
软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格
相关软件: 教会;IBAL;ProbLog…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

弗兰

10篇文献引用(1997–2022)
软件作者: 科纳尔·埃利奥特;保罗·哈达克
相关软件: 哈斯克尔;卢斯特;酯类…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

口香糖

12份文件引用(1997–2016)
软件作者: Trinder,P.W.、Hammond,K.、Mattson,J.S.Jr.、Partridge,A.S.、Peyton Jones,S.L。
相关软件: 哈斯克尔;伊甸园;GHC…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

熔岩

11份文件引用(2002–2018)
软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。
相关软件: 哈斯克尔;muFP;Coquet…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

里昂

12份文件引用(2014–2022)
软件作者: 雷吉斯·布兰科;维克多·昆卡(Viktor Kuncak);艾蒂安·克劳斯;菲利普·苏特
相关软件: CVC4;达夫尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HACL公司*

12份文件引用(2018–2023)
软件作者: Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche
相关软件: Why3;茉莉花;工具链…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

FoCaLiZe公司

引用于9份文件(2015–2023)
软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。
相关软件: Coq;dedukti;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿西莫洛

引用于7份文件(2015–2023)
软件作者: 安德森·C·Führer·C·奥凯森·J·。
相关软件: 蟒蛇;日晷;F2PY…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

雅典娜

10篇文献引用(2004–2017)
软件作者: 康斯坦丁·阿库达斯
相关软件: 雅典娜;HE-E1GODF;卡斯特罗…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

特修斯

引用于9份文件(2015年至2022年)
软件作者: James,R.P.,Sabry,A。
相关软件: 咖喱;汞;代数…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

Yampa公司

引用于9份文件(2003–2020)
软件作者: 亨利克·尼尔森(Henrik Nilsson)、安东尼·考特尼(Antony Courtney)
相关软件: 哈斯克尔;酯类;LUSTRE…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

凸轮

引用于9份文件(1993–2021)
软件作者: 印度
相关软件: OCaml;ACL2;Python…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

CoCaml公司

引用于9份文件(2017–2023)
软件作者: Jeannin,Jean-Baptiste;德克斯特·科赞;亚历山德拉·席尔瓦
相关软件: CoALP;coFJ;Paco…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

隐秘HOL

引用于9份文件(2017–2022)
软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。
相关软件: 伊莎贝尔·霍尔;存档正式证据;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

网址(Ur/Web)

8份文件引用(2016–2022)
软件作者: 奇利帕拉,A。
相关软件: 链接;FlowFox;CoSMed…
主要字段: 计算机科学(68-XX)

阿加皮亚

6篇文献引用(2008–2020)
软件作者: tefénescu,Gheorghe;塔塔姆,莫妮卡
相关软件: TensorFlow;弦;罗丹…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

NLambda公司

8份文件引用(2016–2022)
软件作者: 巴托克·克林;MichałSzynwelski
相关软件: 路易斯;z3;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

NumPyro公司

6篇文献引用(2021–2023)
软件作者: 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克
相关软件: 坚果;Pyro;JAX…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

EVES公司

引用于7份文件(1993–2006)
软件作者: Sento Kromodimoeljo;比尔·帕斯;Mark Saaltink;丹·克雷根(Dan Craigen);欧文·梅赛尔
相关软件: IMPS;PVS;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

狂热的

引用于7份文件(2011–2021)
软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。
相关软件: NetKAT;荨麻;VeriCon…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

i任务

5份文件引用(2008–2013)
软件作者: 普拉斯梅耶尔(Plasmeijer),里纳斯(Rinus);彼得·阿希顿;彼得·科普曼
相关软件: 清洁;米兰达;哈斯克尔…
主要字段: 计算机科学(68-XX)

雅可比2.0

引用于7份文件(2001–2021)
软件作者: 马丁·科勒(Martin Kröger);胡特,马库斯;汉斯·克里斯汀·奥廷格
相关软件: Mathematica;地理统计;SymPy公司
主要字段: 动力学系统和遍历理论(37-XX);微分几何(53-XX);数值分析(65-XX)…

LNT2LOTOS公司

引用于7份文件(2012–2022)
软件作者: David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding
相关软件: CADP;自旋蛋白;Exp.打开…
主要字段: 计算机科学(68-XX)

PolyLib公司

引用于7份文件(2004–2009)
软件作者: Jansson,P.,Jeuring,J。
相关软件: 哈斯克尔;息肉;快速检查…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

重新选择

6篇文献引用(2006–2018)
软件作者: 吉姆·格兰迪(Jim Grundy);Tom Melham;约翰·奥利里
相关软件: Coq;毫升;Agda…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FranTk公司

5份文件引用(2001–2005)
软件作者: 缪里·萨奇
相关软件: 软糖;GHC;哈斯克尔…
主要字段: 计算机科学(68-XX)

Lambda图书馆C++

5份文件引用(2002–2018)
软件作者: 贾科·加尔维;加里·鲍威尔;安德鲁·卢姆斯代恩
相关软件: STL;哈斯克尔;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

比例6.2

6篇文献引用(2015–2021)
软件作者: 里尔登,B。;列斐伏尔,R。;列斐伏尔,J。;克拉诺,K。;威廉姆斯,M。;Petrie,L。;美国Mertyurek。
相关软件: 德诺沃;特里利诺斯;比例…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

斯威夫特

2份文件引用(2020–2021)
软件作者: M.王尔德、M.哈特根、J.沃兹尼亚克、B.克利福德、D.卡茨、I.福斯特
相关软件: 飞马座;MapReduce;PyCOMPS…
主要字段: 计算机科学(68-XX)

3份文件引用(2010–2011)
软件作者: 大陆,G.,莫里塞特,G.,威尔士,M。
相关软件: MiniML;标签;Ynot…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

表格/3

2份文件引用(2001–2020)
软件作者: 玛格丽特·伯内特;约翰·阿特伍德(John Atwood);Djang、Rebecca Walpole;詹姆斯·雷奇温(James Reichwein);Herkimer Gottfried;杨雪莉
相关软件: VTK;Gencel;超级对撞机…
主要字段: 计算机科学(68-XX)

格鲁维

2份文件引用(2010–2013)
软件作者: Apache Groovy项目
相关软件: JavaScript;马普斯;OpenStreetMap…
主要字段: 计算机科学(68-XX)

莱姆

4份文件引用(2011–2021)
软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔
相关软件: 伊莎贝尔·霍尔;Coq;ACL2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: 卡尔·马祖拉克;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

PLaSM公司

5份文件引用(1992–1999)
软件作者: 乔治·斯科泽利:西蒙·波图西;弗朗科·米利奇奥(Franco Milicchio);巴尔达齐,C。;Paoluzzi,A。;帕斯库奇,V。;M.维琴蒂诺。
相关软件: 玛雅人;佛罗里达州;数学软件
主要字段: 计算机科学(68-XX)

PolyAML公司

5份文件引用(2005–2012)
软件作者: 丹塔斯,D.S。;Walker,D。;Washburn,G。;魏里奇,S
相关软件: Aspectual Caml;方面J;MAVEN…
主要字段: 计算机科学(68-XX)

Aspectual凸轮

4份文件引用(2005–2012)
软件作者: Hidehiko Masuhara;Hideaki Tatsuzawa;Akinori Yonezawa
相关软件: PolyAML;OCaml;方面C++…
主要字段: 计算机科学(68-XX)

AtomCaml公司

3份文件引用(2005–2022)
软件作者: Michael F.Ringenburg。;丹·格罗斯曼
相关软件: 萨摩亚;柔道STM;SPEC基准…
主要字段: 计算机科学(68-XX)

卡米洛特

4份文件引用(2005–2019)
软件作者: 汉斯·沃尔夫冈·洛伊德尔;肯尼思·麦肯齐
相关软件: 圣杯;OCaml;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卡特尔

3份文件引用(2018–2023)
软件作者: A.Giantsios、N.Papaspyrou、K.Sagonas
相关软件: 切割机;12月6日;厄利伯里…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

法西乐

3份文件引用(2005–2009)
软件作者: 巴尼尔,N.,布里塞特,P。
相关软件: 乔科;ProB;Gecode…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

长石

2份文件引用(2015年至2016年)
软件作者: E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda
相关软件: 熔岩;哈斯克尔;旋风…
主要字段: 计算机科学(68-XX)

高弗

4份文件引用(1997–2005)
软件作者: M.P.琼斯。
相关软件: 哈斯克尔;IBM Scratchpad;Modula公司
主要字段: 计算机科学(68-XX)

卡米

4份文件引用(2018–2021)
软件作者: Choi,J.、Vijayaraghavan,M.、Sherman,B.、Chlipala,A.、Arvind
相关软件: Coq;github;Coquet…
主要字段: 计算机科学(68-XX)

Nettle公司

3份文件引用(2017–2021)
软件作者: A.Voellmy、A.Agarwal、P.Hudak
相关软件: 狂热;NetKAT;SDN-SafeCheck…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PFLP公司

3份文件引用(2020–2022)
软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen)
相关软件: 教会;EasyCheck;瑞士…
主要字段: 计算机科学(68-XX)

PODC公司

4份文件引用(2001–2005)
软件作者: 邝海荣;Bic,卢博米尔F。;迈克尔·迪伦科特(Michael B.Dillencourt)。
相关软件: NINJA公司
主要字段: 计算机科学(68-XX)

PrologCheck(序言检查)

3份文件引用(2014–2022)
软件作者: 阿马拉尔,克劳迪奥;马里奥弗洛里多;维托尔·桑托斯·科斯塔
相关软件: K校准仪;K工具;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

SPL征服者

3份文件引用(2016–2021)
软件作者: Siegmund,N.、Rosenmüller,M.、Kuhlemann,M.,Kästner,C.、Apel,S.、Saake,G。
相关软件: 斯卡拉斯卡;AlgoWiki;TAU…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

XTL公司

4份文件引用(2003–2017)
软件作者: Garavel,H.、Mateescu,R。
相关软件: CADP;LNT2LOTOS公司;Exp.打开…
主要字段: 计算机科学(68-XX)

适应

2份文件引用(2003–2010)
软件作者: 阿恩·洛克坦根;罗兰·奥尔森
相关软件: 禁忌搜索;毫升;Walksat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

BSML库

3份文件引用(2002–2007)
软件作者: 盖坦·海恩斯;Loulergue;Frédéric
相关软件: OCaml;eSkel;伊甸园…
主要字段: 计算机科学(68-XX)

CHAD(查德)

3份文件引用(2022–2023)
软件作者: 瓦卡,马提伊斯;汤姆·斯米丁
相关软件: 提灯;效率;密码…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

佛罗里达州

3份文件引用(1999–2003)
软件作者: J.Backus、J.H.Williams、E.L.Wimmers
相关软件: 玛雅;PLaSM公司
主要字段: 数值分析(65-XX);计算机科学(68-XX)

HiPE公司

2份文件引用(2002–2003)
软件作者: E.Johansson、M.Pettersson、K.Sagonas
相关软件: 埃尔朗;SICStus公司;清洁
主要字段: 计算机科学(68-XX)

筛选结果依据…