托马斯·沃尔夫;埃伯哈德·施吕费尔;肯尼思·韦伯斯特 在可积非交换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公司
托马斯·沃尔夫 四种计算守恒定律的方法的比较。 (英语) Zbl 1002.35008号 Eur.J.应用。数学。 13,第2期,129-152(2002). 审核人:沃纳·M·塞勒(曼海姆) MSC公司:35年30日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Wolf},欧洲应用杂志。数学。13,第2号,129--152(2002;Zbl 1002.35008) 全文: 内政部
安尼奇尼,奥罗雷;艾哈迈德·博阿贾尼;米哈埃拉·西希雷亚努 TREX:复杂系统可达性分析工具。 (英语) Zbl 0991.68645号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。2102, 368-372 (2001).MSC公司:68单位99 60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Annichini}等人,Lect。注释计算。科学。2102368-372(2001年;兹bl 0991.68645) 全文: 链接
北卡罗来纳州契卡诺夫。;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) 全文: 内政部
伊戈尔·波洛斯科夫(Igor E.Poloskov)。 复合程序包和非线性随机波动分析。 (英语) Zbl 0917.65128号 奥利弗·格洛尔(编辑),《1998年符号和代数计算国际研讨会论文集》,ISSAC’98,德国罗斯托克,1998年8月13日至15日。纽约州纽约市:ACM出版社。70-75 (1998).MSC公司:65C99个 60 H10型 34F05型 65升05 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Poloskov},载:1998年符号和代数计算国际研讨会论文集,ISSAC'98,德国罗斯托克,1998年8月13-15日。纽约州纽约市:ACM出版社。70-75(1998年;Zbl 0917.65128)
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,美联社。 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) 全文: 内政部
F.C.伯杰。;高盛,V.V。;van Heerwaarden,M.C.(医学博士)。;van Hulzen,J.A。 雅各布和黑森优化数字代码的自动生成。(经过讨论)。 (英语) Zbl 0755.65023号 高级科学问题解决的编程环境。IFIP TC2/WG2.5工作会议,德国卡尔斯鲁厄,1991,309-319(1992)。MSC公司:65D25个 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.C.Berger}等人,在:用于高级科学问题解决的编程环境中。IFIP TC2/WG2.5工作会议记录,德国卡尔斯鲁厄,1991年9月23日至27日。阿姆斯特丹等地:荷兰北部。309--319(1992年;Zbl 0755.65023)
艾萨克·埃利沙科夫;巴鲁克·普莱特纳 用计算机代数分析屈曲。 (英语) 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) 全文: 内政部
巴博特,J.P。;北卡罗来纳州潘塔洛斯。 奇异摄动非线性系统的符号演算。 (英语) Zbl 0793.93062号 Jacob,Gérard(编辑)等人,《控制中的代数计算》。第一届欧洲会议记录,1991年3月13日至15日,法国巴黎。柏林:Springer-Verlag。莱克特。票据控制信息科学。第165、40-49页(1991年)。MSC公司:93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Barbot}和\textit{N.Pantalos},莱克特。票据控制信息科学。165、40-49(1991年;Zbl 0793.93062)
中川,Shigekazu;尼基、内托 几个量系对称多项式基的变化及其在多元统计分布理论中的应用。 (英语) Zbl 0721.62052号 计算统计学的理论与应用,Proc。第一次研讨会,日本福冈。1991, 166-182 (1991).MSC公司:62H10型 62E20型 65C99个 PDF格式BibTeX公司 XML格式
约瑟夫·泰晤士河 合成微积分数学程序综合的范例。 (英语) Zbl 0782.68082号 算法的自动微分,Proc。第一届SIAM研讨会,贝克里奇/科罗拉多州(美国),1991年,263-272(1991年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.泰晤士河},in:算法的自动微分。理论、实施和应用。1991年1月6日至8日在美国科罗拉多州贝克里奇举行的第一届SIAM研讨会会议记录。宾夕法尼亚州费城:SIAM。263--272(1991年;Zbl 0782.68082)
Levan R.苏古拉泽。;马克·塞缪尔。 高能物理中的代数微扰计算。方法、算法、计算机程序和物理应用。 (英语) Zbl 0925.58084号 Stephen M.Watt(编辑),ISSAC’91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约州纽约市:ACM出版社,439-447(1991)。MSC公司:37N99型 37J40型 58Z05个 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Surguladze}和textit{M.A.Samuel},收录于:ISSAC'91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约州纽约市:ACM出版社。439--447(1991年;Zbl 0925.58084)
莫伦坎普,J.H.J。;高盛,V.V。;van Hulzen,J.A。 一种改进的自动误差累积控制方法。 (英语) Zbl 0919.65032号 Stephen M.Watt(编辑),ISSAC’91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约,纽约:美国计算机学会出版社,414-418(1991)。MSC公司:65克50 68瓦30 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{J.H.J.Molenkamp}等人,收录于:ISSAC’91。1991年符号和代数计算国际研讨会论文集。德国波恩,1991年7月15日至17日。纽约州纽约市:ACM出版社。414--418(1991年;Zbl 0919.65032)
克里莫夫,D.M。 力学中的计算机代数。 (英语) Zbl 0788.70001号 Ishlinskij,A.Yu。(编辑)等人,《一般力学和应用力学》。Transl.公司。来自俄罗斯。纽约:半球出版公司机械工程与应用力学。1, 163-178 (1990). 审核人:E.V.Nicolau(布库雷什蒂) MSC公司:70-08 68瓦30 34B30码 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Klimov},in:一般和应用力学。俄语翻译。纽约:半球出版公司.163--178(1990;Zbl 0788.70001)
大卫·哈珀 向量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) 全文: 内政部 链接
乌尔里奇·巴克哈克 Ein neues Verfahren zur numerischen Behandlung von reditierten Anfangswertproblemen公司。(一种数值处理延迟初值问题的新方法)。 (德语) Zbl 0644.65048号 棒球手套。数学。塞明。Gießen 187,117 p.(1988)。 审核人:美国黑客 MSC公司:65升05 65L20英寸 34K05号 2005年第65季度 PDF格式BibTeX公司 XML格式
Brackx,F。;R·德朗赫。;范·哈姆,J。 常系数微分算子椭圆系统的广义逆及其显式计算的相关REDUCE程序。 (英语) Zbl 0651.35027号 几何学和物理学,Proc。冬季附表。,斯里兰卡/捷克。1987年补遗。循环。马特·巴勒莫,II。序列号。第16、21-28页(1987年)。 审核人:D.Przeworska-Rolewicz公司 MSC公司:35J30型 65Z05个 15A09号 47A05型 PDF格式BibTeX公司 XML格式 全文: 欧洲DML
佐尔坦佩雷斯 具有共形平坦三个空间的固定真空场。二: 轴对称性证明。 (英语) 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) 全文: 内政部
约翰·惠誉;亚瑟·诺曼;玛丽·安·摩尔 一类弱非线性微分方程周期解的自动推导。 (英语) Zbl 0486.68024号 符号和代数计算。ACM交响乐团。,雪鸟/犹他州1981,239-244(1981)。MSC公司:68瓦30 68T20型 34E10型 PDF格式BibTeX公司 XML格式
约翰·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) 全文: 内政部