蟒蛇 1424年文献引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
艾菲尔 234篇文献引用(1989–2023) 软件作者: 贝特朗·梅耶 相关软件: JML;闲聊;规范#… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
阿达95 277份文件引用(1979–2023) 软件作者: 让·伊克比亚 相关软件: 调制;埃菲尔;Smalltalk… 主要字段: 偏微分方程(35-XX);动力学系统和遍历理论(37-XX);数值分析(65-XX)…
COBOL公司 170篇文献引用(1960–2020) 软件作者: 格蕾斯·哈珀 相关软件: 损益表;ALGOL 60;Ada95… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数值分析(65-XX)…
Smalltalk公司 169篇文献引用(1983年-2023年) 软件作者: Alan Kay、Dan Ingalls、Adele Goldberg、Ted Kaehler、Scott Wallace 相关软件: 埃菲尔;Simula 67;Ada95… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
模拟器67 131篇文献引用(1963年至2021年) 软件作者: O.J.达尔。;Nygaard,K。 相关软件: 埃菲尔;ALGOL 68;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);数值分析(65-XX)…
皮克特 74份文件引用(1996–2022) 软件作者: 本杰明·皮尔斯(Benjamin C.Pierce)。;大卫·N·特纳 相关软件: 乔卡姆;莫德;Oz… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
区域设置 53篇文献引用(1999–2024) 软件作者: 克莱门斯·巴拉林 相关软件: 伊莎贝尔·霍尔;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);代数几何(14-XX)…
克莱尔 32篇文献引用(1998年至2019年) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;SALSA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
阿尔多 26篇文献引用(1997–2014) 软件作者: aldor.org;曼纽尔·布朗斯坦 相关软件: AXIOM;枫树;SageMath… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…
DLV-EX公司 16篇文献引用(2007–2021) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;伊安尼,乔瓦姆巴蒂斯塔 相关软件: 克林孔;克林戈;打开DLV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
pyOpt选项 14篇文献引用(2012–2023) 软件作者: 鲁本·佩雷斯(Ruben E.Perez)。;彼得·詹森(Peter W.Jansen)。;Joaquim R.R.A.Martins。 相关软件: SNOPT;顶部.m;Python… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)…
OSiL公司 10篇文献引用(2005–2022) 软件作者: 罗伯特·福勒;马军;基普·马丁 相关软件: AMPL;GAMS;LINDO… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
Paragon公司 引用于9份文件(2010–2022) 软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 相关软件: Jif;github;SeLINQ… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
DEMMAT公司 引用于9份文件(2006–2017) 软件作者: 巴列维奇乌斯,R。;Kačianauskas,R。;Díiugys,A。;Maknickas,A。;Vislavičius,K。 相关软件: CUDA;磁粉检测;特鲁巴… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
simpA公司 5份文件引用(2002–2012) 软件作者: 亚历山德罗·里奇;米尔科·维罗利;朱利奥·皮安卡斯特利 相关软件: 羽量级Java;CArtAgO;重新规范… 主要字段: 计算机科学(68-XX)
弗伦斯 6篇文献引用(2007–2016) 软件作者: 迈克尔·莱恩 相关软件: 特征值;交易.ii;FEMSTER… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
COMODI公司 4份文件引用(2004–2009) 软件作者: 拉扎尔,兹索尔特一世。;巴孜尔州帕尔夫 相关软件: —— 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)
后勤局域网 5份文件引用(1985–2020) 软件作者: 安东尼·克雷茨马尔(Antoni Kreczmar);安德烈·索尔维基(Andrzej Salwicki);马雷克·沃佩霍夫斯基 相关软件: Simula 67;贝塔 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CSSim公司 4份文件引用(2007–2009) 软件作者: 菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。 相关软件: 埃菲尔;勺;TCOZ… 主要字段: 计算机科学(68-XX)
RPython公司 3份文件引用(2009–2022) 软件作者: 大卫·安科纳、马西莫·安科娜、安东尼奥·库尼和尼古拉斯·D·马萨基斯 相关软件: 烟尘;爪哇格兰德;StaDyn… 主要字段: 计算机科学(68-XX)
ICOT公司 2份文件引用(1998–2002) 软件作者: Yang,Hyung Jeong;Yang,Jae Dong;金永浩(Kim,Yeongho) 相关软件: —— 主要字段: 计算机科学(68-XX)
对象货币 3份文件引用(1994–2013) 软件作者: 迈克尔·哈努斯(Michael Hanus);Frank Huch;菲利普·尼德劳 相关软件: 奥兹;巴贝尔;PAKCS… 主要字段: 计算机科学(68-XX)
2008年南非兰特 3份文件引用(2012–2016) 软件作者: Dave Foti,数学工场 相关软件: Matlab;数学软件 主要字段: 常微分方程(34-XX);粒子和系统力学(70-XX);可变形固体力学(74-XX)…
通用产品代码++ 1份文件引用(2018) 软件作者: 郑毅力;阿米尔·卡米尔(Amir Kamil);迈克尔·德里斯科尔(Michael B.Driscoll);鸿章山;凯瑟琳·耶利克 相关软件: 礼拜堂;军团;Kokkos… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
ADL2(ADL2) 2份文件引用(1995–2001) 软件作者: Masaharu Obayashi;久保田;Shane P.McCarron;莱昂内尔·马勒 相关软件: ADL公司 主要字段: 计算机科学(68-XX)
德尔塔J 2份文件引用(2018) 软件作者: Koscielny,J.、Holthusen,S.、Schaefer,I.、Schulze,S.和Bettini,L.、Damiani,F。 相关软件: VerCors;酯类;毒蛇… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
图形代码 在0个文档中引用 软件作者: 罗素·K·斯坦迪什(Russell K.Standish),杜蕾德·玛迪娜(Duraid Madina) 相关软件: 类别描述MP;SWIG;升压… 主要字段: ——
OOMPI公司 1份文件引用(2006) 软件作者: McCandless BC、Squyres JM、Lumsdaine A。 相关软件: 磁粉探伤 主要字段: 数值分析(65-XX);流体力学(76-XX)
DSLit(DSLit) 在0个文档中引用 软件作者: 科森蒂诺,瓦莱里奥;马西莫·提西;伊兹基尔多,哈维尔·路易斯·卡诺瓦 相关软件: 糖J;Xtext(扩展文本) 主要字段: 计算机科学(68-XX)
FJ量子 1份文件引用(2016) 软件作者: 塞缪尔·塞缪尔·费托萨(Samuel S.Feitosa)。;朱利安娜·维佐托(Juliana K.Vizzotto)。;爱德华多·K·皮维塔。;安德烈·R·杜波伊斯。 相关软件: 轻量级Java 主要字段: 计算机科学(68-XX);量子理论(81-XX)
基因组工具 1份文件引用(2022) 软件作者: Gremme G、Steinbiss S、Kurtz S 相关软件: KNIME;多氧;UniProt… 主要字段: 生物学和其他自然科学(92-XX)
PyNumero代码 1份文件引用(2023年) 软件作者: Jose S.罗德里格斯。;罗伯特·B·帕克。;卡尔·D·莱尔德。;尼科尔森,贝瑟尼L。;Siirola,约翰·D·。;拜纳姆(Michael L.Bynum)。 相关软件: 蟒蛇 主要字段: 运筹学、数学规划(90-XX)
机器人API 1份文件引用(2015) 软件作者: 安德烈亚斯·安格勒、阿尔文·霍夫曼、安德烈亚·席尔、迈克尔·维斯坦、沃尔夫冈·雷夫 相关软件: KUKA机器人语言 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
特征记录J 1份文件引用(2022) 软件作者: Bettini,L.、Damiani,F.、Schaefer,I.、Strocco,F。 相关软件: 达夫尼;罗丹;特征CbC… 主要字段: 计算机科学(68-XX)
维也纳材料 1份文件引用(2015) 软件作者: 约瑟夫·温布布(Josef Weinbub);马蒂亚斯·瓦斯特尔;卡尔·鲁普;弗洛里安·鲁道夫;齐格弗里德·塞尔伯赫 相关软件: 数字Py;pugixml;维也纳IPD… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)