Jürgen Gerhard
- 1.ABRAMOV, S. A. On the summation of rational functions. 2. Vygisl. Mat. i Mat. Fiz. 11 (1971)F 1071-1075. English translation in U.S.S.R. Computational Mathematics and Mathematical Physics.Google Scholar
- 2.ABRAMOV, S. A. Problems in computer algebra involved in the search for polynomial solutions of linear differential and difference equations. Moscow Univ. Comput. Math. and Cybernet. 3 (1989)F 63-68.Google Scholar
- 3.ABRAMOV, S. A. Rational solutions of linear differential and difference equations with polynomial coefficients. U.S.S.R. Comput. Maths. Math. Phys. 29 (1989)F 7-12. Google ScholarDigital Library
- 4.ABRAMOV, S. A. Rational solutions of linear difference and q-difference equations with polynomial coefficients. In Proc. 1995 Internat. Symp. Symb. Alg. Cornput. (1995)F X?M PressF pp. 285-289. Google ScholarDigital Library
- 5.ABRAMOV, S. A., BRONSTEIN, M., AND PETKOVgEK, M. On polynomial solutions of linear operator equations. In Proc. 1995 Internat. Syrup. Symb. Alg. Cornput. (1995)F X?M PressF pp. 290-296. Google ScholarDigital Library
- 6.BRONSTEIN, M. The transcendental Risch differential equation. J. Symbolic Comput. 9 (1990)F 49-60. Google ScholarDigital Library
- 7.BRONSTEIN, M. The algebraic Risch differential equation. In Proc. 1991 Internat. Symp. Symb. Alg. Cornput. (1991)F X?M PressF pp. 241-246. Google ScholarDigital Library
- 8.BRONSTEIN, M. Symbolic Integration I- Transcendental Functions. No. 1 in Algorithms and Computation in Mathematics. Springer-VerlagF HeidelbergF 1996. Google ScholarDigital Library
- 9.DAVENPORT, J. H. The Risch differential equation problem. SIAM J. Comput. 15 (1986)F 903-918. Google ScholarDigital Library
- 10.EKHAD, S. B. A very short proof of Dixon's theorem. J. Combin. Theory. Set. A 5~ (1990)F 141-142. Google ScholarDigital Library
- 11.EKHAD, S. B., AND TRE, S. A purely verification proof of the first Rogers-Ramanujan identity. J. Combin. Theory. Set. A 5~ (1990)F 309-311. Google ScholarDigital Library
- 12.VON ZUR GATHEN, J., AND GERHARD, J. Fast algorithms for Taylor shifts and certain difference equations. In Proc. 1997 Internat. Symp. Symb. Alg. Cornput. (MauiF 1997)F I~M PressF pp. 40-47. Google ScholarDigital Library
- 13.GOSPER, JR., R. W. Decision procedure for indefinite hypergeometric summation. Proc. Nat. Acad. Sci. U. S. A. 25 (1978)F 40-42.Google ScholarCross Ref
- 14.HERMITE, C. Sur l'int~gration des fractions rationelles. Nouvelles Annales de Mathdmatiques (2~'~ sdrie) 11 (1872)F 145-148.Google Scholar
- 15.KARR, M. Summation in finite terms. J. Assoc. Comput. Mach. 28 (1981)F 305-350. Google ScholarDigital Library
- 16.KARR, M. Theory of summation in finite terms. J. Symbolic Comput. 1 (1985)F 303-315. Google ScholarDigital Library
- 17.LISONI~K, P., PAULE, P., AND STREHL, V. Improvement of the degree setting in Gosper's algorithm. J. Symbolic Comput. 16 (1993)F 243-258. Google ScholarDigital Library
- 18.MOENCK, R. On computing closed forms for summation. In Proceedings of the 1977 MA CSYMA Users Conference (BerkeleyF 1977)F pp. 225-236.Google Scholar
- 19.PAULE, P. Greatest factorial factorization and symbolic summation. J. Symbolic Comput. 20 (1995)F 235-268. Google ScholarDigital Library
- 20.PAULE, P., AND STREHL, V. Symbolic summation some recent developments. In Computer Algebra in Science and Engineering (BielefeldFGermanyF August 1994)F V6rld ScientificF pp. 138-162.Google Scholar
- 21.PETKOVSEK, M. Hypergeometric solutions of linear recurrences with polynomial coefficients. J. Symbolic Comput. 1~ (1992)F 243-264. Google ScholarDigital Library
- 22.PIRASTU, R., AND STREHL, V. Rational summation and Gosper-Petkovgek representation. J. Symbolic Comput. 20 (1995)F 617-635. Google ScholarDigital Library
- 23.RISCH, R. H. The problem of integration in finite terms. Trans. Amer. Math. Soc. 139 (1969)F 167-189.Google ScholarCross Ref
- 24.ROTHSTEIN~ M. Aspects of symbolic integration and simplification of exponential and primitive functions. PhD thesisF Uniersity of Wisconsin-MadisonF 1976. Google ScholarDigital Library
- 25.TRAGER, B. M. Algebraic factoring and rational function integration. In Proc. A CM Syrup. Symbolic and Algebraic Computation (ed. R. D. JENzSFYorktown HeightsF NYF 1976)F pp. 219-226. Google ScholarDigital Library
- 26.WILF, H. S., AND ZEILBERGER, D. Rational functions certify combinatorial identities. J. Amer. Math. Soc. 3 (1990)r 147-158.Google ScholarCross Ref
- 27.WILF, H. S., AND ZEILBERGER, D. An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities. Inventiones Math. 108 (1992)r 575-633.Google ScholarCross Ref
- 28.ZEILBERGER, D. A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80 (1990)r 207-211. Google ScholarDigital Library
- 29.ZEILBERGER, D. A holonomic systems approach to special function identities. J. Comput. Appl. Math. 32 (1990)F 321-368. Google ScholarDigital Library
- 30.ZEILBERGER, D. The method of creative telescoping. J. Symbolic Comput. 11 (1991)F 195-204. Google ScholarDigital Library
Index Terms
- High degree solutions of low degree equations (extended abstract)
Recommendations
Positivity preserving high-order local discontinuous Galerkin method for parabolic equations with blow-up solutions
In this paper, we apply positivity-preserving local discontinuous Galerkin (LDG) methods to solve parabolic equations with blow-up solutions. This model is commonly used in combustion problems. However, previous numerical methods are mainly based on a ...
Explicit multi-symplectic extended leap-frog methods for Hamiltonian wave equations
In this paper, we study the integration of Hamiltonian wave equations whose solutions have oscillatory behaviors in time and/or space. We are mainly concerned with the research for multi-symplectic extended Runge-Kutta-Nystrom (ERKN) discretizations and ...
Legendre polynomial solutions of high-order linear Fredholm integro-differential equations
In this study, a Legendre collocation matrix method is presented to solve high-order Linear Fredholm integro-differential equations under the mixed conditions in terms of Legendre polynomials. The proposed method converts the equation and conditions to ...
Comments