Wolf，托马斯;埃伯哈德·施吕费尔;肯尼思·韦伯斯特 在可积非交换Laurent常微分方程背景下求解大型线性代数系统。 （英语） Zbl 1256.65074号 程序。计算。柔和。 38，第2期，73-83（2012）.MSC公司：65升05 34A34飞机 65层20 65英尺50英寸 65平方英尺 68瓦30 65日元 PDF格式BibTeX公司 XML格式引用 \textit{T.Wolf}等人，《程序》。计算。柔和。38，第2号，73-83（2012年；兹bl 1256.65074） 全文： 内政部 arXiv公司
Wolf，托马斯 四种计算守恒定律的方法的比较。 （英语） Zbl 1002.35008号 Eur.J.应用。数学。 13，第2期，129-152（2002）. 审核人：沃纳·M·塞勒（曼海姆） MSC公司：35A30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛T.Wolf｝，欧洲应用杂志。数学。13，第2号，129--152（2002；Zbl 1002.35008） 全文： 内政部
北卡罗来纳州契卡诺夫。;Rostovtsev，V.A.公司。;Y.乌瓦诺。;S.I.维尼茨基。 GITA（^{-1}）：Birkhoff-Gustavson范式展开反问题的符号计算程序。 （英语） Zbl 0960.65136号 计算。物理学。Commun公司。 126，编号1-2，47-50（2000）.MSC公司：65页第10页 2015年11月37日 81兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Chekanov}等人，计算。物理学。Commun公司。126，编号1--2，47-50（2000；Zbl 0960.65136） 全文： 内政部
L.M.伯科维奇。;弗罗洛夫，I.S。 使用语言REDUCE和图形包GNUPLOT表示二阶线性微分方程的解。 （俄语。英文摘要） Zbl 0978.65055号 维斯特。萨马尔。戈斯。麻省理工大学。菲兹。科姆。生物。 1997年，第2（4）号，109-114（1997）.MSC公司：65升05 68单位05 34A30型 65日元 34-04 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Berkovich}和\textit{I.S.Frolov}，Vestn。萨马尔。戈斯。麻省理工大学。菲兹。科姆。生物.1997，第2（4）号，109--114（1997；Zbl 0978.65055）
H.卡普拉斯。 BRST电荷和泊松代数。 （英语） Zbl 0940.81039号 离散数学。西奥。计算。科学。 第1期，第2期，第115-127页（1997年）. 审核人：O.Ninnemann（柏林） MSC公司：81T70型 81-08 17B63型 81T13型 17-08 PDF格式BibTeX公司 XML格式引用 \textit{H.Caprasse}，离散数学。西奥。计算。科学。1，No.2，115--127（1997；Zbl 0940.81039） 全文： 欧洲DML EMIS公司
V.A.伊林。;Kryukov，A.P。 ATENSOR–REDUCE程序用于张量简化。 （英语） Zbl 0921.65035号 计算。物理学。Commun公司。 96，第1期，36-52（1996）.MSC公司：65楼30 65日元 15A72号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Ilyin}和\textit{A.P.Kryukov}，计算。物理学。Commun公司。96，第1号，36-52（1996；Zbl 0921.65035） 全文： 内政部 arXiv公司
Basios，V。;北卡罗来纳州契卡诺夫。;马尔科夫斯基，B.L。;Rostovtsev，V.A.公司。;S.I.维尼茨基。 GITA：多项式哈密顿量归一化的REDUCE程序。 （英语） Zbl 0888.65083号 计算。物理学。Commun公司。 90，编号2-3，355-368（1995）.MSC公司：65升05 37J99型 65日元 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Basios}等人，《计算》。物理学。Commun公司。90，编号2--3，355--368（1995；Zbl 0888.65083） 全文： 内政部
罗宾·斯图亚特。 费曼图到标量积分的代数化简：A数学软件LERG-I的实施。 （英语） Zbl 0873.65013号 计算。物理学。Commun公司。 85，编号2-3，267-274（1995）.MSC公司：65天32分 65日元 68瓦30 80年第30季度 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Stuart}，计算。物理学。Commun公司。85，第2-3267-274号（1995年；Zbl 0873.65013） 全文： 内政部 arXiv公司
舍甫琴科，伊万·I。;安德烈·索科尔斯基。 利用计算机代数对哈密顿系统进行归一化的算法。 （英语） Zbl 0854.65060号 计算。物理学。Commun公司。 77，第1-3、11-18号（1993年）.MSC公司：65升05 68瓦30 65日元 37J99型 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Shevchenko}和\textit{A.G.Sokolsky}，计算。物理学。Commun公司。77，编号1--3，11--18（1993；Zbl 0854.65060） 全文： 内政部
卡鲁日阿、马蒂亚季 Birkhoff-Gustavson标准形自由度程序–Birkhoff 1.2。 （英语） Zbl 0854.65061号 计算。物理学。Commun公司。 74，编号2-3，441-449（1993）.MSC公司：65升05 34-04 37D45号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Kaluža｝，计算机。物理学。Commun公司。74，编号2--3，441--449（1993；Zbl 0854.65061） 全文： 内政部
A.穆西奥。 CONVODE：用于求解微分方程的REDUCE软件包。 （英语） Zbl 0798.65080号 J.计算。申请。数学。 48，编号1-2，157-165（1993）. 审核人：M.普鲁姆（克劳塞尔·泽勒菲尔德） MSC公司：65升05 68瓦30 34A34飞机 34-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Moussiaux}，J.计算。申请。数学。48，编号1--2，157--165（1993；Zbl 0798.65080） 全文： 内政部
艾萨克·埃利沙科夫;巴鲁克·普莱特纳 用计算机代数分析屈曲。 （英语） Zbl 0743.73033号 计算。方法应用。机械。工程师。 88，第3期，299-309（1991年）.MSC公司：74S30型 74G60型 74-04 68瓦30 74K10型 PDF格式BibTeX公司 XML格式引用 \textit{I.Elishakoff}和\textit{B.Pletner}，计算。方法应用。机械。Eng.88，编号3，299-309（1991年；Zbl 074373033） 全文： 内政部
大卫·哈珀 向量33：正交曲线坐标系中向量代数和微积分的REDUCE程序。 （英语） Zbl 0798.65024号 计算。物理学。Commun公司。 54，编号2-3295-305（1989）.MSC公司：65D25个 65楼30 68瓦30 26号B12 26-04 PDF格式BibTeX公司 XML格式引用 \textit{D.Harper}，计算。物理学。Commun公司。54，编号2--3，295--305（1989；Zbl 0798.65024） 全文： 内政部
B.奥廷。;J.本特森。 加速器轨道理论中积分的符号评估。 （英语） Zbl 0662.65075号 J.塞姆。计算。 7，第2期，183-187（1989）. 审核人：S.Hitotumatu公司 MSC公司：65升05 65天32分 68瓦30 70K40美元 PDF格式BibTeX公司 XML格式引用 \textit{B.Autin}和\textit{J.Bengtsson}，J.Symb。计算。7，第2号，183--187（1989；Zbl 0662.65075） 全文： 内政部
沙尔夫，R。 经典动力学和量子踢球动力学的坎贝尔-贝克-豪斯多夫展开。 （英语） Zbl 0692.58014号 《物理学杂志》。A类 2007-2021年第9期第21页（1988年）.MSC公司：37J99型 1999年第81季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Scharf}，J.Phys（物理杂志）。A、 数学。第21号，第9号，2007-2021（1988年；兹bl 0692.58014） 全文： 内政部 链接
佐尔坦佩雷斯 具有共形平坦三个空间的固定真空场。二： 轴对称性证明。 （英语） Zbl 0589.53069号 Gen.Relative公司。引力 18, 511-530 (1986). 审核人：B.黄曲霉 MSC公司：53亿B50 83C20美元 83-04 PDF格式BibTeX公司 XML格式引用 \textit{Z.Perjés}，Gen.Relative。引力18，511--530（1986；Zbl 0589.53069） 全文： 内政部
Schrüfer，E。 REDUCE中外部演算的实现：状态报告。 （英语） Zbl 0554.58004号 SIGSAM牛市。 16，No.4，27-31（1982）.MSC公司：58-04 58甲15 53-04 PDF格式BibTeX公司 XML格式引用 \textit{E.Schrüfer}，SIGSAM公牛。16、第4、27--31号（1982；Zbl 0554.58004） 全文： 内政部
约翰·V·古塔格。;埃利斯·霍洛维茨;大卫·穆瑟。 抽象数据类型和软件验证。 （英语） Zbl 0387.68012号 Commun公司。ACM公司 21, 1048-1064 (1978).MSC公司：68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Guttag}等人，Commun。ACM 21，1048--1064（1978；Zbl 0387.68012） 全文： 内政部