Gms小时 939份文件引用(2003–2024) 软件作者: Christophe Geuzaine,Jean-François Remacle 相关软件: FEniCS;PETSc;ParaView… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
JML公司 161份文件引用(2000–2023) 软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司 相关软件: 规格#;埃菲尔;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
班德拉 105篇文献引用(2000–2023) 软件作者: 约翰·哈特克利夫;马修·德怀尔 相关软件: 自旋蛋白;Java PathFinder;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
落叶松 105篇文献引用(1989–2023) 软件作者: John V.Guttag。;詹姆斯·霍宁。 相关软件: JML;埃菲尔;PVS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…
信号 51篇文献引用(1987年-2020年) 软件作者: 大卫·诺瓦克;让-皮埃尔·塔尔平;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;埃斯特尔;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
沙扎姆 26篇文献引用(1991–2009) 软件作者: SHAZAM分析 相关软件: Stata公司;LIMDEP公司;高斯… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
珍珠包 18篇文献引用(1998–2008) 软件作者: 霍斯蒂斯,E.N。;赖斯,J.R。;Weerawarana,S。;Catlin,A.C.公司。;Papachiou,P。;Wang,K.-Y。;盖塔茨,M。 相关软件: ELLPACK;PYTHIA公司;LAPACK… 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);变异微积分和最优控制;优化(49-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)
雅加达 17篇文献引用(2001–2014) 软件作者: Daniela Junho de Andrade、Simão Melo de Sousa 相关软件: Coq;OCaml;LETOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…
Verilog公司 引用于9份文件(1999–2020) 软件作者: 斯图亚特·萨瑟兰 相关软件: VPI;电源保护;卡米… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
RT-ASLAN公司 3份文件引用(1994–2002) 软件作者: 奥尔海默B,凯默R A。 相关软件: 埃斯特尔;Ada95;ASTRAL公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Z2萨尔 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
成本核算表 5份文件引用(2012–2017) 软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。 相关软件: 防抱死制动系统;速度;中美合作所… 主要字段: 计算机科学(68-XX)
尽职调查 5份文件引用(1998年至2013年) 软件作者: K.伯肯 相关软件: 无人值守地面;libGrid;pcl… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
G小调 4份文件引用(2010–2019) 软件作者: 麦克赖特,安德鲁;蒂姆·骑士;安德鲁·托尔马赫 相关软件: Coq;CompCert;CompCertTSO… 主要字段: 计算机科学(68-XX)
示波器外壳 3份文件引用(2011–2014) 软件作者: 莫斯科国立大学;DP Kostomarov,FS Zaitsev,AG Shishkin公司 相关软件: 托卡马克;塔迪斯;泊松解算器… 主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)
生物模型分析仪 2份文件引用(2017年至2021年) 软件作者: 扎拉·艾哈迈德;大卫·本克(David Benque);谢尔盖·贝雷津(Sergey Berezin);Dahl,Anna Caroline E。;贾斯敏·费希尔(Jasmin Fisher);本杰明·霍尔(Benjamin A.Hall)。;萨明·伊斯蒂亚克;杰伊·纳纳瓦蒂;尼尔·皮特曼;梅克Riechert;尼基塔·斯科洛夫 相关软件: 漫长的时期;亚特兰蒂斯;Cytoscape.js… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
ADL2(ADL2) 2份文件引用(1995–2001) 软件作者: Masaharu Obayashi;久保田;Shane P.McCarron;莱昂内尔·马勒 相关软件: ADL公司 主要字段: 计算机科学(68-XX)
生物模拟器.jl 在0个文档中引用 软件作者: 阿方索·兰德罗斯(Alfonso Landeros)、蒂莫西·斯图茨(Timothy Stutz)、凯文·凯斯(Kevin L.Keys)、亚历山大·阿列克西恩科(Alexander Alekseyenko)、珍妮特·辛希默(Janet S.Sinsheimer)、肯尼思·兰 相关软件: 微分方程.jl;朱莉娅;DiffEqFlux… 主要字段: –
网络草图 2份文件引用(2010–2012) 软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。 相关软件: 伊莎贝尔;自旋蛋白;马蒂塔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
OOMPI公司 1份文件引用(2006) 软件作者: McCandless BC、Squires JM、Lumsdaine A。 相关软件: 磁粉探伤 主要字段: 数值分析(65-XX);流体力学(76-XX)
森林 在0个文档中引用 软件作者: 凯瑟琳·费希尔(Kathleen Fisher);Nate Foster;大卫·沃克(David Walker);Zhu,Kenny Q。 相关软件: 格拉夫维兹 主要字段: –
NFB标签 1份文件引用(2021) 软件作者: 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A 相关软件: 传奇;MNE;头脑风暴… 主要字段: 生物学和其他自然科学(92-XX)
Q*证书 1份文件引用(2018) 软件作者: Auerbach,J.S.、Hirzel,M.、Mandel,L.、Shinnar,A.、Siméon,J。 相关软件: 序列;HoTTSQL;SQLCert… 主要字段: 计算机科学(68-XX)