×

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

主页

123篇文献引用(1987–2023)
软件作者: Watson,莱恩·T。;斯蒂芬·比卢普斯(Stephen C.Billups)。;亚历山大·摩根。
相关软件: PITCON;HOMPACK90;minpack…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

PolyBoRi公司

50篇文献引用(2008–2023)
软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦
相关软件: 单一;SageMath;岩浆…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

新Dsc

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

多项式

6篇文献引用(2017–2021)
软件作者: 克里斯蒂安·斯特纳格尔、雷内·蒂曼、亚历山大·马列茨基、费比安·伊姆勒、弗洛里安·哈夫特曼、安德烈亚斯·洛赫比勒、亚历山大·本特坎普
相关软件: Groebner_Bases;Isabelle/HOL;z3…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)

Groebner_Bases公司

4份文件引用(2017–2019)
软件作者: 费比安·伊姆勒;亚历山大·马列茨基
相关软件: 多项式;Isabelle/HOL;深入学习(_L)…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

BoijSoederbergC科尼.m2

3份文件引用(2018–2022)
软件作者: Annunziata,迈克尔·T。;科特尼·R·吉本斯。;科尔·霍金斯;亚历山大·萨瑟兰。
相关软件: 博伊·索德伯格(BoijSoederberg);麦考利2号;岩浆
主要字段: 组合数学(05-XX);交换代数(13-XX)

周期性溶胶

3份文件引用(2020–2021)
软件作者: 亚历山大·N·普切林塞夫(Alexander N.Pchelintsev)。
相关软件: github;RODES公司
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

GCMFEM公司

2份文件引用(2022–2023)
软件作者: 亚历山大·古塞夫(Alexander A.Gusev)。;加尔满达克的楚鲁邦巴塔;奥赫巴德拉赫·楚鲁班巴塔尔;维尼茨基,塞尔格一世。;尤里·布林科夫(Yuri A.Blinkov)。;阿尔及尔达斯·德维基斯;彼得·O·赫斯。;海、良乐
相关软件: 哲学;Mathematica;DLMF…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);量子理论(81-XX)

GENOM3CK系列

2份文件引用(2010–2013)
软件作者: 霍多罗格,Mădălina;约瑟夫·希乔
相关软件: 阿克塞尔;MultRoot;数学…
主要字段: 代数几何(14-XX);歧管和细胞复合体(57-XX);计算机科学(68-XX)

霍姆弗利

2份文件引用(2015–2019)
软件作者: H.R.Morton;H.B.短裤
相关软件: 网格链接;结理论
主要字段: 结合环与代数(16-XX);歧管和细胞复合体(57-XX)

精确ODE约简.jl

1份文件引用(2024)
软件作者: 亚历山大·戴明(Alexander Demin);德米特拉基,伊丽莎维塔;格勒布·波古丁
相关软件: KaDE;侵蚀;尼莫…
主要字段: 结合环与代数(16-XX);常微分方程(34-XX);生物学和其他自然科学(92-XX)

尼尔森

1份文件引用(2018)
软件作者: 马特维·科托夫;德米特里·潘特列夫;亚历山大·乌沙科夫
相关软件: 间隙;单一
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

张拉整体性

1份文件引用(2022)
软件作者: 亚历山大·希顿
相关软件: github;同伦连续;alpha认证…
主要字段: 代数几何(14-XX);数值分析(65-XX);粒子和系统力学(70-XX)

筛选结果依据…

全部的 前5名

相关软件