Gmsh公司 968份文件中引用(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)…
半人马座 引用于19份文件(1991–2022) 软件作者: Borras,P.、Clément,D.、Despeyroux,Th.、Incerpi,J.、Kahn,G.、Lang,B.、Pascual,V、 相关软件: K校准仪;Coq;莫德… 主要字段: 数学逻辑与基础(03-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)…
雅加达 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)
Z2sal公司 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) 软件作者: 安德鲁·麦克里特(Andrew McCreight);蒂姆·骑士;安德鲁·托尔马赫 相关软件: Coq;CompCert;CompCertTSO… 主要字段: 计算机科学(68-XX)
生物模型分析仪 2份文件引用(2017–2021) 软件作者: 艾哈迈德,扎拉;大卫·本克(David Benque);谢尔盖·贝雷津(Sergey Berezin);安娜·卡罗琳·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)
网络草图 2份文件引用(2010–2012) 软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。 相关软件: 伊莎贝尔;自旋蛋白;马蒂塔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Q*证书 1份文件引用(2018) 软件作者: 奥尔巴赫,J.S.、赫泽尔,M.、曼德尔,L.、辛纳,A.、西蒙,J。 相关软件: 序列;HoTTSQL;SQLCert… 主要字段: 计算机科学(68-XX)