×

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

LOTOS公司

135份文件引用(1988–2023)
软件作者: 博洛涅西,T.,布林克斯马,E。
相关软件: CADP;自旋蛋白;Uppaal…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

琳达

77份文件引用(1985–2020)
软件作者: 大卫·盖伦特
相关软件: 科莱姆;石灰;重新规范…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

普罗米拉

30篇文献引用(1997–2022)
软件作者: Natarajan,V。;杰拉德·J·霍尔兹曼。
相关软件: 自旋蛋白;jSpin;ProB…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

甲酚

25篇文献引用(2006–2022)
软件作者: 约翰森(Einar Broch Johnsen);Owe、Olaf;Yu,Ingrid Chieh
相关软件: 轻量级Java;ABCL;莫德…
主要字段: 计算机科学(68-XX)

DAGH公司

13份文件引用(1998–2011)
软件作者: 帕拉沙尔,马尼什;詹姆斯·布朗(James C.Browne)。
相关软件: 帕拉梅什;AMROC;SAMRAI…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

铁人舰队

16篇文献引用(2017–2023)
软件作者: Hawblitzel,C。;豪厄尔,J。;卡普里特索斯,M。;Lorch,J.R。;巴诺,B。;Roberts,医学博士。;塞蒂,S.T.V。;齐尔,B
相关软件: z3;达夫尼;常春藤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MAGDA公司

10篇文献引用(2006–2010)
软件作者: 洛科·阿弗萨、贝尼亚米·迪·马蒂诺、尼古拉·马佐卡、萨尔瓦多·文提琴
相关软件: Globus工具包;夏洛特;MPICH-G2…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

舒尔拉斯

7份文件引用(2006–2019)
软件作者: 李忠泽;萨阿德·优素福
相关软件: CSparse;PSPIKE公司;GenASPI…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

方面IX

4份文件引用(2001–2009)
软件作者: Franz J.Hauck。;乌尔里希·贝克尔;马丁·盖尔;埃里希·梅尔;乌韦拉斯托弗;马丁·斯特克迈尔
相关软件: Rapide公司
主要字段: 计算机科学(68-XX)

C-HEAP(C-堆)

3份文件引用(2002–2006)
软件作者: 安德烈·尼乌兰;杰弗里·康(Jeffrey Kang);Om Prakash Gangwal;西图拉曼,拉玛那善;娜塔利诺·巴萨;古森、基斯;拉斐尔·佩塞特·洛皮斯;保罗·利彭
相关软件: ——
主要字段: 计算机科学(68-XX)

CuArrays.jl公司

3份文件引用(2022–2024)
软件作者: Tim Besard、Valentin Churavy、Alan Edelman、Bjorn De Sutter
相关软件: CUDAnative.jl;CUDA.jl;推力…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

重新塑造

3份文件引用(2010–2014)
软件作者: Rajesh Sudarsan;卡尔文·里本斯。
相关软件: IFP-C3D;METIS公司;KIVA-4…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

KSVD公司

3份文件引用(2019年至2022年)
软件作者: Sukkari,达拉尔;勒泰夫(Ltaief)、哈泰姆(Hatem);埃斯波西托(Aniello Esposito);戴维·凯斯
相关软件: 斯卡拉帕克;图书馆学;LAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

LMS评估

2份文件引用(2010–2014)
软件作者: 纳迪尔·卡夫斯
相关软件: 弗林斯通
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

LPaaS公司

2份文件引用(2018–2022)
软件作者: 罗伯塔·卡莱加里;Enrico Denti;玛丽亚尼,斯特凡诺;安德烈亚·奥米西尼
相关软件: B-Prolog;SICStus公司;再见…
主要字段: 计算机科学(68-XX)

菜单-PGG

3份文件引用(1994–2003)
软件作者: 尼科斯(Nikos),基里绍伊德斯(Chrisochoides);杰弗里·福克斯;乔·汤普森
相关软件: pARMS;凯利;PETSc…
主要字段: 数值分析(65-XX)

MoVES公司

3份文件引用(2008年至2019年)
软件作者: 卢西亚诺·波诺尼;Marco Di Felice;加布里埃尔·D’Angelo;米歇尔·布拉库托;洛伦佐·多纳蒂耶洛
相关软件: SakerGrid;使徒;Python PDEVS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

VPOET公司

1份文件引用(2008)
软件作者: 里科,马里亚诺;戴维·卡马乔(David Camacho);奥斯卡·科乔
相关软件: SPARQL公司
主要字段: 计算机科学(68-XX)

布里斯克

2份文件引用(2000–2005)
软件作者: Aleksandar Bakić;马特·穆特卡(Matt W.Mutka)。;黛安·罗弗。
相关软件: CLOS;微型计算机
主要字段: 计算机科学(68-XX)

构造性证明FLP

2份文件引用(2016–2018)
软件作者: 本杰明·比斯平;鲍尔·达维德·布罗德曼;蒂姆·荣尼尼;克里斯蒂娜·里克曼;Seidler,Henning;安克·Stüber;阿诺·威廉·韦德纳;彼得斯(Kirstin Peters);乌韦·内斯特曼
相关软件: 存档正式证据;铁人舰队;CVC4…
主要字段: 计算机科学(68-XX)

D匹配

2份文件引用(2020)
软件作者: 刘浩鹏、李光浦、杰弗里·卢克曼、李嘉欣、陆珊、哈里亚迪·S·古纳维、陈田
相关软件: dBug;SAMC;米哈…
主要字段: 计算机科学(68-XX)

DeCIF公司

2份文件引用(1999–2001)
软件作者: 费利克斯·科尼利厄斯
相关软件: ——
主要字段: 计算机科学(68-XX)

GRUMPS公司

1份文件引用(2003)
软件作者: Huw Evans;马尔科姆·阿特金森;玛格丽特·布朗;嘉吉、朱莉;莫里·克鲁斯(Murray Crease);史蒂夫·德雷珀(Steve Draper);菲尔·格雷(Phil Gray);理查德·托马斯
相关软件: ——
主要字段: 计算机科学(68-XX)

米哈

2份文件引用(2020)
软件作者: 努诺·马查多;梅亚,弗朗西斯科;弗朗西斯科·奈维斯;科埃略,法比奥;何塞·佩雷拉
相关软件: DCatch;dBug;SAMC…
主要字段: 计算机科学(68-XX)

莫纳利萨

2份文件引用(2009–2011)
软件作者: I.Legrand、H.Newman、R.Voicu、C.Circtoiu、C.Grigoras、C.Dobre、A.Muraru、A.Costan、M.Dediu、C.Stratan
相关软件: 金发美女;NetLogger(网络记录器)
主要字段: 计算机科学(68-XX)

开放式多媒体数据存储系统

1份文件引用(2017)
软件作者: 埃尔梅森·C·安德拉德。;阿尔维斯,马塞洛;马托斯、鲁本斯;布鲁诺·席尔瓦;保罗·马西尔
相关软件: ——
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)

零件GeMSLR

1份文件引用(2018)
软件作者: 徐,天师;瓦西里斯·卡兰齐斯;李瑞鹏;奚元哲;杰弗里·狄龙;萨阿德·优素福
相关软件: GL签证;MFEM;libPTScotch…
主要字段: 数值分析(65-XX)

执行者ERL

2份文件引用(2022–2023)
软件作者: 沃尔特·卡佐拉(Walter Cazzola);弗朗西斯科·塞萨里尼;卢卡·坦西尼
相关软件: FDR2;SCEL;CARMA…
主要字段: 计算机科学(68-XX)

卡德莫斯

在0个文档中引用
软件作者: 弗拉德·波帕;沃尔夫冈·施维策
相关软件: ——
主要字段: ——

数据瓶

1份文件引用(2020)
软件作者: 弗朗西斯科·迈亚、米格尔·马托斯、里卡多·维拉萨、何塞·佩雷拉、鲁伊·奥利维拉、艾蒂安·里维埃
相关软件: ASM;PeerSim公司;密码…
主要字段: 计算机科学(68-XX)

DSQMKryST公司

1份文件引用(2019)
软件作者: 布伦丝、马龙;瓦尔马,维平喀拉拉邦;安东内洛·斯卡迪奇奥;伊万·吉洛托
相关软件: SLEPc;促进;增强C++库…
主要字段: 数值分析(65-XX);量子理论(81-XX)

EPDKS公司

1份文件引用(2007)
软件作者: 吕克·奥娜娜·阿利玛;斯特凡·博波特
相关软件: ——
主要字段: 计算机科学(68-XX)

联邦数据网

在0个文档中引用
软件作者: 哈伦·本考哈;阿卜杜利、阿卜杜勒克里姆;Karima Bouyahia;亚斯米娜·卡隆
相关软件: ——
主要字段: ——

哈特斯

1份文件引用(2002)
软件作者: 安吉洛夫,C.K。;伊万诺夫,I.E。;A.伯恩斯。
相关软件: ——
主要字段: 计算机科学(68-XX)

MSCPDL公司

1份文件引用(1998)
软件作者: 米克尔·克里斯蒂安森
相关软件: ——
主要字段: 计算机科学(68-XX)

QRnet(QRnet)

1份文件引用(2023)
软件作者: Tenavi Nakamura-Zimmerer、Qi Gong、Wei Kang
相关软件: FPINN;RobOptim;DeepONet;…(D)…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);系统论;控制(93-XX)

ScaFi系统

1份文件引用(2023)
软件作者: 乔治·奥德里托;罗伯托·卡萨迪;达米亚尼,费鲁西奥;米尔科·维罗利
相关软件: MapReduce;SDEF;Protelis…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

伍特

1份文件引用(2022年)
软件作者: 盖拉尔德·奥斯特;帕斯卡·乌尔索;帕斯卡·莫利;阿卜杜萨马德·伊明
相关软件: Logoot;伍基;woot-haskell…
主要字段: 计算机科学(68-XX)

DTRON公司

在0个文档中引用
软件作者: 艾沃·阿尼尔;尤里·瓦恩;利奥尼达斯·齐奥普洛斯
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段