林恩·皮克林;德尔·里奥·阿尔马亚诺,特雷索;英格兰,马修;科恩、凯利 符号计算的可解释AI见解:柱面代数分解变量顺序选择案例研究。 (英语) Zbl 07799836号 J.塞姆。计算。 123,文章ID 102276,第24页(2024).MSC公司:68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pickering}等人,J.Symb。计算。123,文章ID 102276,24 p.(2024;Zbl 07799836) 全文: DOI程序 arXiv公司
何塞·卡诺;塞巴斯蒂安·法肯斯坦纳;丹尼尔·罗伯茨;森德拉·J·拉斐尔 多变量一维自治代数常微分方程组的代数解和Puiseux级数解。 (英语) Zbl 1502.34017号 J.塞姆。计算。 114, 1-17 (2023).MSC公司:34A25型 68瓦30 34A09号 34C20美元 PDF格式BibTeX公司 XML格式引用 \textit{J.Cano}等人,J.Symb。计算。114,1-17(2023;Zbl 1502.34017) 全文: DOI程序 arXiv公司
马可·贝西尔;费斯蒂、迪诺 平方根的合理性。 (英语) Zbl 1465.81075号 J.塞姆。计算。 106, 48-67 (2021).MSC公司:81V35型 80年第30季度 11克55 2008年10月14日 PDF格式BibTeX公司 XML格式引用 \textit{M.Besier}和\textit{D.Festi},J.Symb。计算。106、48-67(2021年;Zbl 1465.81075) 全文: DOI程序 arXiv公司
刘江;倪,冯 索引微分归一化的距离不变方法。 (英语) Zbl 1496.13041号 J.塞姆。计算。 104, 256-275 (2021). 审核人:亚历山大·莱文(华盛顿) MSC公司:13N15号 53页A55 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和textit{F.Ni},J.Symb。计算。104、256-275(2021年;Zbl 1496.13041) 全文: DOI程序
徐策;王卫平 通过多个zeta值的欧拉和的显式公式。 (英语) Zbl 1459.11173号 J.塞姆。计算。 101, 109-127 (2020).MSC公司:11立方米 11B83号 40平方英寸25 PDF格式BibTeX公司 XML格式引用 \textit{C.Xu}和\textit{W.Wang},J.Symb。计算。101109-127(2020年;Zbl 1459.11173) 全文: DOI程序 arXiv公司
德米特里·A·利亚霍夫。;弗拉基米尔·格特。;多米尼克·L·米歇尔斯。 关于非线性常微分方程的算法线性化能力。 (英语) Zbl 1454.34063号 J.塞姆。计算。 98, 3-22 (2020).MSC公司:34C20美元 34立方厘米 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Lyakhov}等人,J.Symb。计算。98、3-22(2020年;Zbl 1454.34063) 全文: DOI程序 链接
卡斯滕·施耐德 求和理论。二: (R{\Pi}{\Sigma}^{\ast}\)扩展和算法方面的特征。 (英语) Zbl 1403.12002号 J.塞姆。计算。 80,第3部分,616-664(2017).MSC公司:12个H10 68瓦30 PDF格式BibTeX公司 XML格式引用 \发短信{C.Schneider},J.Symb。计算。80,第3部分,616--664(2017;Zbl 1403.12002) 全文: DOI程序 arXiv公司
别克,V.C。;杜尚,G.H.E。;明,V.Hoang Ngoc 多齐塔的结构和shuffle和stuffle代数超越基的显式表示。 (英语) Zbl 1371.16042号 J.塞姆。计算。 83, 93-111 (2017).MSC公司:16层30 68瓦30 11立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.C.Bui}等人,J.Symb。计算。83、93——111(2017年;Zbl 1371.16042) 全文: DOI程序 arXiv公司
陈天然;达加斯·梅塔 二项式系统的并行度计算。 (英语) Zbl 1357.65063号 J.塞姆。计算。 79,第3部分,535-558(2017).MSC公司:65H20个 第13页,共15页 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}和\textit{D.Mehta},J.Symb。计算。79,第3部分,535--558(2017;Zbl 1357.65063) 全文: DOI程序
伊恩·G·利斯。;黄,S.-L.特蕾西 测谎系统的算法演算。 (英语) Zbl 1361.35012号 J.塞姆。计算。 79,第2部分,482-498(2017).MSC公司:35A30型 17B05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.G.Lisle}和\textit{S.L.T.Huang},J.Symb。计算。79,第2部分,482--498(2017;Zbl 1361.35012) 全文: DOI程序
约翰内斯·布卢姆林;塞巴斯蒂安·克莱恩;卡斯滕·施耐德;弗拉维亚州斯坦 费曼积分的符号求和方法。 (英语) Zbl 1242.81005号 J.塞姆。计算。 47,第10期,1267-1289(2012).MSC公司:80年第30季度 33C90型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Blümlein}等人,J.Symb。计算。47,第10号,1267--1289(2012;Zbl 1242.81005) 全文: DOI程序 arXiv公司
道格拉斯普尔;赫里曼,威利 多维非线性偏微分方程守恒定律的符号计算。 (英语) Zbl 1234.35071号 J.塞姆。计算。 46,第12期,1355-1377(2011).MSC公司:35G20个 68瓦30 37K10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole}和\textit{W.Hereman},J.Symb。计算。46,第12号,1355--1377(2011;Zbl 1234.35071) 全文: DOI程序 arXiv公司
尼科莱塔,拜尔 关于求任意函数微分方程广义等价变换的一种新方法。 (英语) Zbl 1218.34003号 J.塞姆。计算。 46,第6号,659-671(2011). 审核人:Oleg V.Makeev(乌里扬诺夫斯克) MSC公司:34-04 34A25型 34A55型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Bl},J.Symb。计算。46,第6号,659--671(2011;Zbl 1218.34003) 全文: DOI程序
劳夫·德里迪;米歇尔·佩蒂托 常微分方程的新分类技术。 (英语) 兹比尔1177.34001 J.塞姆。计算。 44,第7期,836-851(2009). 审核人:Gheorghe Tigan(蒂米索拉) MSC公司:34-04 34A25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dridi}和\textit{M.Petitot},J.Symb。计算。44,编号7836--851(2009;Zbl 1177.34001) 全文: DOI程序 arXiv公司 链接
格雷格·里德;志、李红 通过符号数字化简到几何对合形式来求解多项式系统。 (英语) Zbl 1177.13065号 J.塞姆。计算。 44,第3期,280-291(2009). 审核人:大卫·塞维利亚(林茨) MSC公司:第13页第10页 68瓦30 2015财年65 PDF格式BibTeX公司 XML格式引用 \textit{G.Reid}和\textit{L.Zhi},J.Symb。计算。44,第3号,280--291(2009;Zbl 1177.13065) 全文: DOI程序
卡斯滕·施耐德 符号求和的精细差分场理论。 (英语) Zbl 1147.33006号 J.塞姆。计算。 43,第9号,611-644(2008). 审核人:汉斯·本克(梅塞堡) MSC公司:33英尺10英寸 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Schneider},J.Symb(J.塞姆)。计算。43,第9号,611--644(2008;Zbl 1147.33006) 全文: DOI程序 arXiv公司
尼科莱塔·拜勒;季策·尼森 关于寻找非经典对称性的一种新方法。 (英语) Zbl 1130.58020号 J.塞姆。计算。 38,第6期,1523-1533(2004).MSC公司:58J70型 35A30型 70G65型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Bl}和textit{J.Niesen},J.Symb。计算。38,第6号,1523-1533(2005;Zbl 1130.58020) 全文: DOI程序
D.鲍德温。;哥克塔什,犹他州。;Hereman,W。;L·洪。;马蒂诺,R.S。;J.C.米勒。 非线性偏微分方程双曲函数和椭圆函数精确解的符号计算。 (英语) Zbl 1137.35324号 J.塞姆。计算。 37,第6号,669-705(2004).MSC公司:35C05型 35-04年 35克20分 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Baldwin}等人,J.Symb。计算。37,编号669-705(2004年;Zbl 1137.35324) 全文: DOI程序 arXiv公司
安帕罗·吉尔;哈维尔·塞古拉 一种用于计算正交多项式和特殊函数零点的符号和数值组合算法。 (英语) Zbl 1024.65039号 J.塞姆。计算。 35,第5期,465-485(2003).MSC公司:65小时05 33层10 65D20个 33立方厘米 33F05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Gil}和\textit{J.Segura},J.Symb。计算。35,第5号,465--485(2003;Zbl 1024.65039) 全文: DOI程序
克里斯蒂安·鲍尔;亚历山大·弗林克;理查德·克雷克尔 介绍在(text{C}^{++})编程语言中进行符号计算的GiNaC框架。 (英语) Zbl 1017.68163号 J.塞姆。计算。 33,第1期,第1-12页(2002年).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bauer}等人,J.Symb。计算。33,编号1,1-12(2002年;Zbl 1017.68163) 全文: DOI程序
伊芙琳·休伯特 微分代数中的无因式分解算法。 (英语) Zbl 0984.12004号 J.塞姆。计算。 29,No.4-5,641-662(2000). 审核人:兹比格尼乌·哈伊托(巴塞罗那) MSC公司:2005年12月 2005年12月 68瓦30 13N10型 PDF格式BibTeX公司 XML格式引用 \textit{E.Hubert},J.Symb。计算。29,编号4--5,641--662(2000;Zbl 0984.12004) 全文: DOI程序 链接
约翰·卡米娜;武凯(Vu,Khai) 符号计算和微分方程:李对称。 (英语) Zbl 0958.68543号 J.塞姆。计算。 29,第1期,95-116(2000).MSC公司:68瓦30 58J99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Carminati}和\textit{K.Vu},J.Symb。计算。29,第1号,95--116(2000;Zbl 0958.68543) 全文: DOI程序
切布·特拉布,E.S。;罗氏公司。 二阶常微分方程的积分因子。 (英语) Zbl 0936.65082号 J.塞姆。计算。 27,第5期,501-519(1999). 审核人:K.Najzar(普拉哈) MSC公司:65升05 34A34飞机 34A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Cheb-Terrab}和\textit{A.D.Roche},J.Symb。计算。27,第5号,501--519(1999;Zbl 0936.65082) 全文: DOI程序 arXiv公司
约翰·卡米娜;约翰·S·德维特。;Greg J.费。 使用代数计算的微分方程的同构群。 (英语) Zbl 0796.35001号 J.塞姆。计算。 14,第1期,103-120(1992).MSC公司:35-04 68瓦30 35A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Carminati}等人,J.Symb。计算。14,编号1,103--120(1992;Zbl 0796.35001) 全文: DOI程序 链接
萨雷特,W。;Vanden Bonne,J。 研究二阶微分方程伴随对称性的REDUCE程序。 (英语) 兹比尔0752.68047 J.赛姆布。计算。 13,第6号,683-693(1992).MSC公司:68瓦30 34C20美元 PDF格式BibTeX公司 XML格式引用 \textit{W.Sarlet}和\textit{J.Vanden Bonne},J.Symb。计算。13,第6号,683--693(1992;Zbl 0752.68047) 全文: DOI程序
H.M.M.特恩·艾克尔德。;威尔蒙特,J.C.F。 一类公式的范式。 (英语) Zbl 0767.68070号 J.塞姆。计算。 12,第2期,143-160(1991).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.M.M.Ten Eikelder}和textit{J.C.F.Wilmont},J.Symb。计算。12,第2号,143--160(1991;Zbl 0767.68070) 全文: DOI程序
W.I.福希奇。;V.V.科尼亚克。 确定微分方程的Lie和Lie-Bäcklund对称性的计算机代数应用。 (英语) Zbl 0691.35004号 J.塞姆。计算。 7,第6号,611-619(1989).MSC公司:35A30型 68瓦30 58J72型 PDF格式BibTeX公司 XML格式引用 \textit{W.I.Fuschich}和\textit{V.V.Kornyak},J.Symb。计算。第7号,第6611-619页(1989年;Zbl 0691.35004) 全文: DOI程序