×

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

火灾

145篇文献引用(2008–2023)
软件作者: A.V.斯米尔诺夫。
相关软件: LiteRed;雷杜泽;消防5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

C模型

68篇文献引用(2004–2022)
软件作者: 尤利娅·利勒
相关软件: 亚萨特;平滑;格林戈…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

HIFOO公司

73篇文献引用(2007–2024)
软件作者: D.Arzelier、G.Deaconu、S.Gumussoy、D.Henrion、M.Millstone、M.L.Overton
相关软件: 康普莱布;塞杜米;YALMIP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

基拉

57篇文献引用(2018年至2024年)
软件作者: Maierhöfer,P。;Usovitsch,J。;尤尔,P。
相关软件: 雷杜泽;火灾;LiteRed…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

TIGRA公司

43篇文献引用(2003–2023)
软件作者: 朗尼·拉姆劳
相关软件: 纽顿图书馆;FEniCS;mngn…
主要字段: 偏微分方程(35-XX);算子理论(47-XX);变分法与最优控制;优化(49-XX)…

PolyLogTools公司

40篇文献引用(2019–2023)
软件作者: 克劳德·杜尔(Claude Duhr)、法尔科·杜拉特(Falko Dulat)
相关软件: Hypexp;LiteRed;表格…
主要字段:

Entropy-SGD公司

32篇文献引用(2018年至2024年)
软件作者: Pratik Chaudhari、Anna Choromanska、Stefano Soatto、Yann LeCun、Carlo Baldassi、Christian Borgs、Jennifer Chayes、Levent Sagun、Riccardo Zecchina
相关软件: AlexNet;ImageNet;亚当…
主要字段:

SAMURAI公司

31份文件引用(2010–2022)
软件作者: Mastrolia,P。;奥索拉,G。;Reiter,T。;F.特拉蒙塔诺。
相关软件: CutTools;黑帽;HELAC-1回路…
主要字段: 组合数学(05-XX);代数几何(14-XX);粒子力学与系统(70-XX)…

天主教会

29篇文献引用(2017–2024)
软件作者: 克里斯托夫·梅耶
相关软件: ε;品红;LiteRed…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

EAT(吃)

18篇文献引用(2001–2023)
软件作者: 弗朗西斯·谢尔盖;朱利奥·鲁比奥
相关软件: Kenzo;ACL2;Coq…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);代数拓扑(55-XX)…

EMan公司

15篇文献引用(2006–2023)
软件作者: Steven J.Ludtke;菲利普·鲍德温(Philip R.Baldwin);华秋
相关软件: 冷冻SPARC;关系;法语…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

快速的

15篇文献引用(2017年至2022年)
软件作者: 方,肖;乔纳森·布莱泽克(Jonathan A.Blazek)。;约瑟夫·麦克尤恩(Joseph E.McEwen)。;Christopher M.Hirata。
相关软件: CAMB;获取分配;主持人…
主要字段: 相对论与引力理论(83-XX)

SCASY公司

12份文件引用(2009–2020)
软件作者: 罗伯特·格拉纳特(Robert Granat);Isak Jonsson;科格斯特罗姆,波
相关软件: ScaLAPACK;算法432;LAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

iCoseg公司

8份文件引用(2015–2020)
软件作者: D.Batra、A.Kowdle、D.Parikh、J.Luo、T.Chen
相关软件: 抓斗切割;MAXFLOW;LabelMe…
主要字段:

忍者

10篇文献引用(2014–2022)
软件作者: 蒂齐亚诺·佩拉罗
相关软件: CutTools;戈萨姆;黑帽…
主要字段: 量子理论(81-XX)

ParaOpt公司

9份文件引用(2020–2024)
软件作者: 马丁·甘德(Martin J.Gander)。;Felix Kwok;朱利安·所罗门
相关软件: PFASST;ParaDiag;管理…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…

鲁莽的

8份文件引用(2004–2022)
软件作者: 罗伯特·格拉纳特(Robert Granat);Isak Jonsson;科格斯特罗姆,波
相关软件: mctoolbox;GEMM;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

算法908

6篇文献引用(2010–2020)
软件作者:
相关软件: MPFR;StOpt;AS 176…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

ATP增压

6篇文献引用(2018–2023)
软件作者: 彼得罗夫斯基(Piotrowski),巴托斯(Bartosz);约瑟夫·乌尔班
相关软件: XGBoost;马拉雷亚;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

本地设计院

5份文件引用(2015年-2023年)
软件作者: 弗拉基米尔·格特。;丹尼尔·罗伯茨
相关软件: 表格;FiniteFlow;基拉…
主要字段: 交换代数(13-XX);非结合环与代数(17-XX);数值分析(65-XX)…

光学游戏

6篇文献引用(2001–2014)
软件作者: 曼弗雷德·海格;颈部,莱因哈德;多丽丝·贝伦斯(Doris A.Behrens)。
相关软件: Matlab;OPTCON;高斯
主要字段: 变分法与最优控制;优化(49-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SeaSyde公司

6篇文献引用(2023–2024)
软件作者: 托马索·犰狳;罗伯托·博尼西亚尼;西蒙·德沃托(Simone Devoto);纳拉扬·拉纳;亚历山德罗·维奇尼
相关软件: AM流量;LiteRed;差异表达式(&E)…
主要字段: 近似和展开(41-XX);代数拓扑(55-XX);数值分析(65-XX)…

STR公司

5份文件引用(2019–2021)
软件作者: 米开朗基罗·普雷蒂
相关软件: 无线局域网;火灾5;数学软件
主要字段: 统计学(62-XX);粒子和系统力学(70-XX);量子理论(81-XX)

海拉纳尔

5份文件引用(2008–2018)
软件作者: Bansal,M.,Kumar,S.,Velavan,R。
相关软件: 扭结检测器;R;TMKink…
主要字段:

HotKnots(热结)

5份文件引用(2008–2022)
软件作者: J.Ren、B.Rastegari、A.Condon、H.H.Hoos
相关软件: ProbKnot;法国复兴信贷银行;折叠…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

IFP-C3D

5份文件引用(2008年至2012年)
软件作者: Bohbot,J。;吉列,N。;A.本科尼达。
相关软件: CHEMKIN公司;基瓦-2;重新塑造…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)

柔软

5份文件引用(2009–2010)
软件作者: M.加贝。;Smaoui,M。;de Brye,N。;皮卡德,C。
相关软件: CP网络;NFFT3;NFFT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

UDDAE_优化

5份文件引用(2017年至2022年)
软件作者: Luca Fenzi;维姆·米歇尔斯
相关软件: UQLab;HIFOO;DDE-BIFTOOL…
主要字段: (65F15-XX);(90C31-XX);(60H35-XX)

DRalgo公司

4份文件引用(2022–2023)
软件作者: 安德烈亚斯·埃克斯特德;Philipp Schicho;Tuomas V.I.Tenkanen。
相关软件: 宇宙转换;表格;查找反弹…
主要字段: 特殊功能(33-XX);代数拓扑(55-XX);粒子力学与系统(70-XX)…

Verisig公司

4份文件引用(2021–2022)
软件作者: 拉多斯拉夫·伊万诺夫;Taylor Carpenter;詹姆斯·韦默(James Weimer);拉杰夫·阿鲁尔;乔治·帕帕斯(George Pappas);李因苏普
相关软件: NNV;Reluplex;AI2…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

快速GPL

1份文件引用(2022)
软件作者: 王宇轩、杨利林、周斌
相关软件: handyG;Hypexp公司;HYPERDIRE…
主要字段: 量子理论(81-XX)

FOPID公司

引用于3份文件(2016–2017)
软件作者: Lachhab,N.、Svaricek,F.、Wobbe,F.和Rabba,H。
相关软件: FOMCON公司;FSST;DFOC…
主要字段: 常微分方程(34-XX);统计学(62-XX);系统论;控制(93-XX)

竖锯网

2份文件引用(2019)
软件作者: 堪舆乐;辛莉(Xin Li)
相关软件: 亚当;TensorFlow公司
主要字段: 信息与通信理论,电路(94-XX)

NIRA-3型

引用于3份文件(2010–2016)
软件作者: 雅切克·克劳茨克;詹姆斯·祖科洛
相关软件: NIRA-GUI;PS温
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

打开循环

2份文件引用(2020–2021)
软件作者: 费德里科·布奇奥尼(Federico Buccioni)、珍妮·尼科拉斯·朗(Jean-Nicolas Lang)、乔纳斯·林德特(Jonas M.Lindert)、菲利普·迈尔霍(Philipp Maierhöfer)、斯特凡诺·波佐里尼(Stefano Pozzorini)、张汉田(Han
相关软件: FeynCalc;火灾;RECOLA…
主要字段: 量子理论(81-XX)

PySR公司

2份文件引用(2023–2024)
软件作者: 克兰默,M。
相关软件: CANN;FPINN;NeuralUQ…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);地球物理学(86-XX)…

引用于3份文件(1978年至2007年)
软件作者: Garriba,S.、Quartapelle,L.、Reina,G。
相关软件: 哥特格洛布;DQAINT;QUADPACK…
主要字段: 近似和展开(41-XX);数值分析(65-XX);可变形固体力学(74-XX)

ArchPRED公司

1份文件引用(2014)
软件作者: N.Fernandez-Fuentes、J.Zhai、A.Fiser
相关软件: 神经元;父系;UniProt…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

分红

1份文件引用(2019)
软件作者: Joshua M.Lewis;弗吉尼亚·R·德·萨;劳伦斯·范德马滕
相关软件: 全球;SRASS;E-KRHper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

EHMAC公司

2份文件引用(1998–2000)
软件作者: 拉塔维耶克(Krzysztof J.Latawiec)。;罗杰克,雷萨德
相关软件:
主要字段: 系统论;控制(93-XX)

尤里卡

2份文件引用(2010–2011)
软件作者: 亚历山大·纳达尔(Alexander Nadel);莫兰·戈登;阿米特·帕尔蒂;齐亚德·汉纳
相关软件: MiniSat;查夫;Zchaff2004…
主要字段: 计算机科学(68-XX)

高斯混合

2份文件引用(2019–2020)
软件作者: 范·列文,D。
相关软件: PRMLT;github;朱莉娅…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

MODPROF公司

2份文件引用(2001年)
软件作者: 哈,詹斯
相关软件: Hilberticus;VAMPIRE公司;P.rex…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

NeuroSLAM公司

2份文件引用(2019–2020)
软件作者: 于方文;尚、江亚;胡友健;米尔福德
相关软件: SeqSLAM;ORB-SLAM2;ORB-SLAM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

皮罗塞塔

1份文件引用(2018)
软件作者: 乔杜里,S。;Lyskov,S。;J·格雷。
相关软件: STRIDE(步态)
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

R-CHIE公司

2份文件引用(2015–2020)
软件作者: Lai D、Proctor JR、Zhu JYA、Meyer IM
相关软件: 算法457;G-MAPSEQ;ARB…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);运筹学,数学规划(90-XX)…

VINS-Mono(VINS-Mone)

2份文件引用(2019–2020)
软件作者: 童琴、李培良、沈少杰
相关软件: ORB-SLAM2;MonoSLAM;欧洲RoC…
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

ABCLibScript脚本

1份文件引用(2009)
软件作者: T.Katagiri、K.Kise、H.Honda、T.Yuba
相关软件: JDQZ;OSKI;稀疏矩阵…
主要字段: 数值分析(65-XX)

Absynth.jl公司

1份文件引用(2022)
软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);达内什瓦·阿姆罗拉希;尼古拉·比约纳;劳拉·科瓦奇
相关软件: z3型
主要字段: 计算机科学(68-XX)

基本探测

1份文件引用(2012)
软件作者: 张扬
相关软件: NGluon;HELAC-1回路;SAMURAI…
主要字段: 交换代数(13-XX);代数几何(14-XX);量子理论(81-XX)

呼啸声

1份文件引用(2022)
软件作者: 哈特维尔,J。;盖博,MM;阿扎德,RMA
相关软件: 在树中;形状;XGBoost…
主要字段: 计算机科学(68-XX)

化学需氧量

1份文件引用(2014)
软件作者: C.M.迪恩、T.L.布伦德尔
相关软件: 神经元;SIRENE公司;UniProt…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

CRCBode公司

1份文件引用(2014)
软件作者: J.D.泰勒。;威廉·梅斯纳
相关软件: 鲁棒控制工具箱
主要字段: 系统论;控制(93-XX)

cyclogpl。

1份文件引用(2018)
软件作者: 伯恩德·克奈尔(Bernd A.Kniehl)。;Andrey F.Pikelner。;奥列格·维雷汀。
相关软件: 卡农尼卡;TVID;紫红…
主要字段: 数论(11-XX);量子理论(81-XX)

FACTEST(事实测试)

1份文件引用(2020)
软件作者: 范、楚楚;克里斯蒂娜·米勒(Kristina Miller);萨扬·密特拉
相关软件: FaSTrack;Python机器人;数字标识…
主要字段: 系统论;控制(93-XX)

GSNAP公司

1份文件引用(2016)
软件作者: Thomas D.Wu、Jens Reeder、Michael Lawrence、Gabe Becker、Matthew J.Brauer
相关软件: 烤面包;银河系;featureCounts…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

KGSA公司

1份文件引用(2018)
软件作者: 沙赫拉姆·戈尔扎里(Shahram Golzari);扎尔德沙瓦尔(Zardhsavar)、穆罕默德·努尔莫哈迈迪(Mohammad Nourmohammadi);阿明·穆萨维;马哈茂德·雷扎·萨巴尼;阿卜杜拉·哈利利;Shahaboddin Shamshirband公司
相关软件: GSA;BGSA公司
主要字段: 运筹学、数学规划(90-XX)

面包

在0个文档中引用
软件作者: J.Zhang;S.Singh公司
相关软件: MS-COCO;地图视觉;城市景观…
主要字段:

LOOPER(回路)

1份文件引用(2014)
软件作者: V.Z.Spassov,P.K.Flook,L.Yan
相关软件: 神经元;SIRENE公司;UniProt…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

循环2递归

在0个文档中引用
软件作者: Insa,D.,Silva,J。
相关软件: JBuilder;爪哇DD
主要字段: 计算机科学(68-XX)

莫科

在0个文档中引用
软件作者: Dubbs,A.,Guevara,J.,Yuste,R
相关软件: SIMA;ImageBee;工具箱-Romano…
主要字段:

MultiFlex公司

1份文件引用(2004)
软件作者: 正手,大卫·I.M。;拉亚·卡宁;马修·卡特梅尔(Matthew P.Cartmell)。
相关软件: Multiflex;数学软件
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);可变形固体力学(74-XX)

多重HypExp

在0个文档中引用
软件作者: 苏维克贝拉
相关软件: handyG;快速GPL;FeynGKZ…
主要字段:

打开FABMAP

1份文件引用(2018)
软件作者: Glover A、Maddern W、Warren M、Reid S、Milford M、Wyeth G
相关软件: SeqSLAM;冲浪;MonoSLAM公司
主要字段:

开放式QAOA

在0个文档中引用
软件作者: 维沙尔·夏尔马(Vishal Sharma)、努尔·沙希德·本·萨哈拉(Nur Shahidee Bin Saharan)、邵亨丘(Shao-Hen Chiew)、伊泽奎尔·伊格纳西奥·罗德里格斯(Ezequiel Ignacio Rodríguez Chiacchio)、莱昂纳多·迪西夫斯特罗(Leonardo Disilvestro
相关软件: 循环;QuantumCircuitOpt;MQLib.jl…
主要字段:

PaReDuX公司

1份文件引用(1998)
软件作者: Bündgen,Reinhard;曼弗雷德·哥贝尔;库奇林,沃尔夫冈;安德烈亚斯·韦伯
相关软件:
主要字段: 计算机科学(68-XX)

PedPel公司

1份文件引用(2007)
软件作者: Belonogova,Nadezhda M。;塔蒂亚娜·埃克塞诺维奇。
相关软件:
主要字段: 组合数学(05-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

R2DS系列

1份文件引用(2020)
软件作者: 你,冯;龚云波;李小龙;王海伟
相关软件: 联邦开发银行
主要字段: 生物学和其他自然科学(92-XX)

标量

在0个文档中引用
软件作者: M.Endres、P.Roocks、W.Kießling
相关软件: dplyr;懒惰;调音播放…
主要字段:

结构SLAM

1份文件引用(2022)
软件作者: Zhou,H.,Zou,D.,Pei,L.,Ying,R.,Liu,P.,Yu,W。
相关软件: 效率检测;布里斯克;面2面…
主要字段:

曲面网格

1份文件引用(2022)
软件作者: 托马斯·施普斯(Thomas Schöps)、托尔斯滕·塞特勒(Torsten Sattler)、马克·波利菲(Marc Pollefeys)
相关软件: 效率检测;布里斯克;面2面…
主要字段: 计算机科学(68-XX)

符号回归.jl

在0个文档中引用
软件作者: 克莱默,迈尔斯
相关软件: PySR;决策树.jl;XGBoost…
主要字段:

塔皮尔

1份文件引用(2019)
软件作者: Eric Bonnet、Ying He、Kenny Billiau、Yves Van de Peer
相关软件: psRNA目标;LncmiRSRN公司
主要字段: 生物学和其他自然科学(92-XX)

tFCA(飞行控制组件)

1份文件引用(2015)
软件作者: Reimers,Arne C。;戈德斯坦,亚龙;亚历山大·博克迈尔
相关软件: efmtool;F2c2;FFCA…
主要字段: 生物学和其他自然科学(92-XX)

雅斯克

1份文件引用(2020)
软件作者: 查尔斯·扬特、乔什·托宾、亚历山大·布鲁尔、亚历杭德罗·杜兰
相关软件: Loo.py;德维托;CGen…
主要字段: 数值分析(65-XX)

阿霍·科拉西克·特里

在0个文档中引用
软件作者: 马特·钱伯斯(Matt Chambers)、托马斯·佩特里塞克(Tomas Petricek)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件