×

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

559份文件引用(2001–2023)
软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S
相关软件: MiniSat;伯克敏;SATO…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

DUNE公司

204篇文献引用(2006–2024)
软件作者: P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander
相关软件: PDELab;交易.ii;DuMuX…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

神经元

146篇文献引用(1996–2023)
软件作者: Migliore,M。;坎尼亚,C。;W.W.莱顿。;Markram,Henry;M.L.海因斯。
相关软件: 巢穴;布莱恩;Pynn…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

阿达德尔塔

117篇文献引用(2017–2024)
软件作者: 马修·泽勒
相关软件: 亚当;阿达格拉德;RMSprop…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

普林斯

104篇文献引用(2012–2023)
软件作者: 朱莉娅·博格霍夫(Julia Borghoff);Canteaut,Anne;G“uneysu,Tim;Kavun,Elif Bilge;Knezevic,Miroslaf;Knudsen,Lars R.;Leander,Gregor;Nikov,Ventzislav;Paar,Christof;Rechberger,Christian;Rombouts,Peter;Thomsen,S{o} 任美国。;雅克{c}{i} n个、托尔加
相关软件: 出席;西蒙;短笛…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

利普索

86篇文献引用(1997–2022)
软件作者: 张茵;格雷格·斯威里杜克
相关软件: PCx;Matlab;Mosek…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)…

MPFI公司

47篇文献引用(1979–2023)
软件作者: Nathalie Revol;法布里斯·鲁利耶
相关软件: MPFR;C-XSC 2.0;隔离…
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

米多里

46篇文献引用(2015–2023)
软件作者: 巴尼克,Subhadeep;安德烈·博格达诺夫;Isobe,Takanori;石堤、京记;Hiwatari,Harunaga;秋田,Toru;弗朗西斯科·雷加佐尼
相关软件: 王子;极瘦的;存在…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

普韦布洛

33篇文献引用(1998–2021)
软件作者: 侯赛因·M·希尼。;卡里姆·A·萨卡拉。
相关软件: MiniSat;糠;周六…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

F5C型

33篇文献引用(2010年-2023年)
软件作者: C.埃德尔;J.佩里
相关软件: 单一;枫树;岩浆…
主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…

PaStiX公司

29篇文献引用(2000–2023)
软件作者: Hénon,P。;Ramet,P。;罗曼,J。
相关软件: MUMPS;刻痕;梅蒂斯…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

zk-快照

32篇文献引用(2014–2024)
软件作者: 本·萨森,伊莱;亚历山德罗·基耶萨;特罗姆,埃兰;夫人维尔扎
相关软件: 皮诺奇;C的SNARK;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

烟火

20篇文献引用(2020–2024)
软件作者: 伊利·宾厄姆(Eli Bingham);Chen,Jonathan P。;马丁·扬科维亚克(Martin Jankowiak);奥伯迈耶,弗里茨;尼拉吉·普拉丹;卡拉莱索斯(Karaletsos)、提奥凡尼(Theofanis);罗希特·辛格;保罗·谢里普(Paul Szerlip);保罗·霍斯福尔(Paul Horsfall);诺亚·D·古德曼。
相关软件: 斯坦;TensorFlow;PyTorch…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

J流量

23篇文献引用(2002–2022)
软件作者: 安德鲁·迈尔斯
相关软件: TaintDroid;哈斯克尔;TALx86…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

盖比特

26篇文献引用(2016–2023)
软件作者: 克雷格·科斯特洛(Craig Costello);Cédric Fornet;乔恩·豪厄尔;马尔库夫·科尔维斯;本杰明·克鲁特;迈克尔·奈赫里格(Michael Naehrig);布莱恩·帕诺;萨米·扎赫尔
相关软件: 皮诺奇;C的SNARK;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

锡德

26篇文献引用(2016–2023)
软件作者: Costello,C.、Longa,P.、Naehrig,M。
相关软件: SIKE公司;github;曲线25519…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

算法913

24篇文献引用(2011–2022)
软件作者: M.B.van Gijzen;P.Sonneveld公司
相关软件: BiCGstab;CGS;GpBiCg…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

COSTA公司

22篇文献引用(1992–2020)
软件作者: 埃尔维拉·阿尔伯特(Elvira Albert)、普里·阿雷纳斯(Puri Arenas)、萨米尔·吉纳伊姆(Samir Genaim)、杰尔曼·普埃布拉(Germanán Puebla)、达米亚诺·扎纳尔迪尼
相关软件: 速度;AProVE;参考…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);偏微分方程(35-XX)…

密码数据库

22篇文献引用(2013–2023)
软件作者: Raluca Ada Popa、Catherine M.S.Redfield、Nickolai Zeldovich、Hari Balakrishnan
相关软件: github;卡桑德拉;HBase…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

PANG公司

21篇文献引用(2009年-2023年)
软件作者: 马丁·甘德(Martin J.Gander)。;卡罗琳·贾夫特
相关软件: FEniCS;DUNE;CutFEM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

CRAFT(手工艺)

21篇文献引用(2020–2023)
软件作者: 拜尔勒,C。;莱安德,G。;莫拉迪,A。;拉苏尔扎德,S。
相关软件: 极瘦的;出席;西蒙…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

NiVER公司

21篇文献引用(2005–2023)
软件作者: Sathiamoorthy Subbarayan;Dhiraj K.普拉丹。
相关软件: MiniSat;糠;TPTP…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

DGL公司

8份文件引用(2021–2023)
软件作者: 王敏杰、大正、关干、李慕飞、叶子豪、马超、周锦菁、宋翔、肖天军、童和、张健、叶文明、乔治·卡里皮斯、张正
相关软件: PyTorch;蟒蛇;TensorFlow…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

精彩

20篇文献引用(2019年-2023年)
软件作者: Ashur,T。;德胡厄,S。
相关软件: MiMC;波塞冬;低MC…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

LHAPDF公司

15篇文献引用(2009年-2023年)
软件作者: 安迪·巴克利
相关软件: 循环工具;PYTHIA8;古巴…
主要字段: 算子理论(47-XX);几何(51-XX);统计学(62-XX)…

SBERT公司

14篇文献引用(2021–2024)
软件作者: 尼尔斯·雷默斯(Nils Reimers)、艾丽娜·古列维奇(Iryna Gurevych)
相关软件: 判决-BERT;BERT;RoBERTa…
主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

CholQR公司

18篇文献引用(2015–2023)
软件作者: 山崎一郎;斯坦尼米尔·托莫夫;杰克·东加拉
相关软件: mctoolbox;CholeskyQR2;LBNL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

SEC-DED标准

17篇文献引用(1976年至1998年)
软件作者: 卢卡·彭佐(Luca Penzo);多纳泰拉·西乌托(Donatella Sciuto);克里斯蒂娜·西尔瓦诺
相关软件: CACTI;MediaBench公司
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

判决-BERT

15篇文献引用(2021–2024)
软件作者: 尼尔斯·雷默斯(Nils Reimers)、艾丽娜·古列维奇(Iryna Gurevych)
相关软件: SBERT;BERT;RoBERTa…
主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

阿尔卑斯山

17篇文献引用(2004–2022)
软件作者: Ralphs,T.K。;Ládanyi,L。;M.J.萨尔茨曼。
相关软件: BiCePS;CHiPPS;BLIS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

GGPLAB公司

15篇文献引用(1976–2019)
软件作者: Almir Mutapcic(对象库)、Kwangmoo Koh(求解器)、Seungjean Kim(解算器)、Lieven Vandenberghe(求解器的原始版本)和Stephen Boyd(一般问题制造者)
相关软件: CVX;YALMIP;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

SCALEA公司

12份文件引用(2002–2019)
软件作者: Truong、Hong-Linh;托马斯·法林格
相关软件: 阿斯卡龙;桑托里奥;PostgreSQL…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

沃尔夫拉姆

16篇文献引用(2010–2022)
软件作者: 安德烈·苏尔弗洛
相关软件: R;Yices;KLEE…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

新Dsc

15篇文献引用(2016–2023)
软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice的Rouillier;迈克尔·萨格拉洛夫
相关软件: 隔离;集群;仲裁…
主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…

弧形面

8份文件引用(2020–2023)
软件作者: 邓建康、贾过、薛念南、斯特凡诺斯·扎菲里奥
相关软件: FaceNet;PyTorch;LFW…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

森林爪

14篇文献引用(2016–2023)
软件作者: C.Burstede、D.Calhoun、K.Mandli、A.R.Terrel
相关软件: p4est;Chombo;皮诺…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

M-树

15篇文献引用(2005–2022)
软件作者: 陆成怀;张涛;施卫东;李显新S。
相关软件: BISIMULATOR;CADP;Exp.打开…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

NetLogger(网络记录器)

10篇文献引用(2001–2012)
软件作者: Gunter,D.、Tierney,B.、Crowley,B.、Holding,M.、Lee,J。
相关软件: 交叉网格;Java CoG工具包;ASP。NET…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

事实真相

14篇文献引用(2020–2023)
软件作者: Raymond K.Zhao、Ron Steinfeld、Amin Sakzad
相关软件: BLISS;GALATICS公司;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PADRE2型

14篇文献引用(1991年至2018年)
软件作者: 久保田,Koichi
相关软件: ADIFR;ADOL-C;绿色…
主要字段: 历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX)…

PySCIPOpt公司

14篇文献引用(2016–2023)
软件作者: 斯蒂芬·J·马赫、马提亚斯·米尔滕伯格、乔·佩德罗·佩德罗、丹尼尔·雷费尔特、罗伯特·施瓦兹、菲利佩·塞拉诺
相关软件: SCIP;古罗比;XPRESS…
主要字段: 总体主题;藏品(00-XX);凸和离散几何(52-XX);数值分析(65-XX)…

戴恩

在11份文件中引用(2003–2010)
软件作者: J.T.Moscicki等人
相关软件: 恒河;GEANT4;大门…
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);凸和离散几何(52-XX)…

VTDIRECT95(垂直定向95)

13份文件引用(2009年至2022年)
软件作者: 剑河;莱恩·T·沃森;Masha Sosonkina公司
相关软件: 直接;NOMAD公司;DFL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

反对称RNN

在11份文件中引用(2020–2023)
软件作者: Bo Chang、Minmin Chen、Eldad Haber、Ed H.Chi
相关软件: 亚当;torchdiffeq;DeepONet;…(D)…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

化学代码

12份文件引用(1996–2023)
软件作者: C.J.阿罗
相关软件: 罗德斯;LSODE;CHEMKIN…
主要字段: 常微分方程(34-XX);数值分析(65-XX);流体力学(76-XX)…

DyC公司

在11份文件中引用(2000–2010)
软件作者: Grant,B.、Mock,M.、Philipose,M.,Chambers,C.、Eggers,S.J。
相关软件: VCODE;记忆法;BCEL…
主要字段: 计算机科学(68-XX)

HPCTOOLKIT公司

6篇文献引用(2010–2022)
软件作者: L.Adhianto;S.Banerjee;M.Fagan;M.克伦特尔;G.马林;J.Mellor-Crummey;N.R.塔伦特
相关软件: TAU;Scalasca;PARAVER…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

NOrec公司

在11份文件中引用(2010–2022)
软件作者: Dalesandro,L.、Spear,M.F.、Scott,M.L。
相关软件: 环STM;TLRW;柔道STM…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

阳极

在11份文件中引用(2019年-2023年)
软件作者: Amir Ghoma、Kurt Keutzer、George Biros
相关软件: torchdiffeq;AlexNet;ImageNet…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

EikoNet公司

10篇文献引用(2021–2024)
软件作者: Jonathan D.Smith、Kamyar Azizzadenesheli、Zachary E.Ross
相关软件: 亚当;DeepONet;PINNeik…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

JAsCo公司

6篇文献引用(2003–2008)
软件作者: Cibrán,María Agustina;D'Hondt,Maja;戴维·苏韦;范德佩伦,维姆;维维安·乔克斯
相关软件: 方面J;JBoss;ASSAM…
主要字段: 计算机科学(68-XX)

微控制器

9份文件引用(2002–2023)
软件作者: 杰伊·拉尔森、罗伯特·雅各布、珠穆朗玛峰翁
相关软件: 预CICE;MpCCI;HE-egodf…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

普鲁特斯

7份文件引用(2009–2020)
软件作者: Kallahalla,M.,Riedel,E.,Swaminathan,R.,Wang,Q.,Fu,K。
相关软件: SiRiUS公司;发电机;隐秘…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

r2d2lri公司

10篇文献引用(2002–2010)
软件作者: 伊恩·罗宾逊(Ian Robinson);迈克尔·希尔
相关软件: d2lri;CUBPACK;ParInt…
主要字段: 数论(11-XX);序列、级数、可加性(40-XX);近似和展开(41-XX)…

金发姑娘

9份文件引用(2009–2017)
软件作者: Elmas,T.、Qadeer,S.、Tasiran,S。
相关软件: 橡皮擦;雾化器;快速通道…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

TaintDroid公司

8份文件引用(2013–2023)
软件作者: Enck,W.、Gilbert,P.、Han,S.、Tendulkar,V.、Chun,B.-G.、Cox,L.P.、Jung,J.、McDaniel,P.和Sheth,A.N。
相关软件: FlowDroid;戴坦;JFlow…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BiCePS公司

9份文件引用(2004–2020)
软件作者: Ralphs,T.K。;L'adanyi,L。;Saltzman,医学博士。
相关软件: 碱性磷酸酶;CHiPPS;BLIS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

集群-GCN

9份文件引用(2021–2024)
软件作者: 蒋伟林、刘宣清、司思、杨丽、萨米·本吉奥、谢卓绝
相关软件: 快速GCN;DeepWalk;亚当…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

戴德梁行

8份文件引用(2016–2022)
软件作者: Slattery SR、Wilson PPH、Pawlowski RP。
相关软件: 预CICE;MpCCI;MCT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

一瞥

7份文件引用(2001–2017)
软件作者: 美国曼伯。;吴,S。
相关软件: SDSL;github;zdelta…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

粉碎

9份文件引用(2009年至2022年)
软件作者: 阿洛尔,F.A.,马尔科夫,I.L.,萨卡拉,K.A。
相关软件: MiniSat;nauti;DRAT-饰件…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

c-sat卫星

6篇文献引用(1996–2015)
软件作者: Kei Ohmura;Kazunori上田
相关软件: ManySAT公司;弯曲;箔条…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

将死

1份文件引用(2022)
软件作者: 米歇尔·朗(Michel Lang,Bernd Bischl)
相关软件: R;掌根肌;lme4…
主要字段: 统计学(62-XX);计算机科学(68-XX)

Horovod公司

5份文件引用(2021–2022)
软件作者: 亚历山大·谢尔盖夫、迈克·德尔·巴尔索
相关软件: TensorFlow;PyTorch;ImageNet…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

梅子

8份文件引用(1998年至2017年)
软件作者: 列奥尼德·奥利克尔(Leonid Oliker);鲁帕克·比斯瓦斯
相关软件: 皮亚诺;p4est;TBB…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

sldg(sldg)

8份文件引用(2016–2021)
软件作者: 卢卡斯埃因肯默
相关软件: GYSELA公司;Vador;FFTW…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

SymChaff公司

8份文件引用(2007–2022)
软件作者: 阿什什·萨巴沃尔
相关软件: MiniSat;极乐;nauty…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

大亨

引用于3份文件(2005–2013)
软件作者: Lai,Kevin;拉斯穆森,拉尔斯;埃坦·阿达尔(Eytan Adar);张丽;贝纳多·胡伯曼(Bernardo A.Huberman)。
相关软件: Azure;Globus工具包;杰斯…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CAT公司

7份文件引用(1999–2019)
软件作者: Bart Demoen;康斯坦蒂诺斯·萨戈纳斯
相关软件: XSB;YAP-Prolog;YapTab…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

科巴亚

7份文件引用(2020–2023)
软件作者: 耶稣·托拉多、安东尼·刘易斯
相关软件: CAMB;获取分配;Matplotlib…
主要字段: 偏微分方程(35-XX);统计学(62-XX);量子理论(81-XX)…

弗伦斯

6篇文献引用(2007–2016)
软件作者: 迈克尔·莱恩
相关软件: 特征值;交易.ii;女主人…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

GBLA公司

7份文件引用(2016–2020)
软件作者: Brice Boyer、Christian Eder、Jean-Charles Faugère、Sylvian Lachartre、Fayssal Martani
相关软件: M4RI;FGb;岩浆…
主要字段: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)…

剑道

4份文件引用(2011–2018)
软件作者: Olszewski,M。;Ansel,J。;阿马拉辛格,S。
相关软件: ParaSCIP;CapoOne;MIPLIB2003…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

帕斯卡L_TDMA

7份文件引用(2021–2023)
软件作者: Kim,K.H.,Kang,J.H.,Pan,X.,Choi,J.I。
相关软件: FDL3DI;变形杆菌;AFiD…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

多边形

6篇文献引用(2014–2022)
软件作者: 迈克尔·莫纳根(Michael Monagan);罗马·皮尔斯
相关软件: 枫树;单一;岩浆…
主要字段: 数论(11-XX);交换代数(13-XX);计算机科学(68-XX)

速度

7份文件引用(2022–2023)
软件作者: 莱安德,G。;穆斯,T。;莫拉迪,A。;拉苏尔扎德,S。
相关软件: QARMA;出席;王子…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

航空工业组织

5份文件引用(2009–2018)
软件作者: Lu S、Tucek J、Qin F、Zhou Y
相关软件: 橡皮擦;veriSoft;国际象棋…
主要字段: 计算机科学(68-XX)

BDDNOW公司

6篇文献引用(2000–2011)
软件作者: Kim Milvang-Jensen、Alan J.Hu
相关软件: Gprof;Sycraft;CUDD…
主要字段: 计算机科学(68-XX)

EPCBC公司

6篇文献引用(2011–2017)
软件作者: Yap、Huihui;Khoo、Khongming;阿克塞尔·波希曼;马特·亨里克森
相关软件: SageMath;SPECK;西蒙…
主要字段: 运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

HITEC公司

5份文件引用(1994–2009)
软件作者: 尼尔曼,T.M.,帕特尔,J.H。
相关软件: 汉尼拔;帕萨特;苏格拉底…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

土拨鼠

5份文件引用(2008–2017)
软件作者: Krammer,B.,Bidmon,K.,Müller,M.S.,Resch,M.M。
相关软件: ISP;MPI-检查;TotalView…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

mpiP

引用于3份文件(2009–2021)
软件作者: J.Vetter,C Chambreau
相关软件: NAS平行基准;扎比克斯;Valgrind…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

环STM

5份文件引用(2010–2022)
软件作者: Spear,M.F.、Michael,M.M.、von Praun,C。
相关软件: NOrec;印章;TLRW…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

太极拳

6篇文献引用(2021–2023)
软件作者: 胡,Y。;李,T-M;安德森,L。;Ragan-Kelley,J。;杜兰德,F。
相关软件: DiffTaichi;PyTorch;MPM3D…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

AQuoSA公司

4份文件引用(2011–2014)
软件作者: ——
相关软件: TrueTime;乔托;PAPI…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

CartGen公司

引用于3份文件(2008)
软件作者: 塔瓦科利、罗哈拉
相关软件: ESOFRAME公司;回复:;水蝇
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

CSR5型

5份文件引用(2016–2023)
软件作者: 刘伟峰,布莱恩·温特
相关软件: 稀疏矩阵;yaSpMV;clSpMV…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

国际原子能机构

4份文件引用(2008–2022)
软件作者: 金、燕;王玲;Kim,Yoohwan;杨晓宗
相关软件: odmd;Boids;ABC…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

GrADSAT公司

2份文件引用(2006–2015)
软件作者: 瓦希德·查拉巴赫
相关软件: 齐塔卫星;糠;GridSAT…
主要字段: 计算机科学(68-XX)

滴答声

引用于3份文件(2016–2017)
软件作者: J.Plank和K.Li
相关软件: 在线-ABFT;稀疏矩阵;MUMPS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

柔道STM

引用于3份文件(2012–2022)
软件作者: Olszewski,M.、Cutler,J.、Steffan,J.G。
相关软件: NOrec;DiSTM;TLRW…
主要字段: 计算机科学(68-XX)

LITESET公司

5份文件引用(1998–2017)
软件作者: 花冈、果一郎;郑玉良;伊迈、希德基
相关软件: 克利夫亚;McOE公司
主要字段: 计算机科学(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)

n图-HE

4份文件引用(2021–2024)
软件作者: 费比安·博埃默(Fabian Boemer)、老挝宜兴(Yixing Lao)、罗萨里奥·卡马罗塔(Rosario Cammarota)、卡西米尔·维尔津斯基(Casimir Wierzynski)
相关软件: 瞪羚;TFHE;MP2ML…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

帕拉迪

2份文件引用(2005–2006)
软件作者: ——
相关软件: Specomp;Padicotm;OpenACC…
主要字段: 计算机科学(68-XX)

PELCR公司

4份文件引用(2007–2019)
软件作者: 马可·佩奇尼(Marco Pedicini);弗朗西斯科·夸利亚
相关软件: MPINE;疏松;哈斯克尔
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

PTrie公司

5份文件引用(2017–2021)
软件作者: Peter Gjol Jensen;Larsen,Kim Guldstrand;吉·斯尔巴
相关软件: 塔帕尔;LoLA;zUpdate…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

小狗

引用于3份文件(2013–2021)
软件作者: Maes R、Van Herrewee A、Verbauwhede I。
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

PVM-RPC

5份文件引用(1997–2002)
软件作者: 克兰茨,A.T。;V.S.桑德拉姆。
相关软件: PVM;网络解决方案
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段