×

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

Coq公司

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

Gms小时

939份文件引用(2003–2024)
软件作者: Christophe Geuzaine,Jean-François Remacle
相关软件: FEniCS;PETSc;ParaView…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

自旋蛋白

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

莫德

646份文件引用(1984–2023)
软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队
相关软件: OBJ咖啡馆;OBJ3;ELAN…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

PVS公司

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

水蝇

404文件引用(2000–2024)
软件作者: 波皮内特,斯特芬
相关软件: PROST;SLIC;蛇蜥…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

Z

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

ADIFR公司

254篇文献引用(1992–2023)
软件作者: 克里斯蒂安·比肖夫(Christian Bischof);艾伦·卡尔;乔治·柯利斯(George Corliss);安德烈亚斯·格雷万克
相关软件: ADOL-C;ADIC;锥体…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

E定理证明器

229篇文献引用(2001–2023)
软件作者: 斯蒂芬·舒尔茨
相关软件: VAMPIRE公司;TPTP;SPASS…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

老鼠

182份文件引用(2006–2024)
软件作者: 斯特夫·范·布伦
相关软件: R;阿梅利亚;SAS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

JML公司

161份文件引用(2000年-2023年)
软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司
相关软件: 规范#;埃菲尔;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

联合

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

CASL公司

174篇文献引用(1999–2023)
软件作者: 蒂尔·莫萨科夫斯基
相关软件: OBJ咖啡馆;赫茨;莫德…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

CESAR公司

160篇文献引用(1982–2023)
软件作者: Queille,J.P。;J.西法基斯。
相关软件: 自旋蛋白;灌篮;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

LOTOS公司

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

Why3号机组

144篇文献引用(2004–2023)
软件作者: 弗朗索瓦·博伯特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇
相关软件: Coq;卡拉卡拉;z3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里)
相关软件: 莫德;咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

凯卡克

137篇文献引用(2011–2024)
软件作者: Bertoni,G.、Daemen,J.、Peeters,M.、Van Assche,G。
相关软件: 出席;金利;海绵…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

班德拉

105篇文献引用(2000年-2023年)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

NAS并行基准测试

73篇文献引用(1992–2018)
软件作者: 美国国家航空航天局
相关软件: MPI/MPICH;磁粉检测;CUDA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

净现值

109篇文献引用(2008–2024)
软件作者: 杰弗里·拉辛(Jeffrey S.Racine),特里斯汀·海菲尔德(Tristen Hayfield)
相关软件: R;KernSmooth;gamair…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

函数

69篇文献引用(2002–2023)
软件作者: w3.org网站
相关软件: XPath;X标记;Oracle…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

乐高

116篇文献引用(1991–2023)
软件作者: 罗,Z.,波拉克,R。
相关软件: Coq;Nuprl;自动…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

落叶松

105篇文献引用(1989–2023)
软件作者: John V.Guttag。;詹姆斯·霍宁。
相关软件: JML;埃菲尔;PVS…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…

QDES公司

109篇文献引用(1991–2023)
软件作者: 斯蒂芬·博伊德(Stephen P.Boyd)。;克雷格·H·巴拉特。
相关软件: LMI工具箱;塞杜米;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

达夫尼

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

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: 伊莎贝尔·霍尔;Coq;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…

摩卡

85篇文献引用(1999–2023)
软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。
相关软件: 多甲基甲酰胺;自旋蛋白;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

MCMAS公司

86篇文献引用(2006–2023)
软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi)
相关软件: MCK;摩卡;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ADIC公司

83份文件引用(1996–2023)
软件作者: Howland,P。;诺里斯,B。;B.史密斯。
相关软件: ADIFR;ADOL-C;PETSc…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯
相关软件: 达菲;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

混合的

74份文件引用(1993–2023)
软件作者: SAS协会
相关软件: SAS;SAS/STAT;R、 …
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

DP包

70篇文献引用(2008–2024)
软件作者: Jara,A.、Hanson,T.E.、Quintana,F.A.、Müller,P.、Rosner,G.L。
相关软件: R;贝叶斯DA;CODA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

克利夫亚

73篇文献引用(2007–2023)
软件作者: 雷扎伊普尔,达伍德;Mohamad Rushdan马里兰州。
相关软件: 出席;短笛;LBlock;…(L块;…)…
主要字段: 数论(11-XX);算子理论(47-XX);计算机科学(68-XX)…

进展

52篇文献引用(1994–2022)
软件作者: 曼弗雷德·穆奇;舒尔,安迪;安德烈亚斯·温特。
相关软件: AGG;富贾巴;VIATRA2…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

凯伊

55份文件引用(2000年-2023年)
软件作者: http://www.key-project.org/people.html
相关软件: JML;ESC/Java;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

算法679

64篇文献引用(1990–2022)
软件作者: J.J.Dongarra、J.Du Croz、I.S.Duff、S.Hammarling
相关软件: BLAS;LAPACK;ScaLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

赫茨

65篇文献引用(2005–2023)
软件作者: Mossakowski,T.、Maeder,C.、Lüttich,K。
相关软件: CASL;伊莎贝尔·霍尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

mCRL2型

59篇文献引用(2007–2023)
软件作者: 格罗特,扬·弗里索;Aad Mathijssen;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
相关软件: CADP;自旋蛋白;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

阿贝拉

57篇文献引用(2008–2023)
软件作者: 安德鲁·加塞克
相关软件: Twelf;白鲸;密码…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

凯伊迈拉

55份文件引用(2008–2023)
软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔
相关软件: SpaceEx;凯伊迈拉X;高科技…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

电源保护

52篇文献引用(2001–2020)
软件作者: 罗杰·琼斯;R.D.阿尔森。;戴夫·金;Lemma 1有限公司
相关软件: 马戏团;Z;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);实函数(26-XX)…

信号

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

OpenMx(OpenMx)

39篇文献引用(2006–2023)
软件作者: 史蒂文·博克(Steven Boker);迈克尔·尼尔;赫尔敏·梅斯(Hermine Maes);迈克尔·王尔德;迈克尔·施皮格尔(Michael Spiegel);蒂莫西·布里克;间谍,杰弗里;雷恩·埃斯塔布鲁克;莎拉·肯尼;蒂莫西·贝茨(Timothy Bates);梅塔,帕拉斯;约翰·福克斯
相关软件: R;Mplus;熔岩…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl;密码…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

LAM-MPI公司

45篇文献引用(1996–2020)
软件作者: Burns,G.、Daoud,R.和Vaigl,J
相关软件: MPI/MPICH;磁粉检测;梅蒂斯…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

Daikon公司

41篇文献引用(2005–2022)
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
相关软件: JML;胡迪尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

IF-2.0型

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

阿斯马拉

45篇文献引用(2001–2023)
软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。
相关软件: 毫升;SpecExplorer;科拉特…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

全球气候变化监测

42篇文献引用(2012–2023)
软件作者: 吉多·马萨罗托;克里斯蒂亚诺·瓦林
相关软件: R;CopulaModel;加权分数…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

分享

38篇文献引用(1992–2024)
软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托
相关软件: 莫比乌斯;SPNP;智能_…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

WhyML公司

44篇文献引用(2013–2023)
软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇
相关软件: Why3;z3;密码…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

CoFI公司

引用于40篇文献(1997–2017)
软件作者: 彼得·莫塞斯(Peter D.Mosses)。
相关软件: CASL;ATERM;玛雅…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);一般代数系统(08-XX)…

SSS系统

44篇文献引用(2007–2023)
软件作者: 克里斯·汉斯;阿德里安·多布拉(Adrian Dobra);韦斯特,迈克
相关软件: EMVS;glmnet;玻璃…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

Uppaal2k公司

38篇文献引用(2000–2017)
软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen)
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

日/日

引用于40篇文献(2002–2022)
软件作者: 细辛,尤金;Dang,Thao;奥德·马勒
相关软件: 高科技;PHAVer;SpaceEx…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

魔法

39篇文献引用(2003–2020)
软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思
相关软件: ComFoRT;班德拉;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

模块

39篇文献引用(1985–2018)
软件作者: 伯纳杜,M。;哈西姆,A。;Laug,P。;转向,D。;维德拉斯库,M。;E.萨尔特尔。
相关软件: mpi4py;UFL;宠物…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

边界

34份文件引用(1998–2023)
软件作者: 蒂姆·科利(Tim Coelli)、阿恩·亨宁森(Arne Henningsen)
相关软件: R;sfa;标杆管理…
主要字段: 历史与传记(01-XX);统计学(62-XX);数值分析(65-XX)…

主要决策

38篇文献引用(2001–2022)
软件作者: 古斯塔夫松J.、萨洛A.、古斯塔夫森T。
相关软件: ComPAIRS公司;RICH决策;VIP分析…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

A至M3

18篇文献引用(2002–2021)
软件作者: 胡安·德·拉腊(Juan de Lara);汉斯·旺格鲁
相关软件: AGG;VIATRA2;进度…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

MoDeST公司

33篇文献引用(2001–2022)
软件作者: 佩德罗·R·D’Argenio。;赫尔曼斯,霍尔格;Joost-Pieter Katoen;里克·克拉伦
相关软件: 棱镜;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

WSAT公司

引用于29份文件(2004–2019)
软件作者: 傅湘;布尔坦、特夫菲克;苏建文
相关软件: BPEL2PN;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

STeP公司

33篇文献引用(1997–2015)
软件作者: N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
相关软件: PVS;自旋蛋白;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

VerICS版本

34份文件引用(2005–2023)
软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳
相关软件: 多甲基甲酰胺;MCK;MOCHA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

防抱死制动系统

32篇文献引用(2012–2022)
软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。
相关软件: JCobox;中美合作所;Erlang…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

bfa公司

34份文件引用(2013–2023)
软件作者: Jared S.Murray。;戴维·邓森(David B.Dunson)。;劳伦斯·卡林;约瑟夫·卢卡斯(Joseph E.Lucas)。
相关软件: R;ADVI;阿达德尔塔…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

科拉特

24篇文献引用(2001–2022)
软件作者: Chandrasekhar Boyapati;萨尔夫拉兹·库希德(Sarfraz Khurshid);达科·马里诺夫
相关软件: Symstra公司;TestEra;Java PathFinder…
主要字段: 数学逻辑与基础(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)…

HIP(热等静压)

33篇文献引用(2007–2023)
软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·戴维;克里斯蒂安·吉尔吉纳(Cristian Gherghina);Quang Loc Le;Ton-Chanh Le;阿桑卡亚·夏尔马
相关软件: 小脚;VeriFast;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈维隆德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JUnit公司

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

第3页

23篇文献引用(2001–2016)
软件作者: M.Dastani、F.Dignum、J.-J.Meyer
相关软件: AgentSpeak;贾德克斯;杰森…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

威特拉2

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

地理1.1

31份文件引用(1996–2021)
软件作者: 王东明
相关软件: GeoGebra;GEX;地理信息…
主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…

微CRL

24篇文献引用(2001–2022)
软件作者: 斯特凡·布洛姆;Wan Fokkink;格罗特,扬·弗里索;伊扎克·范·朗格沃尔德;伯特·利瑟
相关软件: Uppaal;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)…

MIO工作台

30篇文献引用(2010–2023)
软件作者: 塞巴斯蒂安·鲍尔。;菲利普·迈耶(Philip Mayer);Legay、Axel
相关软件: 摩托罗拉;ECDAR;MSTA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

沙扎姆

26篇文献引用(1991–2009)
软件作者: SHAZAM分析
相关软件: Stata公司;LIMDEP公司;高斯…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

西戈亚

27篇文献引用(2009–2023)
软件作者: 托马斯·韦斯
相关软件: 基因组学;Matlab;优化工具箱…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TimeNET(时间网)

28篇文献引用(1995–2022)
软件作者: 德语,Reinhard;克里斯蒂安·凯林(Christian Kelling);阿明·齐默尔曼(Armin Zimmermann);贡特霍梅尔
相关软件: GreatSPN;SPNP;GreatSPN 1.7…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

普罗米拉

30篇文献引用(1997–2022)
软件作者: Natarajan,V。;杰拉德·J·霍尔兹曼。
相关软件: 自旋蛋白;jSpin;ProB…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

马赛尔

28篇文献引用(1998–2022)
软件作者: 比约恩·贝特尔;赫尔穆特·赫罗德;阿尔马西,B。;博尔赫,G。;Tutsch,D。;等等
相关软件: lcpSim;SPNP;GreatSPN 1.7…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

回路

24篇文献引用(2001–2012)
软件作者: 约阿希姆·范登伯格;巴特·雅各布斯
相关软件: JML;PVS;卡拉卡拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;Casper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

TLA公司

引用于29份文件(1992–2023)
软件作者: L.兰波特
相关软件: 自旋蛋白;z3;加号…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

可视化C#

24篇文献引用(2002年-2010年)
软件作者: 微软
相关软件: ASP。网络;埃菲尔;VisualStudio。NET…
主要字段: 动力学系统和遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

伊甸园

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

PESSOA公司

26篇文献引用(2011–2022)
软件作者: 普里塔姆·罗伊;保罗·塔布阿达;鲁帕克·马朱姆达尔
相关软件: SCOTS;科西马;TuLiP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

qGCL公司

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

28篇文献引用(2005–2022)
软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;马克·华莱士
相关软件: 本质;微量锌;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

本质

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

马亚

23篇文献引用(2002年至2015年)
软件作者: Dieter Hutter;谢尔盖·奥特西尔
相关软件: CASL;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

BoTorch公司

23篇文献引用(2021–2024)
软件作者: 马克西米利安·巴兰达(Maximilian Balandat)、布莱恩·卡勒(Brian Karrer)、丹尼尔·江泽民(Daniel R.Jiang)、塞缪尔·道尔顿(Samuel Daulton)、本杰明·莱瑟姆(Benjamin Letham)、安德鲁·戈登·威尔
相关软件: PyTorch;青蒿;GPyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CoCasl公司

26篇文献引用(2003–2014)
软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德
相关软件: CASL;莫德;Hets…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

Java操作系统

26篇文献引用(2005–2023)
软件作者: 冯晨;格里戈·罗什
相关软件: LOLA;方面J;Java-MaC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

CCSL公司

24篇文献引用(2001–2015)
软件作者: Jan Rothe、Bart Jacobs和Hendrik Tews
相关软件: PVS;CoCasl;CASL…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…

电子LOTOS

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

繁荣

23篇文献引用(2000年至2009年)
软件作者: 路易斯·丹尼斯(Louise A.Dennis)。;格雷厄姆·柯林斯;迈克尔·诺里什(Michael Norrish);理查德·博尔顿(Richard Boulton);斯林德,康拉德;格雷厄姆·罗宾逊(Graham Robinson);戈登,迈克;汤姆·梅尔姆
相关软件: PVS;OMRS;甘道夫…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

泽农

21篇文献引用(2007–2022)
软件作者: 理查德·博尼康;戴维·德拉哈耶(David Delahaye);Damien Doligez
相关软件: Coq;TPTP;dedukti…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件