×

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

蟒蛇

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

科特林

3份文件引用(2017–2020)
软件作者: 科特林基金会;JetBrains公司
相关软件: SWI-预测;XSB;SenticNet…
主要字段: 计算机科学(68-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份文件引用(1997年-2010年)
软件作者: A.Brodsky、Y.Kornatzky
相关软件: CCUBE;迪达尔;芯片…
主要字段: 计算机科学(68-XX)

Java日志

3份文件引用(2002–2007)
软件作者: 阿曼迪,安娜拉;马塞洛·坎波;亚历杭德罗·祖尼诺
相关软件: 高尔夫;奥兹;METATEM…
主要字段: 计算机科学(68-XX)

LOGIDATA公司+

5份文件引用(1993–1998)
软件作者: 保罗·阿特泽尼
相关软件: 数据日志
主要字段: 总体主题;藏品(00-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)

特克图(Tekkotsu)

在0个文档中引用
软件作者: Touretzky DS,Tira-Thompson EJ公司
相关软件: 卡门;多氧;Matlab…
主要字段: ——

AspectTalk公司

3份文件引用(2011–2012)
软件作者: 史蒂芬佐夫,D.A。
相关软件: 发电机RIO;蟒蛇;升压…
主要字段: 计算机科学(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)…

SBQL公司

2份文件引用(2005–2006)
软件作者: 西布拉、彼得亚雷;卡齐米尔兹·苏比埃塔
相关软件: ODRA;AToM3;威特拉2
主要字段: 计算机科学(68-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)

接线盒

1份文件引用(2017)
软件作者: Jan Schäfer,阿诺德·波茨希·赫夫特
相关软件: ArchJava;JavAdaptor;JCobox…
主要字段: 计算机科学(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)

分析R

在0个文档中引用
软件作者: Pranav Chandramouli、Zadia Codabux、Melina Vidoni
相关软件: 循环压缩机;冠层;原型…
主要字段: ——

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)

郁郁葱葱

1份文件引用(2018)
软件作者: 莱昂·博图(Leon Bottou);延乐村
相关软件: L-BFGS-B;CompAD;ImageNet…
主要字段: 数值分析(65-XX)

M3组

1份文件引用(1997)
软件作者: Böszörményi,László;卡尔·海因茨埃德尔
相关软件: ——
主要字段: 计算机科学(68-XX)

妈咪

1份文件引用(1997)
软件作者: 霍尔格·诺恩多夫
相关软件: 单兵携带防空系统
主要字段: 计算机科学(68-XX)

McJava公司

1份文件引用(2004)
软件作者: 铁雄县卡米纳;铁雄县塔迈
相关软件: ——
主要字段: 计算机科学(68-XX)

NetRexx公司

1份文件引用(2017)
软件作者: 迈克尔·考利肖
相关软件: 测试U01;FNLIB;端口…
主要字段: 数值分析(65-XX)

ooMILP公司

1份文件引用(2006)
软件作者: Tsiakis、Panagiotis;Keeping,本杰明
相关软件: ——
主要字段: 运筹学、数学规划(90-XX)

游行

1份文件引用(1999)
软件作者: Franck Delaplace;迪迪埃·雷米
相关软件: ——
主要字段: 计算机科学(68-XX)

PyNumero代码

1份文件引用(2023年)
软件作者: Jose S.罗德里格斯。;罗伯特·B·帕克。;卡尔·D·莱尔德。;尼科尔森,贝瑟尼L。;Siirola,约翰·D·。;拜纳姆(Michael L.Bynum)。
相关软件: 蟒蛇
主要字段: 运筹学、数学规划(90-XX)

机器人API

1份文件引用(2015)
软件作者: 安德烈亚斯·安格勒、阿尔文·霍夫曼、安德烈亚·席尔、迈克尔·维斯坦、沃尔夫冈·雷夫
相关软件: KUKA机器人语言
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

切片

1份文件引用(2008)
软件作者: 丹尼尔·瓦瑟拉布
相关软件: 伊莎贝尔/伊萨尔;伊莎贝尔·霍尔;伊莎贝尔
主要字段: 计算机科学(68-XX)

塔克牌手表

1份文件引用(2023年)
软件作者: 首先是E。;Brun,Y。;A.古哈。
相关软件: 游戏Pad;判决-BERT;BERT…
主要字段: 计算机科学(68-XX)

TFA公司

1份文件引用(2020)
软件作者: 卓、西龙;张晨毅
相关软件: SPECjvm 2008;羽量级Java;烟尘
主要字段: 计算机科学(68-XX)

这是Java

在0个文档中引用
软件作者: Na,Hyunik;柳,苏京
相关软件: 斯卡拉
主要字段: 计算机科学(68-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)

GOOL公司

在0个文档中引用
软件作者: 雅克·卡雷特、布鲁克斯·麦克拉克伦、W.斯宾塞·史密斯
相关软件: ——
主要字段: ——

TOL项目

在0个文档中引用
软件作者: 乔普
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件