×

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

SLMC公司

75篇文献引用(2003–2023)
软件作者: 雨果·维埃拉;路易斯·凯雷斯
相关软件: 棱镜;管道;莫德…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Wolfram功能站点

42篇文献引用(2007–2023)
软件作者: Wolfram研究公司。
相关软件: DLMF;Mathematica;仲裁…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

MineLib公司

24篇文献引用(2013–2024)
软件作者: 丹尼尔·埃斯皮诺扎(Daniel Espinoza);马科斯·戈库利亚;爱德华多·莫雷诺;亚历山大·纽曼
相关软件: CPLEX;AMPL;古罗比…
主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

帕拉库巴

24篇文献引用(2020–2023)
软件作者: 马克西米利安·海辛格;马蒂亚斯·弗勒里;阿明·比尔
相关软件: CaDiCaL;基萨特;MiniSat…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

开放科学网格

4份文件引用(2007–2020)
软件作者: opensciencegrid.org网站
相关软件: Globus工具包;Condor-G;快照…
主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)…

NNDB公司

在11份文件中引用(2014–2021)
软件作者: 特纳,DH;卫生署马修斯
相关软件: 维也纳RNA;GitHub;TP结构…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);经典热力学,传热(80-XX)…

FATCOP公司

在11份文件中引用(2001–2018)
软件作者: 陈群;Michael C.Ferris。;杰夫·林德罗斯
相关软件: GAMS;HTCondor MW;MIPLIB…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

中美合作所

10篇文献引用(2014–2021)
软件作者: 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。
相关软件: 防抱死制动系统;JCobox;基利姆…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

施舍

10篇文献引用(2011–2022)
软件作者: 托夫,杰西·A。;里卡多·普切拉
相关软件: 哈斯克尔;旋风;锈带…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

德尔菲

8份文件引用(2013–2022)
软件作者: 李,L。;李,C。;Sarkar,S。;张杰。;威瑟姆,S。;张,Z。;Wang,L。;N.史密斯。;佩图赫,M。;阿列克索夫,E。
相关软件: APBS;MIBPB;PDB2PQR…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

TinyOS公司

6篇文献引用(2008–2019)
软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;杰森·霍尔斯特罗姆。
相关软件: FDR3;项目B;AUTOSAR…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

GEZEL公司

6篇文献引用(2002年至2018年)
软件作者: 迈克尔·汉森(Michael R.Hansen)。;Madsen,Jan;布雷克林(Aske Wiid Brekling)
相关软件: Uppaal;克罗诺斯;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

伊图比

6篇文献引用(2013–2016)
软件作者: 卡拉科奇,费哈特;德米尔西,胡塞因;A.Emre哈曼奇
相关软件: 卡坦;王子;存在…
主要字段: 信息与通信理论,电路(94-XX)

乌龟

4份文件引用(2013–2016)
软件作者: Beckett,D.,Berners-Lee,T。
相关软件: SPARQL;蛋白质;dlvhex-sparql…
主要字段: 计算机科学(68-XX)

成本核算表

5份文件引用(2012–2017)
软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。
相关软件: 防抱死制动系统;速度;SACO…
主要字段: 计算机科学(68-XX)

3份文件引用(2010–2011)
软件作者: 大陆,G.、莫里塞特,G.,威尔士,M。
相关软件: MiniML;标签;Ynot…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

网格工作台

3份文件引用(2006–2008)
软件作者: 乔治·索卢帕斯(George Tsouloupas);马里奥斯·迪凯亚科斯。
相关软件: DiPerF;Globus工具包;行星实验室…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

模拟事件

2份文件引用(2009–2019)
软件作者: 迈斯沃克
相关软件: Matlab;UMDES;Simulink…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

AmgXWrapper软件

在0个文档中引用
软件作者: Pi-Yueh Chuang;洛伦娜·巴巴
相关软件: AmgX;PETSc;cuIBM…
主要字段:

ANML公司

1份文件引用(2018)
软件作者: D.E.Smith、J.Frank、W.Cushing
相关软件: 结肠;PDDL;数学SAT5…
主要字段: 计算机科学(68-XX)

网格RM

2份文件引用(2002–2010)
软件作者: 贝克,马克;史密斯,加里
相关软件:
主要字段: 计算机科学(68-XX)

iOverbook公司

2份文件引用(2015–2021)
软件作者: Caglar F、Gokhale A
相关软件: 成为CoDiS
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

LyraNET公司

1份文件引用(2006)
软件作者: 蒋美玲;李云辰
相关软件:
主要字段: 计算机科学(68-XX)

ResAna公司

2份文件引用(2014–2021)
软件作者: Kersten,R.,van Gastel,B.E.,Shkaravska,O.,黑山,M.,van-Eekelen,M。
相关软件: COSTA公司
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);差分和函数方程(39-XX)…

SeQUeNCe公司

1份文件引用(2022)
软件作者: 吴晓亮、亚历山大·科拉尔、钟华坤、董进、周忠、拉杰库马尔·凯蒂穆图、马丁·苏查拉
相关软件: 网鱼;QuNetSim;SimulaQron…
主要字段: 计算机科学(68-XX)

SS-W记录器

在0个文档中引用
软件作者: 王,C。;Lefkowitz,E。
相关软件: 爆炸;PSI-爆炸;拨号…
主要字段:

符号组

1份文件引用(2018)
软件作者: Mathias Jacquelin、Yili Zheng、Esmond Ng、Katherine Yelick
相关软件: ScaLAPACK;FLEUR;高斯…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

BuzzPSS系统

1份文件引用(2020)
软件作者: Nuno Machado、Francisco Maia、Miguel Matos、Rui Oliveira
相关软件: ASM;PeerSim公司;Coq…
主要字段: 计算机科学(68-XX)

天蓬

1份文件引用(2021)
软件作者: 杨莹;吴慧静;严彩霞
相关软件:
主要字段: 运筹学、数学规划(90-XX)

CBRAIN公司

1份文件引用(2022)
软件作者: 谢里夫,T。;Rioux,P。;M.-E.卢梭。;北卡罗来纳州卡斯斯。;贝克,N。;阿达拉特,R。;达斯,S。;Glatar,T。;A.C.埃文斯。
相关软件: 自由冲浪者;Expectreg;隐藏…
主要字段: 统计学(62-XX)

CLDF工作台

在0个文档中引用
软件作者: 罗伯特·福克尔(Robert Forkel)、约翰·马蒂斯·利斯特(Johann-Mattis List)
相关软件: LexStat;CLDF;野兽…
主要字段:

CLIF公司

1份文件引用(2017)
软件作者: 布鲁诺·迪伦赛格
相关软件: 北京JC;穆尔斐;班德拉…
主要字段: 计算机科学(68-XX)

DifFuzz公司

1份文件引用(2023)
软件作者: Nilizadeh,Shirin;诺勒,亚尼克;科琳娜·帕萨雷努。
相关软件: GitHub;纽兹;FuzzGen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

HyDiff(透明度差异)

1份文件引用(2023)
软件作者: 诺勒,亚尼克;科琳娜·帕萨雷努(Corina S.Pasareanu)。;马塞尔·伯赫梅;孙友成;阮、黄林;拉尔斯·格伦斯克
相关软件: GitHub;纽兹;FuzzGen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

位置UsT

1份文件引用(2017)
软件作者: 马西莫·巴托莱蒂;罗伯托·祖尼诺
相关软件: 管道
主要字段: 计算机科学(68-XX)

MLitB公司

1份文件引用(2017)
软件作者: 会见E.、Hendriks R.、Al Faraby S.、Bruntink M.、Welling M。
相关软件: 节点.js;asm.js;ComcuteJS…
主要字段: 计算机科学(68-XX)

OSG-KINC公司

1份文件引用(2018)
软件作者: Poehlman,W.L。;Rynge,M。;Balamurugan,D。;Mills,N。;费图斯,F.A。
相关软件: GeSOp;ARACNe-AP公司;GenMANIA…
主要字段: 生物学和其他自然科学(92-XX)

PatchmatchNet

1份文件引用(2022)
软件作者: 王方金华、西尔瓦诺·加利亚尼、克里斯托夫·沃格尔、巴勃罗·斯佩莱特、马克·波利菲斯
相关软件: 布里斯克;效率Det;面2面…
主要字段: 计算机科学(68-XX)

PReT公司

1份文件引用(2022)
软件作者: Bhattacharyya,A.,Amza,C。
相关软件: JMeter;基克;阿克卡普洛夫…
主要字段: 计算机科学(68-XX)

吡咯啉

1份文件引用(2016)
软件作者: 阿尔维亚诺,M。
相关软件: MiniSat;数据日志;Clingo…
主要字段: 计算机科学(68-XX)

跟踪R

1份文件引用(2015)
软件作者: Korb I、Kotthaus H、Künne M。
相关软件: 科恩拉布;GitHub;林坎特…
主要字段: 统计学(62-XX);计算机科学(68-XX)

VeriCount公司

1份文件引用(2018)
软件作者: 托普,灌木;Park,Soyeon;Kang,Min Suk;Prateek Saxena公司
相关软件: 迷你盒子;瑞安;Panoply…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

TADSim公司

在0个文档中引用
软件作者: Susan M.Mniszewski。;Christoph Junghans;选民,Arthur F。;丹尼·佩雷斯(Danny Perez);斯蒂芬·艾登本兹。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件