铆钉 在11份文件中引用(2020–2024) 软件作者: 迈克尔·莱斯尼克、马修·赖特 相关软件: 裂土器;辛巴;GitHub… 主要字段: 交换代数(13-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
合理化根 在11份文件中引用(2020–2023) 软件作者: 马可·贝西尔(Marco Besier)、帕斯卡尔·瓦塞尔(Pascal Wasser)、斯特凡·温泽尔(Stefan Weinzierl) 相关软件: 火灾;雷杜泽;ε… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
RealCertify公司 10篇文献引用(2018年-2023年) 软件作者: Victor Magron,Mohab Safey El Din 相关软件: TSSOS;塞杜米;Mosek… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
msolve公司 6篇文献引用(2022–2024) 软件作者: Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件: 单一;岩浆;奥斯卡… 主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)…
q函数 8份文件引用(2020–2023) 软件作者: 雅各布·阿布林格(Jakob Ablinger)、阿里·K·恩库(Ali K.Uncu) 相关软件: qMultiSum;qGeneratingFunctions;速率… 主要字段: 组合数学(05-XX);数论(11-XX);非结合环和代数(17-XX)…
CLUE公司 5份文件引用(2021–2024) 软件作者: Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件: 侵蚀;尼莫;微分方程.jl… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);计算机科学(68-XX)…
FunGrim公司 引用于2份文件(2020–2023) 软件作者: 弗雷德里克·约翰逊 相关软件: DLMF;匹配Py;仲裁… 主要字段: 特殊功能(33-XX);计算机科学(68-XX);量子理论(81-XX)
多元动力系列 1份文件引用(2021) 软件作者: 穆罕默德·阿萨迪(Mohammadali Asadi)、亚历山大·勃兰特(Alexander Brandt)、马赫萨·卡泽米(Mahsa Kazemi)、马克·莫雷诺·马扎(Marc Moreno Maza)、埃里克·波斯塔 相关软件: SageMath;枫树;NTL… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
OGRe公司 1份文件引用(2023) 软件作者: 巴拉克·肖沙尼 相关软件: CADSOL;朱莉娅;旋转BlackHoles.jl… 主要字段: 偏微分方程(35-XX);算子理论(47-XX);流形和细胞复合体(57-XX)…
参数估计.jl 在0个文档中引用 软件作者: Soo Go、Hoon Hong、Ilia Ilmer、Alexey Ovchinnikov、Pedro Soto、Chee Yap 相关软件: sbtoolbox;数据2Dynamics;微分方程.jl… 主要字段: –
符号GPT 1份文件引用(2023) 软件作者: Mojtaba Valipour、Bowen You、Maysum Panju、Ali Ghodsi 相关软件: github;PMLB;SMCPy… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)