歌手Michael F。 微分方程的形式解。 （英语） Zbl 0727.12011号 J.塞姆。计算。 10，第1号，59-94（1990）. 作者综述了微分方程理论的最新结果。综述一般是从微分代数的观点出发，主要与伽罗瓦理论的第一个问题有关。它包括求幂级数解的方法、渐近方法等。还讨论了计算机代数系统的方法，如MACSYMA。作者提出了一些开放性问题，并提供了大量参考。审核人：N.V.Grigorenko（基辅） 引用于2评论引用于12文件 MSC公司： 2005年12月 微分代数 34A05型 显式解，常微分方程的第一积分 68瓦30 符号计算和代数计算 34E05型 常微分方程解的渐近展开 34-02 关于常微分方程的研究综述（专著、调查文章） 12-02 与场论相关的研究综述（专著、调查文章） 关键词：调查;微分代数;伽罗瓦理论的第一个问题;电力系列解决方案;渐近方法;计算机代数系统;马克西马 软件：马克西马;减少;枫树;手指;阿尔卡霍斯特三世;SPDE公司;留置权0;DEtools公司;NEWEUL公司 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Singer}，J.Symb。计算。10，第1号，59-94（1990年；兹bl 0727.12011） 全文： 内政部 参考文献： [1] Adjamagbo，K.，Surľeffectivete du lemme du vecteur cyclical，C.R.学院。科学。巴黎，t.306（1988）·Zbl 0649.12015号 [2] Almkvist，G.公司。；Zeilberger，D.，积分符号下的微分方法（1989），德雷塞尔大学预印本，1989 [3] Avgoustis，Y.，特殊函数的符号拉普拉斯变换（1979年MACSYMA用户会议论文集（1979）） [4] Baddoura，J.，《有限项积分与双对数简化：进展报告》（Kaltoffen，E.；Watt，S.M.，《计算机与数学》（1989），Springer-Verlag:Springer-Verlag New York）·Zbl 0688.12016号 [5] Baldassarri，F.，《关于代数曲线上具有代数解的二阶线性微分方程》，美国数学杂志。，102，第3期（1980年）·Zbl 0438.34007号 [6] 巴尔达萨里，F。；德沃克，B.，《关于具有代数解的二阶线性微分方程》，美国数学杂志。，101 (1979) ·Zbl 0425.34007号 [7] Barkatou，M.A.，《关于差分方程线性系统的简化》，（《ACM-SIGSAM 1989 ISSAC会议录》，《ACM-SIGSAM 1989年ISSAC会录》，ACM（1989））·Zbl 0746.39001号 [8] Belinfante，J。；Kolman，B.，（李群和李代数及其应用和计算方法（1972），SIAM:SIAM Philadelphia），SIAM，Philadelia，1972·Zbl 0214.28702号 [9] Bellman，R.，（微分方程稳定性理论（1969），多佛出版社）·Zbl 0208.17502号 [10] Berkovich，L.M。；Gerdt，V.P。；科斯塔瓦，Z.T。；Nechaevsky，M.L.，二阶可约线性微分方程（1989），苏联杜布纳核研究联合研究所预印本 [11] Bertrand，D.，《结构有效性》（Constructions effectives de vecteurs cyclique pour un（D\）-module），Publ。《分析乌里拉米特里克群》（1984/1985），安妮·Zbl 0592.13020号 [12] 贝克斯，F。；布隆纳威尔，W.D。；Heckman，G.，Siegel正态性，数学年鉴。，127 (1988) ·Zbl 0652.10027号 [13] Beukers，F。；Heckman，G.，超几何函数的单值性\（_n｝F_｛n−1｝（1987）\），乌得勒支大学，预印本至483 [14] Beyer，W.A.，一阶常微分方程符号积分的李群理论（1919年MACSYMA用户会议论文集（1979））·Zbl 0148.23704号 [15] Bieberbach，L.，（Theorye der gewoenlichen Differentialgleichungen auf funktitionen theoretischen Grundlage dargestellt（1935），施普林格出版社：柏林施普林格） [16] Bluman，G.W。；Cole，J.D.（微分方程的相似方法，应用数学科学，13（1974），施普林格出版社）·Zbl 0292.35001号 [17] Bogen，R.A.，积分方程求解程序，（1977年Macsyma用户会议，NASA会议记录，CP-2012（1977）） [18] Boshernitzan，M.，哈代“无穷级”类的推广，J.ď分析数学。，39 (1981) ·Zbl 0539.26002号 [19] Boshernitzan，M.，新“无限级”，J.ď分析数学。，41 (1982) ·Zbl 0539.26003号 [20] Boshernitzan，M.，由差分方程生成的“无穷级”，美国数学杂志。，106 (1984) ·Zbl 0602.26002号 [21] Boshernitzan，M.，《离散“无穷阶”》，美国数学杂志。，106 (1984) ·Zbl 0602.26003号 [22] Boshernitzan，M.，Hardy场和跨指数函数的存在性（1985），预印本，莱斯大学·Zbl 0593.26003号 [23] Boshernitzan，M.，Hardy场上的二阶微分方程（1985），预印本 [24] Boshernitzan，M.，《通用公式和通用微分方程》（1985年），预印本 [25] Bourbaki，N.，（Elements de Mathematique（1961），Hermann），Livre IV，Foctionsďune Variable Reelle，（第5章和第6章，特别是第5章附录）·Zbl 0131.05001号 [26] Bronstein，M.，Symb的J.中的超越Risch微分方程。公司。(1988) [27] Bronstein，M.，实初等函数的简化，（AGM-SIGSAM 1989 ISSAC（1989），ACM出版社：纽约ACM出版社） [28] Bronstein，M.，《初等函数的积分》，J.Symb。压缩机。，9/2 (1990) ·Zbl 2006年7月18日 [29] 卡贝，S。；Labahn，G.，计算Pade-Ermite形式的快速可靠算法，（1989年ACM-SIGSAM符号和代数计算国际研讨会论文集（1989），ACM出版社：纽约ACM出版社） [30] Campbell，J.E.，（李氏有限连续变换群理论导论（1966），切尔西出版社。公司：Chelsea Pub。纽约公司）·Zbl 0158.03101号 [31] Chaffy，C.，《如何计算多元Pade逼近》（1986年符号和代数计算研讨会论文集（1986年），ACM出版社：纽约ACM出版社）·兹伯利0662.41017 [32] Char，B.W.，《MAPLE教程介绍》，J.Symb。压缩机。，2/2 (1986) [33] Char，B.，《使用李变换群代数求解一阶常微分方程的算法》（博士论文（1980），加州大学：加州大学伯克利分校） [34] Char，B.，《使用李变换群寻找一阶常微分方程的闭式解》（1981年ACM符号和代数计算研讨会论文集（1981年），ACM出版社：纽约ACM出版社）·兹伯利04866.8022 [35] Chen，G.，Groebner bases in ring of differential operators，（中国科学院系统科学研究所（1989）：中国科学院北京分院），MM Research Preprints 3 [36] Cherry，G.，《有限项与特殊函数的积分：误差函数》，J.Symb。压缩机。，1 (1985) ·Zbl 0586.68030号 [37] Cherry，G.，《带特殊函数的有限项积分：对数积分》，计算机SIAM J.，15/1（1986）·Zbl 2019年12月6日 [38] 丘德诺夫斯基。；Chudnovsky，G.V.，《关于幂级数和puiseux级数中代数函数的展开》，IBM研究报告RC 11365（1985）·Zbl 0561.10016号 [39] Clarkson，M.，MACSYMA的逆拉普拉斯变换，SIGSAM Bulletin，23/1（1989）·Zbl 0696.65089号 [40] 科丁顿，E.A。；Levinson，N.（《常微分方程理论》（1955），McGraw-Hill:McGraw-Hill纽约）·Zbl 0064.33002号 [41] 科恩，J。；Katcoff，J.，有限差分方程的符号解，ACM Trans。数学。软件，3/3（1977）·Zbl 0363.65088号 [42] Cohn，R.M.，（差分代数（1966），《跨科学：跨科学》，纽约） [43] Davenport，J.H.，《关于代数函数的积分》（Springer Leach Notes in Computer Science，102（1981），Springer-Verlag:Springer-Verlag New York）·Zbl 0661.26006号 [44] Davenports，J.H.，（《Formelle国际移民法》，R.R.编号375（1983年），IMAG：格勒诺布尔IMAG） [45] 线性微分方程的刘维尔原理。出现在程序中。Journées方程Différentielles dans les Champs复数。；线性微分方程的刘维尔原理。出现在程序中。Journées方程Différentielles dans les Champs复杂。 [46] Davenport，J.H.，常微分方程的闭式解，（第二届RIKEN计算机符号和代数计算国际研讨会（1985年），世界科学出版社。）·Zbl 0642.65059号 [47] Davenport，J.H.，Risch微分方程问题，SIAM J.Comp。，15/4 (1986) ·兹伯利0632.65091 [48] Davenport，J.H。；Singer，M.F.，线性微分方程的初等和刘维利解，（EUROCAL’85，204（1985），Springer-Verlag），计算机科学讲义·Zbl 0609.12024号 [49] Davenport，J.H。；Singer，M.F.，线性微分方程的初等解和刘维廉解，Symb期刊。压缩机。，2 (1986) ·Zbl 0652.12016号 [50] Davenport，J.H。；Siret，Y。；Tournier，E.（计算机代数（1988），学术出版社：纽约学术出版社）·Zbl 0679.68058号 [51] Della Dora，J。；Dicrecenzo，C.，Pade-Ermite近似值，数值。数学。，42 (1984) ·Zbl 0537.65013号 [52] Della Dora，J。；Dicrecenzo，C。；Duval，D.，关于代数数域中的计算方法，（EUROCAL’85，204（1985），Springer-Verlag:Springer-Verlag纽约），计算机科学讲义 [53] Della Dora，J。；Dicrecenzo，C。；Tournier，E.，在不规则奇点处获得线性齐次微分方程形式解的算法，（计算机代数EUROCAM’82，144（1982），Springer-Verlag），计算机科学讲义·Zbl 0549.34019号 [54] Della Dora，J。；Tournier，E.，奇点邻域中微分方程的形式解，（1981年ACM符号和代数计算研讨会（1981年），ACM出版社：纽约ACM出版社）·Zbl 0482.34012号 [55] Della Dora，J。；Tournier，E.，《解决方案公式微分方程》，IMAG r.r.，第239期（1981年）·Zbl 0482.34012号 [56] Della Dora，J。；Tournier，E.，Les basesďun algorithmĕobtention des solutions formellesગuneéquations differentielles linéaire homone en un point singulier irrégulier，IMAG R.R.，octobre，no.66（1981） [57] 黛拉·多拉，J。；Tournier，E.，齐次线性差分方程（Probenius-Boole方法），（EUROSAM'84（1984），Springer-Verlag），计算机科学讲义·Zbl 0557.39002号 [58] Della Dora，J。；Tournier，E.，《线性差分方程的形式解：Pincherle-Ramis方法》，（1986年符号和代数计算研讨会论文集（1986），ACM出版社：纽约ACM出版社）·Zbl 0482.34012号 [59] Della Dora，J。；Wazner，A.，《微分方程的解》，R.R.第510号，IMAG（1985），fevrier [60] Denef，J。；Lipshitz，L.，代数微分方程的幂级数解，数学。安，267（1984）·2015年5月18日Zbl [61] 杜瓦尔，A.，《双重富裕与高卢瓦群体》，Pub。IRMA，里尔，第18卷，第1期（1989年）·Zbl 0747.12006号 [62] 杜瓦尔，A。；Loday-Richaud，M.，科瓦西奇算法提案，巴黎南大学数学系。（1989），预印本89-12 [63] 杜瓦尔，A。；Mitschi，C.，Matrices de Stokes et groupe de galois deséquations hypergéornétriques confluences generalises，Pac。数学杂志。，135/2 (1988) [64] 爱泼斯坦，H.I.，《初等函数算术的算法》，威斯康星大学麦迪逊分校博士论文（1975年） [65] 埃尔德伊，A(高级先验函数（贝特曼手稿项目），第1卷（1953年），McGraw-Hill:McGraw-Hill纽约）·Zbl 0051.30303号 [66] Fateman，R.，《关于系列解决方案的一些评论》（1977年MACSYMA用户会议记录，NASA会议记录，CP-2012（1977）） [67] 惠誉，J。；诺曼，A。；Moore，M.A.，一类弱非线性微分方程周期解的自动推导，（1981年ACM符号和代数计算研讨会（1981年），ACM出版社：纽约ACM出版社）·Zbl 0486.68024号 [68] 惠誉，J。；诺曼，A。；Moore，M.A.，ALKAHEST III：周期性弱非线性常微分方程的自动分析（1986年符号和代数计算研讨会论文集（1986）） [69] W.I.Fushchich。；Kornyak，V.V.，《确定微分方程Lie和Lie-Backlund对称性的计算机代数应用》，J.Symb。压缩机。，7/6 (1989) ·Zbl 0691.35004号 [70] Galligo，A.，微分算子理想的一些算法问题，（EUROCAL，'85，204（1985），Springer-Verlag:Springer-Verlag纽约），计算机科学讲义·Zbl 0634.16001号 [71] Gardner，R.B.，《微分几何方法与控制理论的接口》（Brockett，R.W.；等，微分几何控制理论（1983），Birkhauser:Birkhauser Boston）·兹伯利0522.49028 [72] Gardner，R.B.，《控制理论应用等效方法讲座》，SIAM-CBMS系列（1989），发表于·Zbl 0694.53027号 [73] Geddes，K.O.，线性常微分方程切比雪夫级数解递归方程的符号计算，（1977年MACSYMA用户会议论文集，NASA会议论文集CP-2012（1977））·Zbl 0401.41019号 [74] Geddes，K.O.，一阶微分方程牛顿迭代的收敛性，（符号和代数计算（EUROSAM’79），72（1979），Springer-Verlag:Springer-Verlag New York），计算机科学讲义·Zbl 0402.65045号 [75] 格迪斯，K.O。；Scott，T.C.，涉及指数和对数的定积分类的配方，（Kaltoffen，E.；Watt，S.M.，《计算机与数学》（1989），Springer-Verlag:Springer-Verlag纽约）·Zbl 0678.68026号 [76] Geddes，K.O。；Stefanus，L.Y.，《关于Risch-Norman方法及其在MAPLE中的实现》，（ACM-SIGSAM 1989 ISSAC的Proc.（1989），ACM出版社：纽约ACM出版社） [77] Gerard，R。；Levet，A.H.M.，不变量mesurantľirrégularitéen un point singulier des systèmesďequations différentielles linéaires，Ann.Inst.Fourier，Grenoble，23/1（1973）·Zbl 0243.35016号 [78] Gerdt，V.P。；Kostov，N.A.，《Halphen型常微分方程理论中的计算机代数》（Kaltoffen，E.；Watt，S.M.，《计算机与数学》（1989），Springer-Verlag:Springer-Verlag New York）·Zbl 0685.68036号 [79] 格利诺斯，N。；桑德斯，B.D.，《求解微分方程的运算微积分技术》（EUROSAM’84，174（1984），斯普林格·弗拉格），计算机科学讲稿·Zbl 0553.44005号 [80] Golden，J.P.，MACSYMA的符号常微分方程求解器（1977年MACSYNA用户会议记录（1977年）） [81] Goldman，L.，《常微分系统多项式系统的积分》，《纯粹与应用代数杂志》。，45/3 (1987) ·Zbl 0631.34002号 [82] Goldman，L.，《（v）阶常微分方程组的积分》，《纯粹和应用代数杂志》。，46/1 (1987) ·2013年6月17日Zbl [83] Gosper，R.W.，《MACSYMA中的不定超几何和》（1977年MACSYNA用户会议论文集，NASA会议论文集、NASA CP-2012（1977）） [84] Gosper，R.W.，《不定超几何求和的判定程序》，Proc。美国国家科学院。科学。，美国，75/1（1978）·Zbl 0384.40001号 [85] Gray，J.，（线性微分方程和群论，从Riemann到Poincaré（1986），Birkhauser:Birkhause Boston）·Zbl 0596.01018号 [86] 格里戈列夫，D.Yu。，微分闭域理论中量词消除的复杂性，（ISSAC’88，358（1989），Springer-Verlag），计算机科学讲义·Zbl 0779.03008号 [87] 格里戈列夫，D.Yu。线性常微分算子的因子分解和GCD计算的复杂性。出现在J.Symb中。公司。；格里戈列夫，D.Yu。线性常微分算子的因子分解和计算GCD的复杂性。出现在J.Symb中。公司。 [88] 格里戈列夫，D.Yu。，Singer，M.P.用实指数级数解常微分方程。出现在AMS的Trans中。；格里戈列夫，D.Yu。，Singer，M.P.用实数指数级数求解常微分方程。出现在AMS的Trans中·兹伯利0758.12004 [89] 格罗斯曼，R。；Larson，R.G.，《标记树和导数的有效计算》（《1989年ACM-SIGSAM ISSAC会议录》（1989），ACM出版社） [90] Hardy，G.H.，《无限的秩序》（1910），剑桥大学出版社，剑桥数学和数学物理丛书 [91] Hardy，G.H.，关于一阶代数微分方程实连续解在无穷远处的行为的一些结果，Proc。伦敦数学。Soc，10（1912），ser。2 [92] 海登，M.B。；Lamagna，E.A.，使用超几何函数求二项式系数之和，（1986年符号和代数计算研讨会论文集（1986年），ACM出版社：纽约ACM出版社） [93] Hilb，E.，Lineare Differentialgleichungen im komplexen Gebiet，（数学百科全书Wissenschaften，第二卷（1915年），Teubner:Teubner Leipzig），B，5。 [94] Hilb，E.，Nichtlineare Differentialgleichungen，（数学百科全书Wissenschaften，第二卷（1915年），Teubner:Teubner Leipzig），B，6 [95] Hill，J.M.，《用单参数群求解微分方程》（1982年），皮特曼高级出版社。课程：皮特曼高级酒吧。波士顿计划·Zbl 0497.34002号 [96] Hillali，A.，贡献Aľétude des points singuliers des systèmes différentielles linéaires，（Thèse de 3eme cycle（1982），IMAG:IMAG Grenoble） [97] Hillali，A.，具有正则奇异性的线性微分系统的特征，（计算机代数（EUROCAL’83），162（1983），Springer-Verlag），计算机科学讲义，1983·Zbl 0539.34027号 [98] Hillali，A.，Sur-les不变量形成微分方程，R.R.编号577 IMAG（1986），费弗里尔 [99] Hillali，A.，Calcul des不变量de Malgrange et de Gerard-Leveltďun system différentiel linéaire en un point singulier irrégulier，J.diff.Eq.（1987），发表于·Zbl 0619.34009号 [100] Hillali，A.，《关于代数和微分Newton-Puseux多边形》，J.Symb。公司。（1987），出现在·Zbl 0639.34009号 [101] Hillali，A.，Solutions formelles des systèmes différentiels linéaires au voisinageďun point singulier irrégulier（1987），预印本 [102] Hillali，A。；Wazner，A.，《计算不变量Katz的Un algorithm de calculate deľinvariant KatzďUn system différentiel linéaire》，《傅里叶研究所年鉴》，V.36（1986）·兹比尔0585.34005 [103] Hillali，A。；Wazner，A.，计算线性微分系统形式不变量的算法，（1986年符号和代数计算研讨会论文集（1986），ACM出版社：纽约ACM出版社） [104] Hillali，A。；Wazner，A.，Formes super-irréductables des systèmes differentielles linéaires，Numer。数学。，50 (1987) ·Zbl 0627.65091号 [105] Hille，E.（复域常微分方程（1976），威利国际科学院：威利国际科学院，纽约）·Zbl 0343.34007号 [106] Hirschberg，D。；Schramm，D.，《NEWEUL在机器人动力学中的应用》，J.Symb。压缩机。，7，第2期（1989年）·兹比尔0657.70006 [107] Horowitz，E.，有理函数符号积分算法，（博士论文（1969），威斯康星大学：威斯康星-麦迪逊大学） [108] Horowitz，E.，部分分式分解和有理函数积分算法，（第二届符号和代数操作研讨会论文集（1971），ACM） [109] Hsu，L.，Kamran，N.二阶常微分方程的分类，其中包含保纤维对称性的李群。程序。伦敦数学。Soc，出现。；Hsu，L.，Kamran，N.二阶常微分方程的分类，其中包含保纤维对称性的李群。程序。伦敦数学。Soc，出现·Zbl 0675.58046号 [110] Ince，E.L.，（常微分方程（1944），多佛：多佛纽约）·Zbl 0063.02971号 [111] Ivie，J.，解差分方程的一些MACSYMA程序(1977年基督教青年会用户会议记录《NASA会议记录》，NASA CP-2012（1977年） [112] Jouanolou，J.P.，《Pfaff Algébriques方程》（数学课堂讲稿，708（1979），斯普林格-Verlag）·Zbl 0477.58002号 [113] Kaltoffen，E.，关于Risch微分方程的注释，（EUROSAM'84，计算机科学讲义，174（1984），Springer-Verlag）·Zbl 0583.68015号 [114] Kamke，E.（Differentialgleichungen、Loesungmethoden和Loesungen（1971），切尔西出版公司：切尔西出版公司纽约） [115] Kamran，E.，对Elie Cartan等价问题及其在偏微分方程和常微分方程中的应用研究的贡献（1985年），预印本 [116] 北卡罗来纳州卡姆兰。；Olver，P.，微分算子的等价性（1988），明尼苏达大学预印本 [117] Kandri-Rody，A。；魏斯芬宁，V.，可解型代数中的非交换Groebner基，J.Symb。压缩机。，9/1 (1990) ·Zbl 0715.16010号 [118] 卡普兰斯基，I.（《微分代数导论》（1957），赫尔曼：赫尔曼·巴黎）·兹伯利0083.03301 [119] Karr，M.，《有限项求和》，J.ACM，28/2（1981）·Zbl 0494.68044号 [120] Karr，M.，《有限项求和理论》，J.Symb。压缩机。，1/3 (1985) ·Zbl 0585.68052号 [121] Katz，N.，Deligne关于Hilbert第二十个问题的工作概述(希尔伯特问题引起的数学发展，《纯粹数学研讨会论文集》，第二十七卷（1976年），美国数学学会：美国数学学会普罗维登斯）·Zbl 0347.14010号 [122] Katz，N.，《循环向量的简单算法》，美国数学杂志。，109 (1987) ·Zbl 0621.13003号 [123] Katz，N.，关于一些微分伽罗瓦群的计算，发明。数学。，87 (1987) ·Zbl 0609.12025号 [124] Katz，N.，《关于微分伽罗瓦群的书》（1989年） [125] 北卡罗来纳州卡茨。；Pink，R.，关于伪CM表示和微分伽罗瓦群的注记，杜克数学。J.，54，第1期（1987年）·Zbl 0643.12007号 [126] Kersten，P.H.M.，使用REDUCE 2计算扩展真空Maxwell方程的无穷小对称性，Technische Hogeschool Twente，7500 AE Enschede（1986），荷兰 [127] Knowles，P.H.，《对数积分和误差函数的符号积分》（博士论文（1986），北卡罗来纳州立大学：北卡罗莱纳州立大学罗利分校） [128] Knuth，D.E.（《计算机编程艺术》，第2卷（1981年），艾迪森·韦斯利）·Zbl 0477.65002号 [129] Kolbig，K.S.，涉及对数幂的某些定积分的显式求值，J.Symb。压缩机。，1 (1985) ·Zbl 0618.65008号 [130] Kolchin，E.R.，（微分代数与代数群（1973），学术出版社）·Zbl 0264.12102号 [131] Kovacic，J.，求解二阶线性齐次微分方程的算法，J.Symb。压缩机。，2/1 (1986) ·Zbl 0603.68035号 [132] Lafferty，E.L.，Macsyma中常微分方程的幂级数解(程序。1977年MACSYMA用户会议《美国国家航空航天局会议记录》，CP-2012（1977年） [133] Lafon，J.C.，《有限项求和》，《计算机代数》，4（1982），《计算补遗》·Zbl 0495.68036号 [134] Lamnabhi-Lagarigue，F。；Lamnabhi，M.，一些非线性微分方程解的代数计算，（计算机代数（EUROCAM'88），144（1982），Springer Verlag），计算机科学讲义·Zbl 0549.34018号 [135] Lamnabhi-Lagarigue，F。；Lamnabhi，M.，一些非线性随机微分方程解的统计代数计算，（计算机代数（EUROCAĽ83），162（1983），Springer-Verlag），计算机科学讲义·Zbl 0544.65060号 [136] Levet，A.H.M.，一类奇异微分算子的Jordan分解，Archiv-fuer-Matematik，13（1975）·Zbl 0305.34008号 [137] Lie，S.，Zur Theorye des Integrabilitiaetsfaktors，（Gesammelte Abhandlungen，Dritter Band（1922），Teubner:Teubner Leipzig），176-187，奥斯陆Aschehoug [138] J.Liouville，《国际社会》，J.deľEcole Poly，14（1833） [139] 刘维尔，J.，《梅莫尔综合数学》，J.fuer die reine und angewandte math，13（1835） [140] Liouville，J.，Mémoire surľintegrationďune classeĕe quantiteés finites explicites的二阶微分方程，《数学学报》，pures et appliquees，IV（1839） [141] Liouville，J.，Rémarques nouvelles surľéquation de Riccati，Journal de matiques，pures et appliques，VI（1841） [142] Lipshitz，L.，（D\）-有限幂级数，J.Alg。，113 (1988) ·Zbl 0657.13024号 [143] Loday-Richaud，M.，《Birkoff des systèmesďordre deux不变量计算》，Funk。Ekv公司。（1988），于 [144] Maeda，S.，差分方程的相似方法，IMA J.Appl。数学。，38（1987年）·Zbl 0631.39003号 [145] Malgrange，B.，Sur les points singulieres des equations différentielles linéaires，L'Enseignement Mathématiques，5，xx（1974） [146] Malgrange，B.，《微分方程的简化》（1981），预印本傅里叶研究所，格勒诺布尔 [147] Malm，B.，《REDUCE中寻找某些常微分算子显式解的程序》（《计算机代数》EUROCAM’82，144（1982），Springer-Verlag），《计算机科学讲义》·兹伯利0538.68023 [148] 马库斯，L.（群论和微分方程（1960），明尼苏达大学：明尼阿波利斯大学），讲稿 [149] Marotte，F.，《Leséquations différentielles linéaires et la theéorie des groupes》，Ann.Fac。科学。图卢兹大学，12，1（1898） [150] Martinet，J。；Ramis，J.P.（Tournier，E.，《计算机代数与微分方程》（1989），学术出版社） [151] Matsuda，M.（关于超几何微分方程代数解的讲座（1985年），京都大学，Kinokuniya公司：京都大学，东京Kinokunija公司），数学课堂讲稿·Zbl 2015年6月6日 [152] Miller，W.（谎言理论与特殊功能（1968），学术出版社）·Zbl 0174.10502号 [153] Miller，W.（对称群和变量分离（1972），学术出版社：纽约学术出版社）·Zbl 0306.2001号 [154] Miller，W.，《变量的对称性和分离》（数学及其应用百科全书，第4卷（1977年），Addison-Wesley:Addison-卫斯理阅读，马萨诸塞州）·Zbl 0368.35002号 [155] Mitschi，C.，Groupe de galois différentiels et \（G\）-fonctions，（Thèse（1989），出版前IRMA:出版前IRMA Strasbourg） [156] Mitschi，C.，Groupe de galois différentiels deséquations hypergéométriques confluences généralisées，C.R.Acad。科学。巴黎，309（1989），一级·Zbl 0695.12017号 [157] Moenck，R.，《关于计算闭式求和》（1977年MACSYMA用户会议记录，NASA会议记录，美国国家航空航天局CP-2012（1977）） [158] Moser，J.，《普氏理论中奇点的顺序，数学》。Zeitshrift，72（1960）·Zbl 0117.04902号 [159] Neuman，F.，线性微分方程整体等价性准则，Proc。爱丁堡皇家学会，97A（1984）·Zbl 0552.34009号 [160] Neuman，F.，《普通线性微分方程——整体理论综述》（EQUADIFF 6（1985），J.E.Purkine大学数学系：J.E.Purkine大学布尔诺数学系）·Zbl 0622.34008号 [161] Norman，A.C.，用形式幂级数计算，ACM Trans。数学。软件，4（1975）·Zbl 0315.65044号 [162] Norman，A.C.，《有限项积分》（Buchberger等。，计算机代数《计算补充》，第4期（1983年），Springer-Verlag:Springer-Verlag纽约）·Zbl 0494.68042号 [163] 诺曼，公元前。；达文波特，J.H.，《符号整合尘埃落定？》？，（1979年欧洲符号和代数计算研讨会论文集，72（1979），Springer-Verlag:Springer-Verlag纽约），计算机科学讲稿·Zbl 0399.68056号 [164] 诺曼，公元前。；Moore，P.M.A.，《实施Risch积分算法》（第四届理论物理高级计算方法国际学术讨论会（1977年），马赛）·兹伯利0396.8058 [165] Olver，F.W.J.（不对称和特殊功能（1974），学术出版社：纽约学术出版社）·Zbl 0308.41023号 [166] Olver，F.W.J.，《渐近近似和误差界》，SIAM Review，22/2（1980）·Zbl 0439.41024号 [167] Olver，P.，《如何找到微分方程的对称群》，（分岔理论中的群论方法，762（1979），Springer），附录in，D.H.Sattinger，数学课堂讲稿 [168] Olver，P.，（李群在微分方程中的应用，107（1986），Springer-Verlag），Spring研究生教材·Zbl 0588.22001 [169] 奥斯特洛夫斯基，A.，Surľintegrabilitélémentaire de quelques classesďexpressions，Comm.Math。帮助。，18 (1946) ·Zbl 0063.06063号 [170] Ovsiannikov，L.V.，（微分方程组分析（1982），学术出版社：纽约学术出版社）·Zbl 0485.58002号 [171] 潘列维（Paul Painlevé，第二卷（1972年），CNRS版：巴黎CNRS版），第433-458卷。I和II，尤其是。 [172] Pickette，J.C.，特殊功能集成，SIGSAM Bull。，23，第2号（1989） [173] 庞加莱，H.（《亨利·庞加雷的行动》，第三卷（1934年），高蒂尔-维拉斯：高蒂尔-Villars Paris），第32-97页 [174] Poole，E.G.C.（线性微分方程理论导论（1960），多佛：纽约多佛） [175] 普雷尔，M.J。；Singer，M.F.，微分方程初等积分，Trans。AMS，279/1（1983年）·Zbl 0527.12016号 [176] Ramis，J.P.，Dévissage Gevrey，Asterisque，编号59-60（1978）·Zbl 0409.34018号 [177] Ramis，J.P.，Théorèmesďindex Gevrey-pour-les equations differentielles ordinaries，Mem。美国数学。Soc.诉48案，第296号（1984年）·Zbl 0555.47020号 [178] Ramis，J.P.，过滤Gevrey-sur-le groupe de Picard-Vessiotďune equation différentielle irréguliere，Informes de Matematica，IMPA，A-045/85系列（1985） [179] Ramis，J.P.，Phénomene de Stokes et filteration Gevrey-sur-le groupe de Picard-Vessiot，C.R.Acad。科学。巴黎，301，第5名（1985），一级·Zbl 0593.12015号 [180] Ramis，J.P.，《不规则连接、野蛮（π_1）和汇流》（会议记录，Katata Japan，1987（1988），谷口基金会） [181] Ramis，J.P。；Thomas，J.，关于阶乘级数的数值利用的一些评论，（《临界现象研究中的数值方法》（1981），Springer Verlag:Springer Verlag，纽约），协同学中的Springer级数 [182] Rand，R.H.，（《应用数学中的计算机代数：MACSYMA导论》，1994（1984），皮特曼出版社），数学研究笔记·Zbl 0583.68012号 [183] 兰德·R。；Armbruster，D.（扰动方法、分岔理论和计算机代数（1987），施普林格出版社：施普林格出版社，纽约）·Zbl 0651.34001号 [184] Reiman，A.，与非线性偏微分方程相关的李代数的计算机辅助闭包，《计算机与数学应用》，第7期，第5期（1981年） [185] Risch，R.H.，《关于使用代数运算建立的初等函数的集成》，SDC公司技术报告SP-2801/002/00（1968） [186] Risch，R.H.，有限项积分问题，Trans。A.M.S.，139（1969）·Zbl 0196.06801号 [187] Risch，R.H.，有限项积分问题的解，Bull。A.M.S.，76（1970）·Zbl 0196.06801号 [188] Risch，R.H.，隐式初等积分，Proc。AMS，57（1976）·Zbl 0339.12105号 [189] Risch，R.H.，分析初等函数的代数性质，美国数学杂志。，101 (1979) ·Zbl 0438.12016号 [190] Ritt，J.F.，（有限项积分（1948），哥伦比亚大学出版社）·Zbl 0031.20603号 [191] Ritt，J.F.，（微分代数（1950），多佛出版社：纽约多佛出版社），（AMS Colloq Publ.第三十三卷再版）·Zbl 0037.18501号 [192] Roache，R.J。；斯坦伯格，S.，《符号操纵和计算流体动力学》，J.计算物理，57（1985）·Zbl 0588.76015号 [193] Roache，R.J。；Steinberg，S.，有限差分代码的自动生成，（Bau，H.H.；等，流体力学中的符号计算（1988），ASME），HTD-105，AMD-97 [194] 罗森奥，P。；Schwarzmeier，J.L.，使用MACSYMA的偏微分方程组的相似解，Courant数学研究所。科学。报告编号：COO-3077-160/MF-94（1979） [195] Rosenlicht，M.，关于初等积分函数的Liouville定理，Pac。数学杂志。，24 (1968) ·Zbl 0155.36702号 [196] Rosenlicht，M.，《有限项积分》，美国数学。月刊，79（1972）·兹布尔0249.12106 [197] Rosenlicht，M.，《论刘维尔的初等函数理论》，Pac。数学杂志。，65 (1976) ·Zbl 0318.12107号 [198] Rosenlicht，M.，《差分估值的价值群》，《美国数学杂志》。，101（1979年）·Zbl 0411.12021 [199] Rosenlicht，M.，《差异估价》，太平洋。数学杂志。，86 (1980) ·Zbl 04011.2024号 [200] Rosenlicht，M.，《差分估值II的价值群》，美国数学杂志。，103 (1981) ·Zbl 0474.12020号 [201] Rosenlicht，M.，Hardy fields，J.Math。分析。Appi，98（1983）·2014年5月18日Zbl [202] 罗森利希特（Rosenlicht，M.），《哈迪场的等级》（The rank of a Hardy field），Trans。AMS，280（1983）·Zbl 0536.12015号 [203] 罗森利希特（Rosenlicht，M.），兰克（Rank）将相邻的实权强加给了耐寒的田地。AMS，284（1984）·Zbl 0544.34052号 [204] Rosenlicht，M.，《哈代场函数的增长特性》（1985），预印本 [205] 罗森利希特，M。；Singer，M.，《关于初等、广义初等和liouvillian扩张域》（《代数贡献》（1977），学术出版社）·Zbl 0369.12016号 [206] Rothstein，M.，《指数函数和原始函数的符号集成和简化方面》，（威斯康星大学：威斯康星-麦迪逊大学博士论文（1976），施乐大学缩微胶片77-8809） [207] Rothstein，M.，《指数函数和对数函数积分的新算法》（1977年MACSYMA用户会议，NASA出版物CP-2012）。程序。1977年MACSYMA用户会议NASA出版物CP-2012，国家技术信息服务，弗吉尼亚州斯普林菲尔德（1977）） [208] Rubel，L.A.，代数微分方程系统中消除的反例，Maihemica，30（1983）·Zbl 0506.12023号 [209] Saunders，B.D.，求解二阶线性齐次微分方程的Kovacic算法的实现，（1981年符号和代数计算研讨会论文集（1981），美国计算机学会出版社：美国计算机学会出版社纽约）·Zbl 0486.68023号 [210] Schlesinger，L.（Handbuch der Theory der linearen Differentialgleichungen（1895），Teubner:Teubner Leipzig），卷。1,2∶1, 2∶2, 1895, 1897, 1898 [211] Schlesinger，L.，Bericht ueber die Entwicklung der Theory der linearen Differential gleichungen seit 1865，Jahresberich den Deutschen maihetnatiker Vereinigung，XVIII（1909） [212] Schmidt，P.，一阶和一阶微分方程的自动符号解，（1976年ACM符号和代数计算研讨会论文集（1976），ACM出版社：ACM出版社纽约）·Zbl 0433.68040号 [213] Schmidt，P.，一阶和一阶微分方程的自动符号解的替换方法，符号和代数计算，EUROSAM'79，72（1979），计算机科学讲义·Zbl 0433.68040号 [214] Schwarz，F.，确定常微分方程和偏微分方程Lie对称性的REDUCE包，Comp。物理通讯，27/2（1982） [215] Schwarz，F.，《自动确定常微分方程的对称性》（《计算机代数》EUROCAL’83，162（1983），Springer-Verlag），《计算机科学讲义》·兹伯利0555.65076 [216] Schwarz，F.，《Riquer-Janet理论及其在非线性演化方程中的应用》，《物理学》，11D（1984）·Zbl 0588.58032号 [217] Schwarz，F.，确定常微分方程自治系统多项式第一积分的算法，J.Symb。压缩机。，1/1 (1985) ·Zbl 0585.65051号 [218] Schwarz，F.，《自动确定偏微分方程的对称性》，《计算》，34（1985）·Zbl 0555.65076号 [219] Schwarz，F.，《对称和对合系统：计算机代数的一些实验》（Ablowitz，M.；Fuchssteiner，B.；Kruskal，M.，《孤子理论和精确可解非线性方程的主题》（1987），《世界科学：世界科学新加坡》）·Zbl 0736.35122号 [220] Schwarz，F.，微分方程的对称性：从Sophus Lie到计算机代数，SIAM Review，30/3（1988）·Zbl 0664.35004号 [221] Schwarz，F.，线性常微分方程的分解算法，（ACM-SIGSAM 1989 ISSAC（1989），ACM出版社：ACM出版社纽约） [222] 塞登伯格，A.，微分代数的消去理论，加州大学出版社。数学。（N.S.），3（1956年）·Zbl 0083.03302号 [223] Shtokhamer，R。；格利诺斯，N。；Caviness，B.F.，《计算微分方程的初等积分》，手稿（1986年） [224] Singer，M.F.，微分方程初等解，太平洋。J、 数学。，59/2 (1975) ·Zbl 0315.12103号 [225] 辛格，M.F.，《满足基本关系的函数》，译。AMS，227（1977）·Zbl 0351.12101号 [226] Singer，M.F.，n阶线性微分方程的代数解，（1979年皇后大学数论会议论文集，54（1980）），皇后纯数学和应用数学论文集·Zbl 0453.12010号 [227] Singer，M.F.，n阶线性微分方程的Liouvillian解，美国数学杂志。，103 (1981) ·Zbl 0477.12026号 [228] Singer，M.F.，用二阶线性微分方程求解齐次线性微分方程，美国数学杂志。，107 (1985) ·兹伯利0564.12022 [229] Singer，M.F.，Liouvillian微分方程第一积分（1988），预印本 [230] Singer，M.F.，线性微分方程解之间的代数关系：Fano定理，美国数学杂志。，110 (1988) ·Zbl 0651.12016号 [231] Singer，M.F.，微分伽罗瓦理论概述，（Tournier，E.，《计算机代数与微分方程》（1988），学术出版社）·Zbl 0713.12005年 [232] Singer，M.F.，Liouvillian系数线性微分方程的Liouvillien解，J.Symb。公司。（1988），于·Zbl 0776.12002号 [233] 辛格，M.F。；桑德斯，B.D。；Caviness，B.F.，关于有限项积分的Liouville定理的推广，SIAM J.Comp。，14 (1985) ·Zbl 0575.12021号 [234] 辛格，M.F。；Tretkoff，M.，《线性群在微分方程中的应用》，美国数学杂志。，107 (1985) ·Zbl 0577.34004号 [235] Sit，W.Y.，《关于求解一阶多项式自治系统的Goldman算法》（AAECC-6会议录）。《AAECC-6会议记录》，意大利罗马（1989），斯普林格-Verlag），357，计算机科学课堂讲稿·Zbl 0703.34002号 [236] Smith，C.，《关于Kovacic常微分方程算法的讨论与实现》，滑铁卢大学计算机科学系研究报告CS-84-35（1984） [237] Steinberg，S.，《对称算子》（1979年MACSYMA用户会议论文集（1979））·Zbl 0167.4302号 [238] Steinberg，S.，微分方程对称性与计算机符号操作（1983），手稿 [239] 斯坦伯格，S.，李级数和非线性微分方程，J.数学。分析。申请。，101/1 (1984) ·Zbl 0598.34009号 [240] Steinberg，S.，《李级数，李变换及其应用》（Lie Methods in Optics，250（1985），Springer-Verlag），第3章，物理课堂讲稿·兹比尔0601.58028 [241] Stoutemyer，D.，《使用计算机代数的积分方程解析解》，Tran。数学。软件，6月（1977年） [242] Tournier，E.，Solutions formellesďéquations différentielles，（Thèseઝtat（1987），IMAG TIM3:IMAG TIM3 Grenoble） [243] Trager，B.M.，代数因式分解和有理函数积分（1976年ACM符号和代数计算研讨会论文集，1976年ACM符号和代数运算研讨会论文集（1976年））·Zbl 0498.12005号 [244] Trager，B.M.，简单根扩张的积分，（1979年欧洲符号和代数计算研讨会论文集，72（1979），Springer-Verlag），计算机科学讲稿·兹比尔0411.12020 [245] Trager，B.M.，代数函数积分（麻省理工学院博士论文（1984）） [246] Tretkoff，C。；Tretkof，F.M.，经典情况下微分伽罗瓦理论中反问题的求解，美国数学杂志。，101 (1979) ·兹比尔0423.12021 [247] Tournier，E.，常系数线性微分方程组解的代数形式，（符号和代数计算，EUROSAM’79，72（1979），Springer-Verlag），计算机科学讲义·Zbl 0405.65051号 [248] Tournier，E.，Solutions formellesďéquations différentielles，（Thèseઝtat（1987），IMAG TIM3:IMAG TIM3 Grenoble） [249] Tan，H.Q.，有限元分析中混合公式的符号推导，（Kaltoffen，E.；Watt，S.M.，计算机和数学（1989），Springer-Verlag）·Zbl 0677.65100号 [250] van den Dries，L.，《解析哈代场和实平面上的指数曲线》，美国数学杂志。，106 (1984) ·Zbl 0597.26002号 [251] van den Dries，L.，指数环，指数多项式和指数函数，Pac。数学杂志。，113 (1984) ·Zbl 0603.13019号 [252] van den Dries，L.，Tarski问题和Pfaffian函数。预印本。维西奥，E.1910。Méthodesďintégrationélémentaires，科学百科全书。数学。Pures和Appl。Tome II，第3卷（1985年），Fase。1 [253] 王东明，（微分系统的机械操纵（1987），中国科学院系统科学研究所：北京中科院系统科学所），MM研究预印本，第1期 [254] Wang，P.S.，通过符号操作评估定积分，（麻省理工学院博士论文（1971）） [255] Wang，P.S.，FINGER:有限元分析中自动生成数值程序的符号系统，J.Symb。压缩机。，2 (1986) ·Zbl 0604.65078号 [256] Watanabe，S.，《求解线性常微分方程的公式操作II》，（RIMS京都大学出版社，第11卷（1976年））·Zbl 0339.68037号 [257] Watanabe，S.，一种使用黎曼解常微分方程的技术\（P）-函数，（1981年ACM符号和代数计算研讨会论文集（1981），ACM出版社：纽约ACM出版社）·兹比尔0493.34002 [258] Watanabe，S.，通过符号计算实现二阶线性微分方程一般求积的实验，（EUROSAM’84，174（1984），Springer-Verlag），计算机科学讲义·Zbl 0552.68045号 [259] Wolf，T.，非线性常微分方程和偏微分方程系统的分析解耦、兼容性决策和部分积分，（EUROCAL’85，204（1985），Springer-Verlag），计算机科学讲稿 [260] Wolf，T.，非线性偏微分方程解耦和积分系统的分析算法，J.Comp。物理学，60/3（1985）·Zbl 0622.65132号 [261] 吴文存，几何的机械化方法及其应用Ⅱ。伯特朗型曲线对，科学通宝，32/9（1987），（英文版）·Zbl 0669.03008号 [262] 吴文胜，从开普勒定律中推导牛顿引力定律，（MM研究预告，第1期（1987），中国科学院系统科学研究所） [263] 吴文孙，《代数微分几何的基础》（MM研究预印本，1989年第3期，系统科学研究所）·兹伯利0376.68057 [264] Wolf，T.，《确定给定微分方程的拉格朗日函数》（1987），耶拿弗里德里希·席勒大学，预印本 [265] Wolf，T.，微分方程的计算机代数系统解析解（1987），耶拿弗里德里希·席勒大学 [266] Winternitz，P.，李群与非线性微分方程的解，（非线性现象，189（1983），Springer-Verlag:Springer-Verlag纽约），物理学讲稿·Zbl 0830.35004号 [267] Yun，D.Y.Y.，有理函数积分的快速算法，（Gilchrist，B.，Proc.IFIP 77（1977），北荷兰：北荷兰阿姆斯特丹）·Zbl 0364.65007号 [268] Zeilberger，D.，《创造性伸缩方法》，德雷克塞尔大学预印本，1989（1989）·Zbl 0738.33002号 [269] Zwillinger，D.（《微分方程手册》（1989），学术出版社）·Zbl 0678.34001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。