主页 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)
精确ODE约简.jl 1份文件引用(2024) 软件作者: 亚历山大·戴明(Alexander Demin);德米特拉基,伊丽莎维塔;格勒布·波古丁 相关软件: KaDE;侵蚀;尼莫… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);生物学和其他自然科学(92-XX)
张拉整体性 1份文件引用(2022) 软件作者: 亚历山大·希顿 相关软件: github;同伦连续;alpha认证… 主要字段: 代数几何(14-XX);数值分析(65-XX);粒子和系统力学(70-XX)