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)
德尔菲 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)
乌龟 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)
iOverbook公司 2份文件引用(2015–2021) 软件作者: Caglar F、Gokhale A 相关软件: 成为CoDiS 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-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)
符号组 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)
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;野兽… 主要字段: –
DifFuzz公司 1份文件引用(2023) 软件作者: Nilizadeh,Shirin;诺勒,亚尼克;科琳娜·帕萨雷努。 相关软件: GitHub;纽兹;FuzzGen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
HyDiff(透明度差异) 1份文件引用(2023) 软件作者: 诺勒,亚尼克;科琳娜·帕萨雷努(Corina S.Pasareanu)。;马塞尔·伯赫梅;孙友成;阮、黄林;拉尔斯·格伦斯克 相关软件: GitHub;纽兹;FuzzGen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-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)
跟踪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);斯蒂芬·艾登本兹。 相关软件: – 主要字段: –