数学软件 引用于6560份文件(1986–2024) 软件作者: 沃尔夫勒姆研究公司 相关软件: 枫树;Matlab;R、 … 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
枫树 5368份文件引用(1983–2024) 软件作者: 滑铁卢枫树公司。 相关软件: 数学;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
差异Sharp 216篇文献引用(2016–2024) 软件作者: Baydin,A.G.,Pearlmutter,B.A。 相关软件: 亚当;TensorFlow;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
枣灰蝶属 150篇文献引用(1997–2022) 软件作者: Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利JKU Linz RISC研究所Theorema小组 相关软件: Coq;数学;Mizar… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);交换代数(13-XX)…
家 122篇文献引用(1991–2024) 软件作者: 格鲍尔,R。;Kalkbrener,M。;墙壁,B。;F.温克勒。 相关软件: 枫树;数学;岩浆… 主要字段: 交换代数(13-XX);代数几何(14-XX);常微分方程(34-XX)…
GeM公司 107篇文献引用(1990年至2024年) 软件作者: 亚历克谢·契维亚科夫 相关软件: 枫树;SYMMGRP;裂纹… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);变形固体力学(74-XX)…
GiNaC公司 92份文件引用(2002–2024) 软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel 相关软件: 表格;雷杜泽;火灾… 主要字段: 复变量函数(30-XX);几何(51-XX);数值分析(65-XX)…
RATH(额定转速) 89份文件引用(2001–2022) 软件作者: Z.Li、Y.Liu 相关软件: 伊斯兰教;ATFM;枫树… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
钠20 79份文件引用(2000–2022) 软件作者: 达里奥·安德里亚·比尼;佛罗伦萨,朱塞佩 相关软件: na10;隔离;特征解… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);复变量函数(30-XX)…
SYMMGRP公司。马克斯 73篇文献引用(1991–2023) 软件作者: 香槟,B。;Hereman,W。;温特尼茨,P。 相关软件: SYMMGRP;diffgrob2;谎言… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
PDE专用解决方案 67篇文献引用(2004–2023) 软件作者: 鲍德温,D。;Göktaş,Ü。;Hereman,W。;洪,L。;马蒂诺,R.S。;J.C.米勒。 相关软件: ATFM;RATH(额定功率);枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
Refal公司 45篇文献引用(1969–2022) 软件作者: 瓦伦丁·F·土琴 相关软件: 哈斯克尔;哥斯达黎加;CiaoPP… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
正式的 43篇文献引用(1964–1996) 软件作者: Sammet,J.E。;邦德·E·R。 相关软件: 损益表;减少;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
快速 42篇文献引用(2005–2023) 软件作者: Bardin,S.、Leroux,J.、Finkel,A.、Petrucci,L。 相关软件: TREX公司;睫毛;阿斯匹克… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);数值分析(65-XX)…
OMRS公司 39篇文献引用(1995–2009) 软件作者: 亚历山德罗·阿曼多;Michael Kohlhase;西尔维奥·兰伊斯 相关软件: 分析;定理;PVS… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
DDE特殊解决方案 36篇文献引用(2004年至2021年) 软件作者: 鲍德温,D。;Göktaş,Ü。;Hereman,W。 相关软件: 枫树;RATH(额定功率);雅各比… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);差分和函数方程(39-XX)…
Multilisp公司 31份文件引用(1985–2022) 软件作者: Robert H.jun,Halstead。 相关软件: 甲酚;埃菲尔;莫德… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
阿尔特拉 34份文件引用(1971–2018) 软件作者: W.S.Brown;安德鲁·霍尔 相关软件: 伊斯兰教;减少;gmp… 主要字段: 群论和概括(20-XX);近似和展开(41-XX);数值分析(65-XX)…
分析 33篇文献引用(1993–2022) 软件作者: Bauer,A.、Clarke,E.M.、Zhao 相关软件: 定理;Nuprl;PVS… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);计算机科学(68-XX)…
FracSym公司 33篇文献引用(2014–2023) 软件作者: 杰斐逊,G.F。;J.卡米蒂娜。 相关软件: 德索尔VII;ASP;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
LIEPDE公司 32篇文献引用(1993–2019) 软件作者: 托马斯·沃尔夫 相关软件: 裂纹;ApplySym;SYMMGRP… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
奥德赛 32篇文献引用(1996–2016) 软件作者: 罗斯坦,N.,达尔马斯,S.,加利戈,A 相关软件: ADIFR;TAMC;ADOL-C… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
斯科特 31份文件引用(2016–2023) 软件作者: 马蒂亚斯·伦格;马吉德·扎马尼 相关软件: 佩索阿;科西马;p面… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
符号C++ 31份文件引用(1998–2018) 软件作者: Shi,Tan Kiat;Steeb,Willi-Hans;哈迪,尤里克 相关软件: 马克西玛;枫树;数学… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
凸面.jl 引用于27份文件(2015–2023) 软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件: CVX;CVXPY;朱莉娅… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
PDE安保操作员 引用于29份文件(2005–2021) 软件作者: 鲍德温,D。;Hereman,W。;J.塞耶斯。 相关软件: 疼痛水平测试;枫树;PDE专用解决方案… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
MA48型 26篇文献引用(1995年至2022年) 软件作者: 达夫,I.S。;J.K.里德。 相关软件: HSL;稀疏矩阵;BLAS… 主要字段: 常微分方程(34-XX);数值分析(65-XX);流体力学(76-XX)…
玫瑰色 引用于27份文件(2010年至2022年) 软件作者: 利贝蒂(Leo Liberti);索尼娅·卡菲里;大卫·萨沃里 相关软件: AMPL;CPLEX;FEASPUMP… 主要字段: 交换代数(13-XX);近似和展开(41-XX);统计学(62-XX)…
手指 26篇文献引用(1986–2021) 软件作者: Wang,Paul S。 相关软件: 数学;减少;马西玛… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
SYNAPS公司 24篇文献引用(2002–2009) 软件作者: B.Mourrain、J.P.Pavone、Trebuchet博士、E.Tsigaridas 相关软件: 隔离;na10;奇异… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
冷凝器 22篇文献引用(1997–2023) 软件作者: Ü. 哥克塔斯;W.赫里曼 相关软件: 数学;不变量对称性;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
圣杯 20篇文献引用(1994–2021) 软件作者: 达雷尔·雷蒙德;伍德,德里克 相关软件: 自动化;AMoRE;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
纽尤尔 22篇文献引用(1992–2017) 软件作者: 马库斯·伯克哈特;安德烈亚斯·汉斯洛夫斯基(Andreas Hanselowski);埃伯哈德 相关软件: Matlab;SIMPACK;Simulink… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
数学张量 21篇文献引用(1997–2021) 软件作者: 史蒂文·克里斯滕森(Steven M.Christensen)。 相关软件: ATENSOR公司;数学;卡达布拉… 主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…
福克斯 20篇文献引用(1998年-2023年) 软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬 相关软件: 枫树;SACLIB;FireFly… 主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…
WKP测试 20篇文献引用(2004–2023) 软件作者: 徐国Q.,李子斌。 相关软件: 枫树;PDEP测试;RATH… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
NCSO大便 19份文件引用(2010年至2022年) 软件作者: 克里斯蒂詹·卡富塔;克莱普,伊戈尔;Janez Povh;萨宾·伯格多夫(Sabine Burgdorf)。 相关软件: Matlab;NCAlgebra;SeDuMi… 主要字段: 一般代数系统(08-XX);交换代数(13-XX);代数几何(14-XX)…
吃 18篇文献引用(2001年-2023年) 软件作者: 弗朗西斯·谢尔盖;朱利奥·鲁比奥 相关软件: Kenzo;ACL2;Coq… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);代数拓扑(55-XX)…
CLICAL公司 17篇文献引用(1992–2017) 软件作者: Lounesto,P.、Mikkola,R.、Vierros,V.、。 相关软件: 克利福德;枫树;比格布拉… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
身份查找器 引用于16份文件(2015–2023) 软件作者: Kanade、Shashank;马修·罗素。 相关软件: q系列;RR工具;枫树… 主要字段: 历史与传记(01-XX);组合数学(05-XX);数论(11-XX)…
JAS公司 在15份文件中引用(2008–2023) 软件作者: 海因茨·克雷德尔 相关软件: 单一;AXIOM;复数… 主要字段: 数论(11-XX);交换代数(13-XX);结合环与代数(16-XX)…
极为复杂的 引用于16份文件(2005–2023) 软件作者: 我·贝尔梅乔,我·加西亚·马尔科 相关软件: 单一;cimonom;数字gps… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…
科西马 引用于16份文件(2015–2022) 软件作者: 塞布蒂·穆埃利;安托万·吉拉德;格雷戈·戈斯勒 相关软件: SCOTS;佩索阿;TuLiP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
SCSCP公司 13份文件引用(2008–2017) 软件作者: S.Freundt、P.Horn、A.Konovalov、S.Linton、D.Roozemond 相关软件: 间隙;SageMath;枫树… 主要字段: 代数拓扑(55-XX);计算机科学(68-XX)
ASP公司 13份文件引用(2013–2021) 软件作者: 杰斐逊,G.F。;Carminati,J。 相关软件: 德索尔VII;枫树;FracSym… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…
疼痛水平测试 13份文件引用(2005–2022) 软件作者: 鲍德温,D。;Hereman,W。;J.塞耶斯。 相关软件: PDE安保运营商;WKP测试;数学… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
铆钉 11份文件引用(2020–2024) 软件作者: 迈克尔·莱斯尼克、马修·赖特 相关软件: 裂土器;github;辛巴… 主要字段: 交换代数(13-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
GAVS公司 10篇文献引用(2005–2022) 软件作者: Cheng,Chih-Hong;巴克尔(Christian Buckl);Michael Luttenberger;阿洛伊斯·诺尔 相关软件: 主旨;PRISM-名称;棱镜… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
马洪群岛统计 12份文件引用(2011–2020) 软件作者: 坎菲尔德,E.罗德尼;斯万特·简森;多龙·泽尔伯格 相关软件: 查找统计信息;SageMath;F12345… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
ODE工具 12份文件引用(1997–2021) 软件作者: Cheb-Terrab,E.S。;杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 相关软件: 枫树;PDE工具;交易.ii… 主要字段: 场论与多项式(12-XX);常微分方程(34-XX);偏微分方程(35-XX)…
合理化根 11份文件引用(2020–2023) 软件作者: Marco Besier、Pascal Wasser、Stefan Weinzierl 相关软件: 火灾;雷杜泽;ε… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
纯度过滤 11份文件引用(1997–2022) 软件作者: 阿尔班Quadrat 相关软件: 矿石模块;霍马尔格;奇异… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);几个复变量和分析空间(32-XX)…
RealCertify公司 10篇文献引用(2018–2023) 软件作者: Victor Magron,Mohab Safey El Din 相关软件: TSSOS;塞杜米;Mosek… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
基础知识 8份文件引用(2010年至2022年) 软件作者: 雷吉斯·布朗;托马斯·亨辛格(Thomas A.Henzinger)。;Thibaud Hottelier;劳拉·科瓦奇 相关软件: AProVE;速度;TiML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
格罗布科夫.lib 10篇文献引用(2011–2020) 软件作者: 安东尼奥·蒙特斯(Antonio Montes)、汉斯·斯科尼曼(Hans Schoenemann) 相关软件: 单一;GeoGebra;PLA-PFGLM.mpl… 主要字段: 一般性和全局性主题;藏品(00-XX);交换代数(13-XX);代数几何(14-XX)…
数学方案 9份文件引用(2011–2021) 软件作者: 雅克·卡雷特;Farmer,William M。;罗素·奥康纳 相关软件: Coq;阿格达;HOL灯… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
悉尼 10篇文献引用(1996–2022) 软件作者: 沃罗布埃夫,E.M。 相关软件: diffgrob2;SYMMGRP;数学… 主要字段: 一般性和全局性主题;藏品(00-XX);拓扑群,李群(22-XX);偏微分方程(35-XX)…
保守法MD 9份文件引用(2011年-2023年) 软件作者: L.D.普尔;W.赫里曼 相关软件: PDE安保运营商;疼痛水平测试;数学… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-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)…
赶快走开 9份文件引用(2006–2019) 软件作者: Borwein,J.M.,Hamilton,C.H。 相关软件: 芬切尔;na13;na24… 主要字段: 实函数(26-XX);算子理论(47-XX);数值分析(65-XX)…
CAMAC公司 8份文件引用(1978–2022) 软件作者: 杰弗里·莱昂(Jeffrey S.Leon),维拉·普莱斯(Vera Pless) 相关软件: 减少;伊斯兰教;ALTRAN… 主要字段: 一般性和全局性主题;藏品(00-XX);场论与多项式(12-XX);群论与推广(20-XX)…
埃利亚斯 8份文件引用(1996–2010) 软件作者: 科恩,A.M。;德格拉夫,W.A。 相关软件: 间隙;LiE;岩浆… 主要字段: 结合环与代数(16-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
芬切尔 8份文件引用(2006–2019) 软件作者: Bauschke,Heinz H。;诉马丁·莫伦柴尔德 相关软件: 赶快走开;na13;na24… 主要字段: 实函数(26-XX);算子理论(47-XX);数值分析(65-XX)…
奥尔加.lib 7份文件引用(2017–2023) 软件作者: 约翰·霍夫曼,维克托·列万多夫斯基 相关软件: 单一;复数;JAS… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);偏微分方程(35-XX)…
RBDL公司 7份文件引用(2019–2023) 软件作者: M.L.费利斯 相关软件: github;卡萨迪;木偶… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
机器人 7份文件引用(1993–2020) 软件作者: N.Docquier、A.Poncelet、P.Fisette 相关软件: EasyDyn;Chrono;帕西莫多… 主要字段: 一般性和全局性主题;藏品(00-XX);历史与传记(01-XX);粒子力学与系统(70-XX)…
蜗牛 7份文件引用(2010–2021) 软件作者: Chandra,S.、Fink,S.J.、Sridharan,M。 相关软件: 投掷;z3;STP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿里加托.jl 7份文件引用(2018–2023) 软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);马克西米利安·亚罗斯切克;劳拉·科瓦奇 相关软件: 鳄鱼;SymPy公司;z3… 主要字段: 一般性和全局性主题;藏品(00-XX);交换代数(13-XX);计算机科学(68-XX)
ARGES公司 5份文件引用(2021–2023) 软件作者: Daniel F.Litim、Tom Steudtner 相关软件: 莎拉;峰值电阻@TE;RGBeta… 主要字段: 特殊功能(33-XX);代数拓扑(55-XX);计算机科学(68-XX)…
CONSLAW公司 7份文件引用(2004–2016) 软件作者: 姚若霞;李志斌 相关软件: 枫树;冷凝水;GeM… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
fKenzo公司 7份文件引用(2011–2018) 软件作者: 赫拉斯,J。;帕斯卡尔,V。;Rubio,J。;谢尔盖拉特,F。 相关软件: Kenzo;HAP;间隙… 主要字段: 代数拓扑(55-XX);计算机科学(68-XX)
HBF转换器2 7份文件引用(2009–2018) 软件作者: 杨旭东;阮杭瑜 相关软件: 枫树;双线性化;希罗塔。最大值… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
HEPMath公司 5份文件引用(2017–2021) 软件作者: 马丁·威布什 相关软件: FeynCalc;数学;形式… 主要字段: 复变量函数(30-XX);代数拓扑(55-XX);统计学(62-XX)…
雅各比 7份文件引用(2009–2015) 软件作者: Yong、Xuelin;曾欣;张志勇;陈玉福 相关软件: DDESpecialSolutions;枫树;PDE专用解决方案… 主要字段: 特殊功能(33-XX);常微分方程(34-XX);偏微分方程(35-XX)…
兰姆达 7份文件引用(2011年-2023年) 软件作者: 乔尔·埃克斯特兰德 相关软件: 数学;DLMF;MasterPVAmulti… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);计算机科学(68-XX)…
NeurASP公司 7份文件引用(2020–2023) 软件作者: 准扬;Adam Ishay;李佐雄 相关软件: DeepProbLog;CLEVR数据集;CLEVR… 主要字段: 计算机科学(68-XX)
p面 7份文件引用(2019–2022) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: SCOTS;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
圣乔治 7份文件引用(2018–2023) 软件作者: 贾诺什·维达利 相关软件: SageMath;数学;GLPK… 主要字段: 组合数学(05-XX);数论(11-XX);结合环与代数(16-XX)…
苏西数学 7份文件引用(2006–2023) 软件作者: A.F.法拉利。 相关软件: FeynArts;FormCalc;FeynCalc… 主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…
X速度 6篇文献引用(2017–2022) 软件作者: 雷,Rajarshi;阿米特·古龙 相关软件: SpaceEx;JuliaReach;流量*… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
ADMP公司 6篇文献引用(2013–2019) 软件作者: 林,叶芝;刘银平;李志斌 相关软件: 枫树;ADMP;DFOC… 主要字段: 实函数(26-XX);常微分方程(34-XX);偏微分方程(35-XX)…
CLUE公司 5份文件引用(2021–2024) 软件作者: Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件: 侵蚀;尼莫;微分方程.jl… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);计算机科学(68-XX)…
EDS公司 6篇文献引用(1997–2010) 软件作者: D.哈特利 相关软件: 减少;MuPAD;奇异… 主要字段: 交换代数(13-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…
GLie公司 6篇文献引用(1992-2006) 软件作者: M.A.Ayari和V.Hussin 相关软件: SYMMGRP公司。最大值;枫树 主要字段: 一般性和全局性主题;藏品(00-XX);历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX)…
IRIT公司 5份文件引用(2004年至2021年) 软件作者: G.Elber,以色列海法Technion计算机科学系 相关软件: VTK;犰狳;CMake… 主要字段: 偏微分方程(35-XX);凸和离散几何(52-XX);数值分析(65-XX)…
林MapTS 6篇文献引用(2016–2022) 软件作者: 阿尔维斯,P.R.L。;杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 相关软件: 时间;枫树;TISEAN… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…
钠25 6篇文献引用(2006–2018) 软件作者: 达里奥·比尼(Dario A.Bini)。;安娜·马可 相关软件: mctoolbox;rootsb;MultRoot… 主要字段: 交换代数(13-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
QCD-PEGASUS公司 5份文件引用(2010–2018) 软件作者: A.沃格特 相关软件: 霍普特;QCDNUM16;APFEL… 主要字段: 积分变换,运算微积分(44-XX);量子理论(81-XX)
SENAC公司 6篇文献引用(1991–2008) 软件作者: Kevin A.Broughan。 相关软件: Uppaal;克罗诺斯;马西玛… 主要字段: 特殊功能(33-XX);近似和展开(41-XX);数值分析(65-XX)…
SInt公司 6篇文献引用(2013–2021) 软件作者: 安娜·康西奥。;维克托·G·克拉夫琴科。;何塞·佩雷拉。 相关软件: 数学;A规格成对标尺;A规格配对矩阵… 主要字段: 复变量函数(30-XX);近似和展开(41-XX);积分方程(45-XX)…
双线性化 5份文件引用(2006–2017) 软件作者: 周振江;傅敬之;李志斌 相关软件: 枫树;希罗塔。最大值;HBFTrans2… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)
BranchCuts(分支切割) 5份文件引用(2013–2019) 软件作者: 英格兰,马修;拉塞尔·布拉德福德(Russell Bradford);詹姆斯·达文波特。;大卫·威尔逊 相关软件: 枫树;梅蒂塔斯基;QEPCAD… 主要字段: 代数几何(14-XX);计算机科学(68-XX)