×

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

阿贝拉

57篇文献引用(2008–2023)
软件作者: 安德鲁·加塞克
相关软件: Twelf;白鲸;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

清洁

56篇文献引用(1987–2016)
软件作者: 医学博士Plasmeijer。
相关软件: 哈斯克尔;米兰达;闪光…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

MediaBench公司

16篇文献引用(2001–2016)
软件作者: Lee,C.,Potkonjak,M.,Mangione-Smith,W.H。
相关软件: MiBench公司;简单标尺;瓦奇…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)…

多线性引擎

33篇文献引用(2002–2022)
软件作者: 彭蒂·帕特罗
相关软件: 张量工具箱;Matlab;PARAFAC…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

加拿大

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

雪崩。(f)

21篇文献引用(2001年至2022年)
软件作者: Koch,Othmar;埃瓦州维努勒
相关软件: bvpsuite;私人银行;COLSYS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

GenSSI公司

引用于20份文件(2013–2023)
软件作者: Chis O、Banga J、Balsa-Canto E
相关软件: 雏菊;西安;COMBOS…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

DNA序列生成器

10篇文献引用(2002–2014)
软件作者: 费尔德坎普,乌多;萨哈菲(Sam Saghafi);沃尔夫冈·班扎夫;希尔马尔·劳赫
相关软件: 打孔;R(右)
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

STR公司

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

有限自动机HF

7份文件引用(2015–2020)
软件作者: 劳伦斯·保尔森
相关软件: 遗传有限集;Coq;Myhill-Nerode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

欧洲、中东和非洲

5份文件引用(2019–2023)
软件作者: 弗拉基米尔·德沃金;贾拉尔·卡泽姆普尔;皮埃尔·平森
相关软件: github;JuMP公司
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

图形状态

6篇文献引用(2015–2023)
软件作者: D.Batkovich、Y.Kirienko、M.Kompirets、S.Novikov
相关软件: Loopia;RStar;Mincer…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);计算机科学(68-XX)…

相互作用方程吸引流形

6篇文献引用(2022–2023)
软件作者: 弗朗西斯科·帕塔奇尼。;德扬·斯莱普切夫
相关软件: MOEA/D;CuPy;Matplotlib…
主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

gNCA公司

4份文件引用(2009–2010)
软件作者: Linh M.Tran;Mark P.Brynildsen;Katy C.Kao;Jason K.Suen;詹姆斯·利娅
相关软件: 材料检查器;项目管理局;布伦达…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

cSEM公司

3份文件引用(2021–2023)
软件作者: Manuel E.Rademaker、Florian Schuberth、Tamara Schamberger、Michael Klesel、Theo K.Dijkstra、Jörg Henseler
相关软件: R;智能PLS;semPLS…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX)

Dubins浏览器

3份文件引用(2015–2020)
软件作者: 阿亚拉,J。;J·迪亚兹。
相关软件:
主要字段: 微分几何(53-XX);流形和细胞复合体(57-XX);整体分析,流形分析(58-XX)…

地图DE

3份文件引用(2019–2021)
软件作者: 穆罕默德·扎赫拉;格雷戈里·里德。;黄,Tracy Shih-lung
相关软件: 微分几何;宝石;向量场的李代数…
主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);计算机科学(68-XX)

手术室/SM

3份文件引用(1997–2005)
软件作者: 戈登·赖特(Gordon P.Wright)。;N.Dan,Worobetz;康、明;拉德哈·穆克吉(Radha V.Mookerjee)。;拉德哈·钱德拉塞卡兰
相关软件: GAMS;AMPL;近地天体…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Stern-Brocot树

3份文件引用(2016–2017)
软件作者: 彼得·甘米(Peter Gammie);安德烈亚斯·洛赫比勒
相关软件: 存档正式证据;Isabelle/HOL;霍尔…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

在0个文档中引用
软件作者: Fernanda Madeiral、Simon Urli、Marcelo Maia、Martin Monperrus
相关软件: Bugbench;JUnit公司;GitHub…
主要字段:

CellFIT公司

引用于2份文件(2018年至2019年)
软件作者: Brodland G W、Veldhuis J H、Kim S、Perrone M、Mashburn D和Hutson M S
相关软件: PhysiCell;VirtualLeaf;LBIB单元
主要字段: 可变形固体力学(74-XX);生物学和其他自然科学(92-XX)

拉卡萨

引用于2份文件(2018–2020)
软件作者: Haller,P。;A.洛伊科。
相关软件: OCaml;效率;Koka…
主要字段: 计算机科学(68-XX)

执行者ERL

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

利福西姆

引用于2份文件(2018–2020)
软件作者: Maplesoft软件
相关软件: 枫树;外部
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);流体力学(76-XX)…

代码唯一性

1份文件引用(2019)
软件作者: Andries E.Brouwer。;斯文·波拉克。
相关软件: 鹦鹉螺;github;踪迹
主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

DeLS-3D公司

在0个文档中引用
软件作者: 王鹏、杨瑞刚、曹斌、徐伟、林元庆
相关软件: SYNTHIA数据集;BDD100k;CamVid…
主要字段:

埃尔米特

1份文件引用(2022)
软件作者: 何塞·迪瓦森;杰苏斯·阿兰塞
相关软件: 伊莎贝尔;Kenzo;传输…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

InteriorNet公司

在0个文档中引用
软件作者: 李文斌、萨贾德·赛义迪、约翰·麦科马克、罗纳德·克拉克、迪莫斯·祖马尼卡斯、青叶、黄玉忠、唐瑞、斯特凡·卢特内格
相关软件: 点SIFT;VoxNet;PointNet…
主要字段:

pSPARQL公司

1份文件引用(2019)
软件作者: 方,洪
相关软件: 雅高;SPARQL公司
主要字段: 计算机科学(68-XX)

SFS公司

1份文件引用(2022)
软件作者: 劳尔森(Laursen,Ragnhild);阿斯格·霍博尔特
相关软件: github;签署人;FACPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)

斯米尔诺夫

1份文件引用(1991)
软件作者: 阿列克谢·希普诺夫
相关软件:
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

史密斯_标准_表格

1份文件引用(2022)
软件作者: 何塞·迪瓦森
相关软件: 伊莎贝尔;Kenzo;传输…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

SPNET公司

1份文件引用(2018)
软件作者: 西蒙·卡塞斯;法比奥·卡米利;卢西拉·科里亚斯
相关软件:
主要字段: 偏微分方程(35-XX);算子理论(47-XX);变分法与最优控制;优化(49-XX)…

Fullrmc公司

在0个文档中引用
软件作者: 巴希尔·奥恩
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件