×

找到20个软件包(结果1–20)

LOTOS公司

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

马刀

27篇文献引用(2018–2023)
软件作者: D'Anvers,Jan-Pieter;卡尔马卡尔,安格舒曼;辛哈·罗伊(Sinha Roy),苏霍伊(Sujoy);弗雷德里克·韦考特伦
相关软件: FrodoKEM;NTRU;自行车…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

火山

6篇文献引用(2000–2018)
软件作者: 格雷夫(G.Graefe)。
相关软件: DB2;潜力;LUBM…
主要字段: 计算机科学(68-XX)

GXL公司

10篇文献引用(2002–2020)
软件作者: 理查德·霍尔特(Richard C.Holt)。;安迪·舒尔(Andy Schürr);Sim,Susan Elliott;安德烈亚斯·温特
相关软件: 进度;沟槽;AGG…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PROCOL公司

7份文件引用(1991年-2002年)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

NOSA-ITACA公司

6篇文献引用(2014–2023)
软件作者: 玛格丽塔·波塞利;比南特,文森佐;玛丽亚·吉拉迪;克里斯蒂娜·帕多瓦尼;朱塞佩·帕斯奎内利
相关软件: ARPACK;BEMLIB;达科塔…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

MOMI公司

4份文件引用(2005年至2008年)
软件作者: 洛伦佐·贝蒂尼;贝蒂·文内里(Betti Venneri);维维亚娜·博诺
相关软件: 琳达;科莱姆;克拉瓦
主要字段: 计算机科学(68-XX)

波拉斯

4份文件引用(2010年-2023年)
软件作者: Finaud-Guyot,P。;Delenne,C。;勒霍姆,J。;吉尼奥,V。;拉弗尔,C。
相关软件: HE-E1GODF;HLLE;HLLC公司
主要字段: 数值分析(65-XX);流体力学(76-XX)

BSML库

3份文件引用(2002年至2007年)
软件作者: 盖坦·海恩斯;Loulergue;Frédéric
相关软件: OCaml;eSkel;伊甸园…
主要字段: 计算机科学(68-XX)

JSBML公司

3份文件引用(2012–2021)
软件作者: Dräger,A.,Rodriguez,N.,Dumousseau,M.,Dörr,A.,Wrzodek,C.,Novère,N.L.,Zell,A.,Hucka,M。
相关软件: KEGG;MetaCyc;聚乙烯…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

色度

2份文件引用(2018–2022)
软件作者: 霍诺拉托·齐梅尔(Honorato Zimmer),里卡多(Ricardo);安德鲁·米勒(Andrew J.Millar)。;戈登·普洛金(Gordon D.Plotkin)。;扎迪利斯,阿格里斯
相关软件: PySB;BioNetGen;eBCGen…
主要字段: 生物学和其他自然科学(92-XX)

科南

2份文件引用(2016–2023)
软件作者: Loft,N.J.S。;Kristensen,L.B。;Thomsen,A.E.公司。;沃洛斯尼耶夫,A.G。;新墨西哥州津纳。
相关软件: SCHUR公司;碱性磷酸酶;MCTDH…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);经典热力学,传热(80-XX)…

幽灵克星

2份文件引用(2016年至2019年)
软件作者: 特雷弗·L·麦克唐纳。;Timothy A.K.Zakian。;马蒂奥·西米尼;Ryan R.牛顿。
相关软件: 举起;转让;立方体…
主要字段: 计算机科学(68-XX)

亚拉

2份文件引用(2018–2021)
软件作者: 奥利维·洛朗
相关软件: ANTLR;PySpark;ConArg2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

2立方英尺

1份文件引用(2013)
软件作者: 雅塞克·科布斯
相关软件: SRIM公司
主要字段: 数值分析(65-XX);量子理论(81-XX)

打开EDGAR

在0个文档中引用
软件作者: Michael J Bommarito II;丹尼尔·马丁·卡茨(Daniel Martin Katz);埃里克·德特曼
相关软件: LexNLP;Django;熊猫…
主要字段:

PANN公司

1份文件引用(2000)
软件作者: Masanori Matsuda;纯一长田;吉野、弘;Yutaka吉野
相关软件:
主要字段: 量子理论(81-XX)

PyFLOSIC公司

在0个文档中引用
软件作者: Sebastian Schwalbe、Lenz Fiedler、Jakob Kraus、Jens Kortus、Kai Trepte、Susi Lehtola
相关软件: adcc;VeloxChem公司;molstum…
主要字段:

skyrme_rpa公司

1份文件引用(2013)
软件作者: 吉安卢卡·科洛;曹立刚;范·贾伊(Nguyen van Giai);路易吉·卡佩利
相关软件:
主要字段: 量子理论(81-XX)

XML基准

在0个文档中引用
软件作者: 苏伦·奇林加兰
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段