Uppaal公司 568份文件引用(1990–2023) 软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学 相关软件: 克罗诺斯;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
线性代数库 425篇文献引用(1995–2023) 软件作者: L.S.布莱克福德。;Choi,J。;克利里,A。;达泽维多,E。;德梅尔,J。;迪尔隆,I。;Dongarra,J。;Hammarling,S。;亨利·G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。 相关软件: LAPACK;BLAS;PLAPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
Gensys公司 96篇文献引用(2002–2023) 软件作者: 克里斯托弗·西姆斯(Christopher A.Sims)。 相关软件: Uhlig工具包;Dynare公司;bvarsv… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
TRLan公司 78篇文献引用(1999–2024) 软件作者: 吴克胜;霍斯特·西蒙 相关软件: JDQZ;IRAM;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
曲线25519 59篇文献引用(2006–2023) 软件作者: D.J.伯恩斯坦。 相关软件: Ed448-金发姑娘;github;电子广播公司… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen) 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SMIL公司 10篇文献引用(2001–2016) 软件作者: W3.org网站 相关软件: XPath;Lua;SPARQL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)
智能_ 23篇文献引用(2000–2018) 软件作者: Ciardo,G。;琼斯,R.L。;Miner,A.S.公司。;R·西米尼亚努。 相关软件: 自旋蛋白;棱镜;NuSMV… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
心理物理工具箱 17篇文献引用(2011–2023) 软件作者: D.布雷纳德 相关软件: 视频工具箱;Matlab;R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
SIDH公司 26篇文献引用(2016–2023) 软件作者: Costello,C.、Longa,P.、Naehrig,M.、。 相关软件: SIKE公司;github;曲线25519… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
RRQR公司 22篇文献引用(1998–2022) 软件作者: 克里斯蒂安·比肖夫。;格雷戈里奥·金塔纳·奥尔蒂 相关软件: 汤姆斯/782;LAPACK;mctoolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
汤姆斯/782 22篇文献引用(1998–2022) 软件作者: 克里斯蒂安·比肖夫。;格雷戈里奥·金塔纳·奥尔蒂 相关软件: RRQR;LAPACK;mctoolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
PetRBF公司 21篇文献引用(2010–2023) 软件作者: R.Yokota、L.Barba、M.G.Knepley 相关软件: Matlab;H2Lib;PETSc… 主要字段: 近似和扩展(41-XX);数值分析(65-XX);流体力学(76-XX)…
SBR工具箱 20篇文献引用(2000–2019) 软件作者: 克里斯蒂安·比肖夫(Christian H.Bischof);布鲁诺·朗;孙小白 相关软件: LAPACK;ScaLAPACK;BLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特尔 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
乔托 17篇文献引用(2001–2022) 软件作者: Thomas A.Henzinger、Benjamin Horowitz、Christoph Meyer Kirsch 相关软件: 卢斯特;Uppaal;酯类… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
TorX公司 16篇文献引用(2005–2021) 软件作者: 亨利克·博恩坎普(Henrik Bohnenkamp);埃克塞尔·贝林芬特 相关软件: JTorX;SpecExplorer;STG… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
网格流 5份文件引用(2006–2011) 软件作者: 曹俊伟;贾维斯公司。;Saini,S。;格拉汉姆·R·努德。 相关软件: 飞马座;Globus工具包;DAGMan… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)
CPOLY公司 17篇文献引用(1978–2023) 软件作者: M.A.詹金斯;J.F.特劳布 相关软件: copula;ks;连接词… 主要字段: 复变量函数(30-XX);统计学(62-XX);数值分析(65-XX)…
GALATICS公司 13份文件引用(2020–2024) 软件作者: G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件: BLISS;事实真相;齐古拉… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
HACL公司* 12份文件引用(2018–2023) 软件作者: Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche 相关软件: Why3;茉莉花;工具链… 主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
麦克比特 12份文件引用(2013–2024) 软件作者: Daniel J.Bernstein、Tung Chou、Peter Schwabe 相关软件: 麦克利埃塞;蛋糕;自行车… 主要字段: 数论(11-XX);数值分析(65-XX);量子理论(81-XX)…
CMU基准 引用于9份文件(2006–2023) 软件作者: 朱利安·顺;盖伊·布莱洛;杰里米·芬曼(Jeremy Fineman);菲利普·吉本斯;Aapo Kyrola公司;Kanat Tangwonsan;哈沙·瓦尔丹·辛哈德里 相关软件: github;SATLIB基准套件;mkESA… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
查找反弹 引用于9份文件(2020–2023) 软件作者: 维克托·瓜达(Victor Guada)、米哈·内梅夫舍克(Miha Nemevšek)、马特夫·平塔尔(MatevíPintar) 相关软件: 宇宙转换;任何气泡;气泡探查器… 主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
GCDHEU公司 10篇文献引用(1984–2022) 软件作者: Char,Bruce W。;基思·O·盖迪斯。;Gaston H.Gonnet。 相关软件: 枫树;伊斯兰教;减少… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
高功率激光器 6篇文献引用(2017–2021) 软件作者: Petitet A、Whaley RC、Dongarra J、Cleary A 相关软件: LINPACK;mctoolbox;CUDA… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
pTatin3D 10篇文献引用(2015–2021) 软件作者: D.A.May、J.Brown、L.L.Laetitia 相关软件: PETSc;FEniCS;deal.ii… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
斯托奇Py 引用于9份文件(2017–2022) 软件作者: Maarleveld,T.R。;奥利维尔,B.G。;F.J.布鲁格曼。 相关软件: BioNetGen;工具箱2;COPASI… 主要字段: 常微分方程(34-XX);近似和扩展(41-XX);概率论与随机过程(60-XX)…
Verilog公司 引用于9份文件(1999–2020) 软件作者: 斯图亚特·萨瑟兰 相关软件: VPI;电源保护;卡米… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
ARENA公司 引用于9份文件(2002–2018) 软件作者: 罗克韦尔自动化公司 相关软件: Matlab;SPSS软件;DFBOX_IMPR… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
DOST公司 引用于9份文件(2009–2021) 软件作者: 王燕伟;杰夫·奥查德 相关软件: —— 主要字段: 欧氏空间(42-XX)的调和分析;积分变换,运算微积分(44-XX);算子理论(47-XX)…
桅杆 引用于7份文件(2008–2018) 软件作者: 冈萨雷斯港,M;JJ古铁雷斯;巴伦西亚,JC;吉咪·德雷克 相关软件: Uppaal;切达干酪;TINA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
TILOS公司 6篇文献引用(2005–2022) 软件作者: Dunlop AE鱼缸JP 相关软件: JiffyTune;兰斯洛特;Mosek… 主要字段: 组合数学(05-XX);光学、电磁理论(78-XX);运筹学,数学规划(90-XX)…
GePUP公司 8份文件引用(2016–2021) 软件作者: 张,青海 相关软件: 火星;AMRCFI;SADoRe… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);偏微分方程(35-XX)…
莫德哈特 5份文件引用(1997–2017) 软件作者: F.贾哈尼安;A.K.莫 相关软件: 酯类;Uppaal;Kronos… 主要字段: 数学逻辑与基础(03-XX);动力学系统和遍历理论(37-XX);计算机科学(68-XX)…
凯伯 引用于7份文件(2019–2023) 软件作者: 莱昂·博特罗斯;Kannwischer,Matthias J。;彼得·施瓦布 相关软件: PQM4;西克;猎鹰… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
changelos公司 2份文件引用(2010–2011) 软件作者: Wangler M、Beyersmann J、Schumacher M 相关软件: R;etm;状态… 主要字段: 统计学(62-XX)
DSJM公司 6篇文献引用(2013–2018) 软件作者: Hasan,M.,Hossain,S.,Steihaug,T。 相关软件: ColPack;ADOL-C;Harwell-Being稀疏矩阵集合… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
波利斯 6篇文献引用(2002–2007) 软件作者: 马西莫·巴莱尼;马西莫·孔蒂(Massimo Conti);阿尔贝托法拉利;瓦莱里奥·弗雷斯科拉;阿尔贝托Sangiovanni-Vincentelli 相关软件: 多时性;糠;MiBench… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
距离-弧度 5份文件引用(2011–2015) 软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔 相关软件: 莫德;爪哇风扇;Java+ITP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DPARSF公司 4份文件引用(2013–2022) 软件作者: Y Chao Gan,Z Yu Feng 相关软件: RegEM;插补;FieldTrip… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
IFP-C3D 5份文件引用(2008–2012) 软件作者: Bohbot,J。;吉列,N。;A.本科尼达。 相关软件: CHEMKIN公司;基瓦-2;重新塑造… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)
信息 4份文件引用(2009–2015) 软件作者: Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件: 棱镜;APMC作业;SBML测试套件… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
茉莉花 4份文件引用(2019–2022) 软件作者: 何塞·巴塞拉·阿尔梅达(JoséBacelar Almeida)、曼努埃尔·巴博萨(Manuel Barbosa)、吉尔斯·巴特(Gilles Barthe)、阿瑟·布洛特(Arthur Blot)、本杰明·格雷戈里(Benjamin Grégoire)、文森特·拉波特(Vincent Laporte)、蒂亚戈·奥利维拉(Tiago Oli 相关软件: HACL*;EasyCrypt;曲线25519… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
McPAT公司 1份文件引用(2018) 软件作者: S.Li、J.H.Ahn、R.D.Strong、J.B.Brockman、D.M.Tullsen、N.P.Jouppi 相关软件: HPL;不锈钢;液体… 主要字段: 计算机科学(68-XX)
音乐变压器 2份文件引用(2022–2023) 软件作者: Cheng Zhi Anna Huang、Ashish Vaswani、Jakob Uszkoreit、Noam Shazeer、Ian Simon、Curtis Hawthorne、Andrew M.Dai、Matthew D.Hoffman、Monica Dinculescu、Douglas Eck 相关软件: BERT;j符号;亚当… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
帕亚 4份文件引用(2016–2019) 软件作者: V.E.Howle、R.C.Kirby、K.Long、B.Brennan和K.Kennedy 相关软件: 特里利诺斯;特科;UFL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
季节 5份文件引用(2010–2021) 软件作者: 阿德里安·巴内特(Adrian G.Barnett)。;安妮特·多布森。 相关软件: R;nprotreg;FCM4DD… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);偏微分方程(35-XX)…
算法1008 4份文件引用(2020–2023) 软件作者: 何塞·玛丽亚·瓦拉斯(Jose Maria Varas Casado);罗伯·休森 相关软件: 蟒蛇;MultiZ;DNAD… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
长凳 4份文件引用(2021–2022) 软件作者: 吉姆·海斯特、戴维斯·沃恩、德鲁·施密特 相关软件: R;卢比;生存… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
加内特 1份文件引用(2014) 软件作者: N.Agarwal、T.Krishna、L.-S.Peh、N.K.Jha 相关软件: 解析;SICOSYS公司;哈西姆… 主要字段: 信息与通信理论,电路(94-XX)
Koblitz曲线 4份文件引用(2017–2021) 软件作者: 托马斯·奥利维拉;洛佩斯;丹尼尔·塞万提斯·瓦兹奎斯(Daniel Cervantes-Vázquez);罗德里格斯-亨里克斯,弗朗西斯科 相关软件: 岩浆;qDSA;GitHub… 主要字段: 数论(11-XX);代数几何(14-XX);结合环与代数(16-XX)…
pyCPA公司 2份文件引用(2018–2019) 软件作者: Jonas Diemer、Philip Axer、Rolf Ernst 相关软件: 活性氧;actionlib;AIMMS公司 主要字段: 计算机科学(68-XX)
时代广场 3份文件引用(2015–2016) 软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet) 相关软件: 酯类;Uppaal;信号… 主要字段: 计算机科学(68-XX)
不确定性 3份文件引用(2019–2022) 软件作者: Tennøe S公司、Halnes G公司、Einevoll GT公司 相关软件: UQLab;混沌间谍;EasyVVUQ… 主要字段: 统计学(62-XX);可变形固体力学(74-XX);流体力学(76-XX)…
VeriSIMPL公司 3份文件引用(2015–2018) 软件作者: 阿兹基亚(Adzkiya)、迪基(Dieky);张以宁;亚历山德罗·阿巴特 相关软件: 算法97;FaPAS;Maxplus… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);系统论;控制(93-XX)
CSIDH公司 3份文件引用(2019–2022) 软件作者: 阿米尔·贾拉利;阿扎德拉赫什,雷扎;科尔马尼(Kermani)、梅兰·莫扎法里(Mehran Mozaffari);大卫·饶 相关软件: CSIDH;海洋标志;鳄鱼… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
Gpfaft公司 2份文件引用(1992–2015) 软件作者: 克莱夫·坦普顿 相关软件: DDSCAT;CCGPAK;DD分类。C++… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
HybTree(混合树) 3份文件引用(2013–2024) 软件作者: 杰拉德,D。;Gibbs,H.L。;L.库巴特科。 相关软件: 巴基;NetRAX;TriLoNet… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
HyDI公司 3份文件引用(2013–2015) 软件作者: Cimatti A、Mover S、Tonetta S 相关软件: SpaceEx;数学SAT;HySAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
简 3份文件引用(2016–2023) 软件作者: 科诺,C。;Fielder,D。;卵巢,Y。;Libeskind-Hadas,R。 相关软件: 埃塞特拉;西尔夫克斯 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
基克 2份文件引用(2008–2022) 软件作者: 马提亚斯·罗尔;安德烈·范霍恩;贾斯敏卡·马特夫斯卡;尼尔斯·索默;Lena Stoever;西蒙·吉塞克(Simon Giesecke);威廉·哈塞尔布林 相关软件: SynchroVis;ExploreViz;JMeter… 主要字段: 计算机科学(68-XX)
PandA公司 3份文件引用(2014–2020) 软件作者: Chuengsatiansup,Chitchanok;Michael Naehrig;里巴尔斯基,潘切;彼得·施瓦布 相关软件: 太阳神;EAGL;皮诺奇… 主要字段: 数论(11-XX);代数几何(14-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
模拟活动 2份文件引用(2009–2019) 软件作者: 迈斯沃克 相关软件: Matlab;UMDES;Simulink;…模拟链接… 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
超级计算机 3份文件引用(2010–2023) 软件作者: 克里斯蒂安·温泽尔·本纳(Christian Wenzel-Benner);格拉夫、延斯 相关软件: 麦克利埃塞;mCrypton;高度… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
modENCODE(模式编码) 2份文件引用(2017) 软件作者: Gerstein MB、Lu ZJ、Van Nostrand EL等人 相关软件: BED工具;肌肉;ClustalW… 主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)
蒙太奇 在0个文档中引用 软件作者: 约瑟夫·雅各布(Joseph C.Jacob)、丹尼尔·卡茨(Daniel S.Katz)、G.布鲁斯·贝里曼(G.Bruce Berriman)、约翰·古德(John Good)、阿纳斯塔西娅·莱蒂(Anastasia C.Laity)、伊瓦·迪尔曼(Ewa Deelman)、卡尔·凯塞尔曼(Carl Kesselman) 相关软件: 大西洋制造商;飞马座;咯咯笑 主要字段: ——
PolyRandGrpah公司 2份文件引用(2018–2022) 软件作者: 伊凡·克里文 相关软件: github 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
斯马卡 1份文件引用(2017) 软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔 相关软件: r-TuBound;STP;小泽… 主要字段: 计算机科学(68-XX)
温度氧气 2份文件引用(2019–2020) 软件作者: 爱德华兹,RT;霍布斯,英国;RN曼彻斯特 相关软件: 反弹 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);粒子力学与系统(70-XX)…
推特NaCl 2份文件引用(2015–2018) 软件作者: 丹尼尔·伯恩斯坦。;范加斯特尔(Bernard van Gastel);卫斯理·詹森;坦贾·兰格;施瓦布(Peter Schwabe);斯梅特泽斯,沙克 相关软件: 基岩;VST-Floyd;冲锋… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
算法1005 1份文件引用(2020) 软件作者: 克里斯特詹·乔纳松(Kristjan Jonasson);Sigurdsson,Sven;Yngvason,Hordur Freyr;拉格纳松,佩图尔·奥尔里;梅尔斯特德,鲍尔 相关软件: 算法878;显示模块;ADiGator… 主要字段: 数值分析(65-XX)
算法1010 1份文件引用(2020) 软件作者: 阿尔贝托·贾科莫(Alberto Giacomo),奥雷拉纳(Orellana);克里斯蒂亚诺·德·米歇尔 相关软件: 算法493;算法954;DLMF公司 主要字段: 数值分析(65-XX)
allesfitter公司 在0个文档中引用 软件作者: 马西米利安·纽特尔(Maximilian N.Günther),坦苏·戴兰(Tansu Daylan) 相关软件: K2SC;主持人;斯特拉… 主要字段: ——
ANSLAB公司 在0个文档中引用 软件作者: Blechert J.、Peyk P.、Liedlgruber M.、Wilhelm F.H。 相关软件: 物理溶解;gHRV;cvxEDA… 主要字段: ——
AXI公司 1份文件引用(2022) 软件作者: 安德烈亚斯·库思(Andreas Kurth);沃尔夫冈·罗宁格;托马斯·本茨;马修斯·卡瓦尔坎特;Fabian Schuiki;弗洛里安·扎鲁巴;卢卡·贝尼尼 相关软件: 火箭芯片;Open2C;OpenPiton公司 主要字段: 计算机科学(68-XX)