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)…
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)…
地理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)
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)