×

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

Coq公司

1964年文献引用(1993–2024)
软件作者: 克利斯朵夫·德林格;Jean-François Dufourd
相关软件: Isabelle/HOL;伊莎贝尔;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

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

PVS公司

617文件引用(1993年-2023年)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

毫升

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

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

HOL灯

319份文件引用(1998–2024)
软件作者: 约翰·哈里森
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

ACL2型

287份文件引用(1998–2023)
软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
相关软件: Coq;Isabelle/HOL;PVS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

Z轴

237篇文献引用(1958–2023)
软件作者: 吉姆·伍德科克;吉姆·戴维斯
相关软件: 马戏团;校对能力;罗丹…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

联合

183份文件引用(1988–2021)
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
相关软件: NQTHM;PVS;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

高尔夫

158份文件引用(1996–2024)
软件作者: 赫克托·J·列夫斯克(Hector J.Levesque)。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;Richard B.舍尔。
相关软件: ConGolog;AgentSpeak;METATEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

伊萨尔

154份文件引用(2000–2023)
软件作者: 马卡里乌斯·温策尔
相关软件: 伊莎贝尔;Isabelle/HOL;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

LOTOS公司

135份文件引用(1988–2023)
软件作者: 博洛涅西,T.,布林克斯马,E。
相关软件: CADP;自旋蛋白;Uppaal…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

SPARQL公司

101篇文献引用(2007–2023)
软件作者: w3.org;马塞洛·阿里纳斯;佩雷斯,豪尔赫
相关软件: 耶拿;DBpedia;XPath…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

Flyspeck飞点

131篇文献引用(2004–2023)
软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班(Josef Urban);赫尔曼·格乌弗斯
相关软件: HOL灯;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…

Java路径查找器

96篇文献引用(2000–2023)
软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

卢斯特

104篇文献引用(1992–2023)
软件作者: 卡斯皮,P。;Pilaud,D。;Halbwachs,N。;普拉斯,J.A。
相关软件: 埃斯特尔;信号;Simulink…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

PDDL公司

95篇文献引用(2000–2023)
软件作者: 福克斯,M。;Long,D。;Ghallab,M.、Howe,A.、Knoblock,C.、McDermott,D.、Ram,A.、Veloso,M.,Weld,D.、Wilkins,D。
相关软件: 图形平面图;步行卫星;SAPA…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

生物-PEPA

97篇文献引用(2008–2024)
软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉
相关软件: 政治公众人物协议;棱镜;生物活性炭…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

AVISPA公司

82篇文献引用(2005–2023)
软件作者: 信息社会技术方案下的欧洲共同体(1998-2002)
相关软件: 卡斯珀;ProVerify;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

马蒂塔

78篇文献引用(2007–2024)
软件作者: 安德烈亚·阿斯佩蒂(Andrea Asperti);里奇奥蒂,威尔默;克劳迪奥·萨切多蒂·科恩;恩里科·塔西
相关软件: Coq;米扎尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

科莱姆

65篇文献引用(2000–2023)
软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。
相关软件: 琳达;克拉瓦;SCEL…
主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)…

伊莎贝尔/采埃孚

70篇文献引用(1993年-2023年)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

CompCert公司

58篇文献引用(2009–2023)
软件作者: X·勒罗伊。
相关软件: Coq;Isabelle/HOL;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

COMAL公司

1份文件引用(1982年)
软件作者: 本尼迪克特·洛伊夫斯特德;博尔赫·克里斯滕森
相关软件:
主要字段: 计算机科学(68-XX)

X减少

53篇文献引用(2003–2020)
软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯)
相关软件: CDuce;XPath;PiDuce…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

K校准仪

46篇文献引用(2007–2022)
软件作者: 罗什、格里戈尔等人
相关软件: 莫德;K工具;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

旋转(swrl)

32篇文献引用(2005–2022)
软件作者: Horrocks,I.、Patel Schneider,P.F.、Boley,H.、Tabet,S.、Grosof,B.、Dean,M。
相关软件: 颗粒;FaCT++;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

康戈洛格

引用于40篇文献(1999–2022)
软件作者: 德贾科莫;Lespérance,Y。;H.J.列夫斯克。
相关软件: 高尔夫;AgentSpeak;METATEM…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

IF-2.0型

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

博客

引用于40篇文献(2006–2023)
软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L。;Kolobov,A。
相关软件: 教会;ProbLog;IBAL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

PNML公司

30篇文献引用(1992–2022)
软件作者: 希拉,L.M。;Kordon,F。;佩特鲁奇,L。;Trèves,N。
相关软件: 沃夫兰;设计/CPN;CPN/工具…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

Rapide公司

31份文件引用(1997–2019)
软件作者: 大卫·C·勒克姆。
相关软件: HOL;伊萨尔;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

ASF+SDF

32篇文献引用(1996–2022)
软件作者: 范登·布兰德,M.G.J。;van Deursen,A。;海林,J。;德容,H.A。;de Jonge,M。
相关软件: Stratego;莫德;ATERM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

GF公司

30篇文献引用(1999–2021)
软件作者: 阿恩·兰塔
相关软件: Coq;米扎尔;Isar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

PMaude公司

30篇文献引用(2005–2023)
软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森
相关软件: 莫德;PVeStA;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

红宝石

22篇文献引用(2002年至2017年)
软件作者: 弗拉纳根,D。;松本,Y。
相关软件: 蟒蛇;JavaScript;PERL…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

JUnit公司

16篇文献引用(2002–2022)
软件作者: Yoonsik Cheon;Gary T.Leavens。
相关软件: JML;埃菲尔;ESC/Java…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

威特拉2

18篇文献引用(2006–2019)
软件作者: 达尼尔·瓦罗;安德烈·巴洛夫
相关软件: 进度;AGG;图形转换基准…
主要字段: 计算机科学(68-XX)

爪哇风扇

30篇文献引用(2004–2018)
软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌
相关软件: 莫德;K校准仪;MMT…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

歧管

28篇文献引用(1993年-2023年)
软件作者: 博桑格,M.M。;Arbab,F。;德·巴克尔,J.W。;Rutten,J.J.M.M。;A.斯库特拉。
相关软件: 琳达;里奥;石灰…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

美国铝业公司

22篇文献引用(2000–2023)
软件作者: Jackson,D。;谢赫特,I。;我·什利亚克特。
相关软件: 合金;自旋蛋白;箔条…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DACTL公司

28篇文献引用(1987–2015)
软件作者: John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep
相关软件: 迭戈;进度;蒙斯特…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

规则ML

22篇文献引用(2002–2022)
软件作者: 安德烈亚斯·埃伯哈特
相关软件: swrl;三倍的;沙达拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

J流量

23篇文献引用(2002–2022)
软件作者: 安德鲁·C·迈尔斯
相关软件: TaintDroid;哈斯克尔;TALx86…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

qGCL公司

25篇文献引用(2000–2024)
软件作者: 保罗·祖利亚尼
相关软件: QPL;质量管理清单;Quipper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

本质

27篇文献引用(2008–2023)
软件作者: 艾伦·M·弗里希(Alan M.Frisch)。;沃里克·哈维;克里斯·杰斐逊(Chris Jefferson);马丁内斯·埃尔南德斯(Martínez-Hernández),伯纳黛特(Bernadette);伊恩·米格尔
相关软件: 微量锌;锌;ESRA…
主要字段: 结合环与代数(16-XX);计算机科学(68-XX);量子理论(81-XX)…

电子LOTOS

23篇文献引用(1998–2016)
软件作者: 罗伯特·克拉克;安娜·莫雷拉
相关软件: CADP;自旋蛋白;LOTOS…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

GrGen公司

19份文件引用(2006–2023)
软件作者: 盖·鲁比诺;格诺特·维特(Gernot Veit Batz);丹尼尔·格伦德;塞巴斯蒂安·哈克;亚当·萨勒科夫斯基
相关软件: AGG;富贾巴;凹槽…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

变身

23篇文献引用(2012–2023)
软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔
相关软件: AGG;沟槽;GrGen…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

2APL公司

13份文件引用(2009年至2020年)
软件作者: 迈赫迪·达斯塔尼
相关软件: 杰森;AgentSpeak;Jadex…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

LPL软件

引用于20份文件(2000–2023)
软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease
相关软件: EPGY;减少;OTTER…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

PolyTOIL公司

19份文件引用(1997–2014)
软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。
相关软件: 羽量级Java;埃菲尔;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

圣杯

引用于20份文件(1994–2021)
软件作者: 达雷尔·雷蒙德;伍德,德里克
相关软件: 自动化;AMoRE;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

PCOMP公司

21篇文献引用(1991年-2023年)
软件作者: 多布曼,M。;Liepelt,M。;希特科夫斯基,K。
相关软件: PDEFIT;易于安装;ADOL-C…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

质量管理团队

22篇文献引用(2012–2022)
软件作者: 弗洛里安·拉贝
相关软件: MMT;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CP逻辑

引用于20份文件(2009–2023)
软件作者: Joost Vennekens;马克·德纳克;莫里斯·布吕诺格
相关软件: ProbLog;PITA;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

HOL-OCL公司

13份文件引用(2002–2016)
软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特
相关软件: ATL;凯伊;ETPS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

皮杜克

18篇文献引用(2006–2020)
软件作者: 卡皮内蒂,萨缪尔;科西莫·拉内夫;卢卡·帕多瓦尼
相关软件: XPi;X产品;COWS…
主要字段: 计算机科学(68-XX)

IPSEN公司

引用于20份文件(1991–2010)
软件作者: 安迪·舒尔
相关软件: mctoolbox;LAPACK;PostgreSQL…
主要字段: 历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX)…

SCEL公司

17篇文献引用(2014–2023)
软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁
相关软件: 科莱姆;莫德;PALOMA…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ArchJava建筑

10篇文献引用(2002年至2017年)
软件作者: 乔纳森·奥尔德里奇;钱伯斯,克雷格;大卫·诺金
相关软件: SOFA 2.0;宽带;UMLDiff…
主要字段: 计算机科学(68-XX)

半人马座

18篇文献引用(1991–2019)
软件作者: Borras,P.、Clément,D.、Despeyroux,Th.、Incerpi,J.、Kahn,G.、Lang,B.、Pascual,V、
相关软件: K校准仪;Coq;莫德…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

cminor(小)

17篇文献引用(2007–2016)
软件作者: A.W.阿佩尔、S.布拉齐。
相关软件: Coq;CompCert;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

伊莎贝尔/UTP

19份文件引用(2015–2021)
软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克
相关软件: Isabelle/HOL;马戏团;Z、 …
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)

泰尤斯

18篇文献引用(2001–2022)
软件作者: Nadathur,G.,Mitchell,D.J。
相关软件: Twelf公司;阿贝拉;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ArcAngel公司

在14份文件中引用(2003–2023)
软件作者: 马塞尔·奥利维拉(Marcel Oliveira);安娜·卡瓦尔坎蒂;吉姆·伍德科克
相关软件: 马戏团;Z;电源保护…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

糖蛋白2

17篇文献引用(2009–2022)
软件作者: C.烘焙;D.丰满
相关软件: AGG;GrGen;Fujaba…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

伦敦商学院

16篇文献引用(2010–2022)
软件作者: 迈克尔·佩德森(Michael Pedersen);戈登·普洛金(Gordon D.Plotkin)。
相关软件: 生物-PEPA;BioNetGen;生物活性炭…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

MB基础

17篇文献引用(1999–2006)
软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯
相关软件: TPS;欧米茄;数字(amp;N)…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)

大都市

7份文件引用(2006–2018)
软件作者: Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A
相关软件: 托勒密;里奥;LUSTRE…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

可视信息系统

10篇文献引用(2005–2015)
软件作者: Brayton,R.K.等人。
相关软件: NuSMV;自旋蛋白;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

穆尔斐

11份文件引用(2003–2020)
软件作者: 大卫·迪尔
相关软件: 自旋蛋白;迪文尼;BEEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

那不勒斯

在14份文件中引用(2010–2021)
软件作者: Cramer,M.,Koepke,P.,Schröder,B。
相关软件: 米扎尔;对于TheL;Flyspeck…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

方案

在14份文件中引用(1989–2011)
软件作者: 盖伊·L·斯蒂尔;杰拉尔德·杰伊·萨斯曼
相关软件: LISP;PVS;Lotrescheme…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

岛国

引用于9份文件(2006–2016)
软件作者: 马克·埃斯特瓦(Marc Esteva)、大卫·德·拉克鲁斯(David de la Cruz)、卡尔斯·塞拉(Carles Sierra)
相关软件: 社会可视化者;杰森;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Java Jr语言

13份文件引用(2005–2020)
软件作者: 杰弗里,艾伦;朱利安·拉特克
相关软件: Z;埃菲尔;多重显示…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

NESL公司

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

TLAPS(TLAPS)

在14份文件中引用(1999–2023)
软件作者: 拉波特
相关软件: 薄层色谱法;常春藤;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

对于左

12份文件引用(2002–2021)
软件作者: Vershinin,K.,Paskevich,A。
相关软件: 米扎尔;SAD;定理…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

伊莎贝尔/马戏团

12份文件引用(2013–2017)
软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff
相关软件: Isabelle/HOL;电源保护;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

熔岩

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

LFLC 2000型

13份文件引用(2004–2022)
软件作者: 伊朗空军
相关软件: ETPS;果汁;模糊森林…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

生锈带

13份文件引用(2018–2022)
软件作者: Jung,R.、Jourdan,J.H.、Krebbers,R.和Dreyer,D。
相关软件: 锈蚀;Coq;工具链…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

UML2合金

6篇文献引用(2008–2015)
软件作者: Anastasakis,K.、Bordbar,B.、Georg,G.、Ray,I
相关软件: HOL-OCL;莫德;ATL…
主要字段: 计算机科学(68-XX)

捷克共和国

6篇文献引用(2008–2012)
软件作者: 社区Z工具项目
相关软件: Z;马戏团;旋转…
主要字段: 计算机科学(68-XX)

米兹3

12份文件引用(2012–2020)
软件作者: 弗里克·威迪杰克
相关软件: Coq;米扎尔;Isar…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

美赞臣

引用于9份文件(2006–2019)
软件作者: Bierman GM、Parkinson MJ、Pitts AM
相关软件: 羽量级Java;中量级爪哇;旋风…
主要字段: 计算机科学(68-XX)

Myhill-Nerode公司

12份文件引用(2011–2020)
软件作者: 吴春汉;张兴元;城市,基督教
相关软件: Coq;存档正式证据;常规集…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

FoCaLiZe公司

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

6月2日

11份文件引用(1996–2004)
软件作者: 艾伦·海登;格雷格·纳尔逊
相关软件: 天蓝色;MMP/Geometer;梅德勒…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

洛克史密斯

10篇文献引用(2008–2021)
软件作者: Pratikakis,P.、Foster,J.S.、Hicks,M。
相关软件: 继电器;橡皮擦;地精…
主要字段: 计算机科学(68-XX)

穆瓦尔

8份文件引用(2010–2023)
软件作者: Ou,X.,Govindavajhala,S.,Appel,A.W。
相关软件: ADEPTS;分享;SPSS…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

壁画

10篇文献引用(1991–2014)
软件作者: C.B.琼斯。;K.D.琼斯。;Lindsay,P.A。;R.D.摩尔。
相关软件: RAISE(提升);落叶松;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

社会可视化者

8份文件引用(2007–2013)
软件作者: 亚历山大·阿提基斯;塞尔格特,马雷克;杰里米·皮特
相关软件: 岛民;CCalc;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

安娜

8份文件引用(1986–2007)
软件作者: 大卫·勒克姆
相关软件: Ada95;火花;规范#…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

DEDALE公司

7份文件引用(2001–2010)
软件作者: S.Grumbach、P.Rigaux、L.Segoufin
相关软件: CCUBE;抒情的;Oracle…
主要字段: 近似和展开(41-XX);计算机科学(68-XX)

雷贝卡

8份文件引用(2010–2022)
软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔
相关软件: Uppaal;克里奥尔;定时丽贝卡…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Speedith公司

引用于9份文件(2012–2019)
软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。
相关软件: 超防;伊莎贝尔;迪亚贝利…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…

筛选结果依据…

全部的 前5名

相关软件