Ocansey, Evans Doe; Schneider, Carsten Representation of hypergeometric products of higher nesting depths in difference rings. (English) Zbl 1527.33003 J. Symb. Comput. 120, Article ID 102220, 50 p. (2024). Reviewer: Christoph Koutschan (Linz) MSC: 33C15 12H10 33F10 68W30 PDFBibTeX XMLCite \textit{E. D. Ocansey} and \textit{C. Schneider}, J. Symb. Comput. 120, Article ID 102220, 50 p. (2024; Zbl 1527.33003) Full Text: DOI arXiv
Jiménez-Pastor, Antonio; Petkovšek, Marko The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. (English) Zbl 07658452 J. Symb. Comput. 117, 15-50 (2023). MSC: 33F10 39A06 68W30 PDFBibTeX XMLCite \textit{A. Jiménez-Pastor} and \textit{M. Petkovšek}, J. Symb. Comput. 117, 15--50 (2023; Zbl 07658452) Full Text: DOI arXiv
Jiménez-Pastor, Antonio; Nuspl, Philipp; Pillwein, Veronika An extension of holonomic sequences: \(C^2\)-finite sequences. (English) Zbl 1511.16025 J. Symb. Comput. 116, 400-424 (2023). MSC: 16S36 12H10 33E30 39A06 40A05 68W30 PDFBibTeX XMLCite \textit{A. Jiménez-Pastor} et al., J. Symb. Comput. 116, 400--424 (2023; Zbl 1511.16025) Full Text: DOI
Wang, Rong-Hua; Zhong, Michael X. X. \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\). (English) Zbl 07621045 J. Symb. Comput. 116, 58-71 (2023). Reviewer: Emanuele Munarini (Milano) MSC: 05A30 05A19 33C20 33D15 PDFBibTeX XMLCite \textit{R.-H. Wang} and \textit{M. X. X. Zhong}, J. Symb. Comput. 116, 58--71 (2023; Zbl 07621045) Full Text: DOI arXiv
Bian, Ke-Xin; Liu, Yue; Mu, Yan-Ping \(q\)-Gosper algorithm and simple Bailey pairs. (English) Zbl 1509.33027 J. Symb. Comput. 113, 39-52 (2022). MSC: 33F10 33D15 PDFBibTeX XMLCite \textit{K.-X. Bian} et al., J. Symb. Comput. 113, 39--52 (2022; Zbl 1509.33027) Full Text: DOI
Giesbrecht, Mark; Huang, Hui; Labahn, George; Zima, Eugene Efficient rational creative telescoping. (English) Zbl 1484.33031 J. Symb. Comput. 109, 57-87 (2022). Reviewer: Elaine Wong (Linz) MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., J. Symb. Comput. 109, 57--87 (2022; Zbl 1484.33031) Full Text: DOI arXiv
Mao, Guo-Shuai Proof of a supercongruence via the Wilf-Zeilberger method. (English) Zbl 1472.11023 J. Symb. Comput. 107, 269-278 (2021). MSC: 11A07 11B68 11B65 33F10 PDFBibTeX XMLCite \textit{G.-S. Mao}, J. Symb. Comput. 107, 269--278 (2021; Zbl 1472.11023) Full Text: DOI arXiv
Ablinger, Jakob; Uncu, Ali Kemal qFunctions – a Mathematica package for \(q\)-series and partition theory applications. (English) Zbl 1465.05001 J. Symb. Comput. 107, 145-166 (2021). MSC: 05-04 05A30 05A15 05A17 05A19 11P81 33D15 PDFBibTeX XMLCite \textit{J. Ablinger} and \textit{A. K. Uncu}, J. Symb. Comput. 107, 145--166 (2021; Zbl 1465.05001) Full Text: DOI arXiv
Giesbrecht, Mark; Huang, Hui; Labahn, George; Zima, Eugene Efficient \(q\)-integer linear decomposition of multivariate polynomials. (English) Zbl 1486.11160 J. Symb. Comput. 107, 122-144 (2021). MSC: 11Y16 68W30 33F10 12H10 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., J. Symb. Comput. 107, 122--144 (2021; Zbl 1486.11160) Full Text: DOI arXiv
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching in associative and commutative theories. (English) Zbl 07354268 J. Symb. Comput. 106, 78-109 (2021). MSC: 03B70 68Q42 68N15 33F10 PDFBibTeX XMLCite \textit{B. Dundua} et al., J. Symb. Comput. 106, 78--109 (2021; Zbl 07354268) Full Text: DOI
Chen, Shaoshi; Du, Lixin; Wang, Rong-Hua; Zhu, Chaochao On the existence of telescopers for rational functions in three variables. (English) Zbl 1465.05185 J. Symb. Comput. 104, 494-522 (2021). MSC: 05E05 12H05 68W30 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., J. Symb. Comput. 104, 494--522 (2021; Zbl 1465.05185) Full Text: DOI arXiv
Girstmair, Kurt Reducing radicals in the spirit of Euclid. (English) Zbl 1462.12001 J. Symb. Comput. 104, 356-365 (2021). MSC: 12F10 33F10 PDFBibTeX XMLCite \textit{K. Girstmair}, J. Symb. Comput. 104, 356--365 (2021; Zbl 1462.12001) Full Text: DOI arXiv
Imamoglu, Erdal; Kaltofen, Erich L. On computing the degree of a Chebyshev polynomial from its value. (English) Zbl 1494.11099 J. Symb. Comput. 104, 159-167 (2021). MSC: 11T23 11T06 33C45 11Y16 PDFBibTeX XMLCite \textit{E. Imamoglu} and \textit{E. L. Kaltofen}, J. Symb. Comput. 104, 159--167 (2021; Zbl 1494.11099) Full Text: DOI
Hou, Qing-Hu; Mu, Yan-Ping; Zeilberger, Doron Polynomial reduction and supercongruences. (English) Zbl 1509.11005 J. Symb. Comput. 103, 127-140 (2021). MSC: 11A07 33C05 PDFBibTeX XMLCite \textit{Q.-H. Hou} et al., J. Symb. Comput. 103, 127--140 (2021; Zbl 1509.11005) Full Text: DOI arXiv
Bostan, A.; Krick, T.; Szanto, A.; Valdettaro, M. Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity. (English) Zbl 1446.13023 J. Symb. Comput. 101, 330-351 (2020). MSC: 13P15 15B05 33C05 33C45 33F10 68W30 PDFBibTeX XMLCite \textit{A. Bostan} et al., J. Symb. Comput. 101, 330--351 (2020; Zbl 1446.13023) Full Text: DOI arXiv
Mouafo Wouodjié, Merlin; Koepf, Wolfram On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions. (English) Zbl 1454.34005 J. Symb. Comput. 101, 202-241 (2020). MSC: 34A05 34A30 33C45 PDFBibTeX XMLCite \textit{M. Mouafo Wouodjié} and \textit{W. Koepf}, J. Symb. Comput. 101, 202--241 (2020; Zbl 1454.34005) Full Text: DOI Link
Abramov, Sergei A.; Petkovšek, Marko; Zakrajšek, Helena Convolutions of Liouvillian sequences. (English) Zbl 1471.33011 J. Symb. Comput. 101, 73-89 (2020). Reviewer: Shaoshi Chen (Beijing) MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{S. A. Abramov} et al., J. Symb. Comput. 101, 73--89 (2020; Zbl 1471.33011) Full Text: DOI arXiv
Liu, Ji-Cai Semi-automated proof of supercongruences on partial sums of hypergeometric series. (English) Zbl 1418.68248 J. Symb. Comput. 93, 221-229 (2019). MSC: 68W30 11Y16 33C05 PDFBibTeX XMLCite \textit{J.-C. Liu}, J. Symb. Comput. 93, 221--229 (2019; Zbl 1418.68248) Full Text: DOI
Chen, Shaoshi; Koutschan, Christoph Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. (English) Zbl 1423.33025 J. Symb. Comput. 93, 133-147 (2019). MSC: 33D05 PDFBibTeX XMLCite \textit{S. Chen} and \textit{C. Koutschan}, J. Symb. Comput. 93, 133--147 (2019; Zbl 1423.33025) Full Text: DOI arXiv
Ye, Liangjie Elliptic function based algorithms to prove Jacobi theta function relations. (English) Zbl 1396.33043 J. Symb. Comput. 89, 171-193 (2018). MSC: 33F10 PDFBibTeX XMLCite \textit{L. Ye}, J. Symb. Comput. 89, 171--193 (2018; Zbl 1396.33043) Full Text: DOI
Chen, Shaoshi; van Hoeij, Mark; Kauers, Manuel; Koutschan, Christoph Reduction-based creative telescoping for Fuchsian D-finite functions. (English) Zbl 1379.68363 J. Symb. Comput. 85, 108-127 (2018). MSC: 68W30 12H20 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., J. Symb. Comput. 85, 108--127 (2018; Zbl 1379.68363) Full Text: DOI arXiv
Imamoglu, Erdal; van Hoeij, Mark Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases. (English) Zbl 1375.65097 J. Symb. Comput. 83, 254-271 (2017). MSC: 65L06 68W30 34A30 33C05 65D20 PDFBibTeX XMLCite \textit{E. Imamoglu} and \textit{M. van Hoeij}, J. Symb. Comput. 83, 254--271 (2017; Zbl 1375.65097) Full Text: DOI arXiv
Duchamp, G. H. E.; Minh, V. Hoang Ngoc; Hoan, Quoc Ngo Harmonic sums and polylogarithms at non-positive multi-indices. (English) Zbl 1405.11107 J. Symb. Comput. 83, 166-186 (2017). MSC: 11M32 11G55 11M41 33B30 PDFBibTeX XMLCite \textit{G. H. E. Duchamp} et al., J. Symb. Comput. 83, 166--186 (2017; Zbl 1405.11107) Full Text: DOI arXiv
Bostan, Alin; Dumont, Louis; Salvy, Bruno Algebraic diagonals and walks: algorithms, bounds, complexity. (English) Zbl 1371.33037 J. Symb. Comput. 83, 68-92 (2017). MSC: 33F10 05A15 68W30 PDFBibTeX XMLCite \textit{A. Bostan} et al., J. Symb. Comput. 83, 68--92 (2017; Zbl 1371.33037) Full Text: DOI arXiv
Ye, Liangjie A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions. (English) Zbl 1357.33025 J. Symb. Comput. 82, 134-163 (2017). MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{L. Ye}, J. Symb. Comput. 82, 134--163 (2017; Zbl 1357.33025) Full Text: DOI
Bostan, Alin; Lairez, Pierre; Salvy, Bruno Multiple binomial sums. (English) Zbl 1351.05013 J. Symb. Comput. 80, Part 2, 351-386 (2017). MSC: 05A10 33F10 68W30 PDFBibTeX XMLCite \textit{A. Bostan} et al., J. Symb. Comput. 80, Part 2, 351--386 (2017; Zbl 1351.05013) Full Text: DOI arXiv HAL
Masjed-Jamei, Mohammad; Koepf, Wolfram Symbolic computation of some power-trigonometric series. (English) Zbl 1356.33013 J. Symb. Comput. 80, Part 2, 273-284 (2017). MSC: 33F10 33B10 42A32 PDFBibTeX XMLCite \textit{M. Masjed-Jamei} and \textit{W. Koepf}, J. Symb. Comput. 80, Part 2, 273--284 (2017; Zbl 1356.33013) Full Text: DOI
Arreche, Carlos E. On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters. (English) Zbl 1338.34167 J. Symb. Comput. 75, 25-55 (2016). MSC: 34M03 12H20 33F10 34M15 37K20 PDFBibTeX XMLCite \textit{C. E. Arreche}, J. Symb. Comput. 75, 25--55 (2016; Zbl 1338.34167) Full Text: DOI
Schneider, Carsten A difference ring theory for symbolic summation. (English) Zbl 1328.12015 J. Symb. Comput. 72, 82-127 (2016). MSC: 12H10 33F10 39A10 68W30 PDFBibTeX XMLCite \textit{C. Schneider}, J. Symb. Comput. 72, 82--127 (2016; Zbl 1328.12015) Full Text: DOI arXiv
Chen, Shaoshi; Chyzak, Frédéric; Feng, Ruyong; Fu, Guofeng; Li, Ziming On the existence of telescopers for mixed hypergeometric terms. (English) Zbl 1303.33024 J. Symb. Comput. 68, Part 1, 1-26 (2015). MSC: 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., J. Symb. Comput. 68, Part 1, 1--26 (2015; Zbl 1303.33024) Full Text: DOI arXiv
Kauers, Manuel; Yen, Lily On the length of integers in telescopers for proper hypergeometric terms. (English) Zbl 1357.68304 J. Symb. Comput. 66, 21-33 (2015). MSC: 68W30 33C20 33F10 PDFBibTeX XMLCite \textit{M. Kauers} and \textit{L. Yen}, J. Symb. Comput. 66, 21--33 (2015; Zbl 1357.68304) Full Text: DOI arXiv
Foupouagnigni, M.; Koepf, W.; Tcheutia, D. D. Connection and linearization coefficients of the Askey-Wilson polynomials. (English) Zbl 1273.33003 J. Symb. Comput. 53, 96-118 (2013). Reviewer: Vladimir L. Makarov (Kyïv) MSC: 33-04 33C45 42C05 PDFBibTeX XMLCite \textit{M. Foupouagnigni} et al., J. Symb. Comput. 53, 96--118 (2013; Zbl 1273.33003) Full Text: DOI
Peter, Thomas; Plonka, Gerlind; Roşca, Daniela Representation of sparse Legendre expansions. (English) Zbl 1261.65016 J. Symb. Comput. 50, 159-169 (2013). Reviewer: Adhemar Bultheel (Leuven) MSC: 65D15 33C45 65F05 PDFBibTeX XMLCite \textit{T. Peter} et al., J. Symb. Comput. 50, 159--169 (2013; Zbl 1261.65016) Full Text: DOI
Foupouagnigni, M.; Koepf, W.; Tcheutia, D. D.; Sadjang, P. Njionou Representations of \(q\)-orthogonal polynomials. (English) Zbl 1247.33015 J. Symb. Comput. 47, No. 11, 1347-1371 (2012). MSC: 33C45 33D45 33C20 PDFBibTeX XMLCite \textit{M. Foupouagnigni} et al., J. Symb. Comput. 47, No. 11, 1347--1371 (2012; Zbl 1247.33015) Full Text: DOI
Blümlein, Johannes; Klein, Sebastian; Schneider, Carsten; Stan, Flavia A symbolic summation approach to Feynman integral calculus. (English) Zbl 1242.81005 J. Symb. Comput. 47, No. 10, 1267-1289 (2012). MSC: 81Q30 33C90 68W30 PDFBibTeX XMLCite \textit{J. Blümlein} et al., J. Symb. Comput. 47, No. 10, 1267--1289 (2012; Zbl 1242.81005) Full Text: DOI arXiv
Cluzeau, Thomas; Quadrat, Alban Serre’s reduction of linear partial differential systems with holonomic adjoints. (English) Zbl 1252.35016 J. Symb. Comput. 47, No. 10, 1192-1213 (2012). MSC: 35A25 68W30 33F10 32S40 32C38 PDFBibTeX XMLCite \textit{T. Cluzeau} and \textit{A. Quadrat}, J. Symb. Comput. 47, No. 10, 1192--1213 (2012; Zbl 1252.35016) Full Text: DOI
Chen, Shaoshi; Kauers, Manuel Trading order for degree in creative telescoping. (English) Zbl 1241.33021 J. Symb. Comput. 47, No. 8, 968-995 (2012). MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{S. Chen} and \textit{M. Kauers}, J. Symb. Comput. 47, No. 8, 968--995 (2012; Zbl 1241.33021) Full Text: DOI arXiv
Chen, William Y. C.; Hou, Qing-Hu; Mu, Yan-Ping The extended Zeilberger algorithm with parameters. (English) Zbl 1305.33035 J. Symb. Comput. 47, No. 6, 643-654 (2012). Reviewer: Christoph Koutschan (Linz) MSC: 33F10 33C45 33C99 33D15 33D45 68W30 PDFBibTeX XMLCite \textit{W. Y. C. Chen} et al., J. Symb. Comput. 47, No. 6, 643--654 (2012; Zbl 1305.33035) Full Text: DOI arXiv
Sprenger, Torsten; Koepf, Wolfram Algorithmic determination of \(q\)-power series for \(q\)-holonomic functions. (English) Zbl 1245.33016 J. Symb. Comput. 47, No. 5, 519-535 (2012). Reviewer: Roelof Koekoek (Delft) MSC: 33D45 33C45 PDFBibTeX XMLCite \textit{T. Sprenger} and \textit{W. Koepf}, J. Symb. Comput. 47, No. 5, 519--535 (2012; Zbl 1245.33016) Full Text: DOI
van der Hoeven, Joris Meta-expansion of transseries. (English) Zbl 1215.33011 J. Symb. Comput. 46, No. 4, 339-359 (2011). Reviewer: Hans Benker (Merseburg) MSC: 33F10 PDFBibTeX XMLCite \textit{J. van der Hoeven}, J. Symb. Comput. 46, No. 4, 339--359 (2011; Zbl 1215.33011) Full Text: DOI
Abramov, S. A.; Petkovšek, M. Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem. (English) Zbl 1189.33038 J. Symb. Comput. 45, No. 6, 684-708 (2010). Reviewer: Mihai Cipu (Bucureşti) MSC: 33F10 33E99 12Y05 90C27 68W30 PDFBibTeX XMLCite \textit{S. A. Abramov} and \textit{M. Petkovšek}, J. Symb. Comput. 45, No. 6, 684--708 (2010; Zbl 1189.33038) Full Text: DOI
Costermans, Christian; Hoang Ngoc Minh Noncommutative algebra, multiple harmonic sums and applications in discrete probability. (English) Zbl 1179.11030 J. Symb. Comput. 44, No. 7, 801-817 (2009). Reviewer: Wadim Zudilin (Bonn) MSC: 11M32 05A05 11G55 11M06 17A99 33B30 41A60 60C05 PDFBibTeX XMLCite \textit{C. Costermans} and \textit{Hoang Ngoc Minh}, J. Symb. Comput. 44, No. 7, 801--817 (2009; Zbl 1179.11030) Full Text: DOI
McLaughlin, James; Sills, Andrew V.; Zimmer, Peter Rogers-Ramanujan computer searches. (English) Zbl 1175.33018 J. Symb. Comput. 44, No. 8, 1068-1078 (2009). MSC: 11P84 11B65 33D15 33F10 PDFBibTeX XMLCite \textit{J. McLaughlin} et al., J. Symb. Comput. 44, No. 8, 1068--1078 (2009; Zbl 1175.33018) Full Text: DOI arXiv
Chen, William Y. C.; Xia, Ernest X. W. The \(q\)-WZ method for infinite series. (English) Zbl 1173.33317 J. Symb. Comput. 44, No. 8, 960-971 (2009). Reviewer: Hans Benker (Merseburg) MSC: 33F10 33C20 PDFBibTeX XMLCite \textit{W. Y. C. Chen} and \textit{E. X. W. Xia}, J. Symb. Comput. 44, No. 8, 960--971 (2009; Zbl 1173.33317) Full Text: DOI arXiv
Guo, Qiang-Hui; Hou, Qing-Hu; Sun, Lisa H. Proving hypergeometric identities by numerical verifications. (English) Zbl 1173.33304 J. Symb. Comput. 43, No. 12, 895-907 (2008). Reviewer: Hans Benker (Merseburg) MSC: 33C20 33F10 PDFBibTeX XMLCite \textit{Q.-H. Guo} et al., J. Symb. Comput. 43, No. 12, 895--907 (2008; Zbl 1173.33304) Full Text: DOI
Mu, Yan-Ping Parameter augmentation and the \(q\)-Gosper algorithm. (English) Zbl 1183.33040 J. Symb. Comput. 43, No. 12, 874-882 (2008). Reviewer: Carsten Schneider (Linz) MSC: 33F10 33D15 PDFBibTeX XMLCite \textit{Y.-P. Mu}, J. Symb. Comput. 43, No. 12, 874--882 (2008; Zbl 1183.33040) Full Text: DOI
Hashiguchi, Hiroki; Iwashita, Toshiya Calculation of a formal moment generating function by using a differential operator. (English) Zbl 1225.62026 J. Symb. Comput. 43, No. 6-7, 508-514 (2008). MSC: 62E20 68W30 33C45 PDFBibTeX XMLCite \textit{H. Hashiguchi} and \textit{T. Iwashita}, J. Symb. Comput. 43, No. 6--7, 508--514 (2008; Zbl 1225.62026) Full Text: DOI
Schneider, Carsten A refined difference field theory for symbolic summation. (English) Zbl 1147.33006 J. Symb. Comput. 43, No. 9, 611-644 (2008). Reviewer: Hans Benker (Merseburg) MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{C. Schneider}, J. Symb. Comput. 43, No. 9, 611--644 (2008; Zbl 1147.33006) Full Text: DOI arXiv
Abramov, S. A.; Petkovšek, M. Dimensions of solution spaces of \(H\)-systems. (English) Zbl 1186.33038 J. Symb. Comput. 43, No. 5, 377-394 (2008). MSC: 33F10 33C70 39A05 PDFBibTeX XMLCite \textit{S. A. Abramov} and \textit{M. Petkovšek}, J. Symb. Comput. 43, No. 5, 377--394 (2008; Zbl 1186.33038) Full Text: DOI
Dumitriu, Ioana; Edelman, Alan; Shuman, Gene MOPS: multivariate orthogonal polynomials (symbolically). (English) Zbl 1122.33019 J. Symb. Comput. 42, No. 6, 587-620 (2007). MSC: 33F05 33F10 33C45 68W30 PDFBibTeX XMLCite \textit{I. Dumitriu} et al., J. Symb. Comput. 42, No. 6, 587--620 (2007; Zbl 1122.33019) Full Text: DOI arXiv
Kauers, Manuel SumCracker: A package for manipulating symbolic sums and related objects. (English) Zbl 1122.68746 J. Symb. Comput. 41, No. 9, 1039-1057 (2006). MSC: 68W30 33F10 PDFBibTeX XMLCite \textit{M. Kauers}, J. Symb. Comput. 41, No. 9, 1039--1057 (2006; Zbl 1122.68746) Full Text: DOI
Baddoura, Jamil Integration in finite terms with elementary functions and dilogarithms. (English) Zbl 1158.12301 J. Symb. Comput. 41, No. 8, 909-942 (2006). MSC: 12H05 33B10 33F10 PDFBibTeX XMLCite \textit{J. Baddoura}, J. Symb. Comput. 41, No. 8, 909--942 (2006; Zbl 1158.12301) Full Text: DOI
Chen, William Y. C.; Saad, Husam L. On the Gosper-Petkovšek representation of rational functions. (English) Zbl 1121.33022 J. Symb. Comput. 40, No. 2, 955-963 (2005). MSC: 33F10 PDFBibTeX XMLCite \textit{W. Y. C. Chen} and \textit{H. L. Saad}, J. Symb. Comput. 40, No. 2, 955--963 (2005; Zbl 1121.33022) Full Text: DOI
Mohammed, Mohamud; Zeilberger, Doron Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms. (English) Zbl 1121.33023 J. Symb. Comput. 39, No. 2, 201-207 (2005). MSC: 33F10 65Q05 PDFBibTeX XMLCite \textit{M. Mohammed} and \textit{D. Zeilberger}, J. Symb. Comput. 39, No. 2, 201--207 (2005; Zbl 1121.33023) Full Text: DOI
Chen, William Y. C.; Hou, Qing-Hu; Mu, Yan-Ping Applicability of the \(q\)-analogue of Zeilberger’s algorithm. (English) Zbl 1126.33008 J. Symb. Comput. 39, No. 2, 155-170 (2005). Reviewer: Carsten Schneider (Linz) MSC: 33F10 68W30 PDFBibTeX XMLCite \textit{W. Y. C. Chen} et al., J. Symb. Comput. 39, No. 2, 155--170 (2005; Zbl 1126.33008) Full Text: DOI arXiv
Abramov, S. A.; Carette, J. J.; Geddes, K. O.; Le, H. Q. Telescoping in the context of symbolic summation in Maple. (English) Zbl 1137.05326 J. Symb. Comput. 38, No. 4, 1303-1326 (2004). MSC: 05E35 33F10 68W30 PDFBibTeX XMLCite \textit{S. A. Abramov} et al., J. Symb. Comput. 38, No. 4, 1303--1326 (2005; Zbl 1137.05326) Full Text: DOI
Sills, Andrew V. RRtools – a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities. (English) Zbl 1137.33318 J. Symb. Comput. 37, No. 4, 415-448 (2004). MSC: 33F10 11B65 11P81 68W30 PDFBibTeX XMLCite \textit{A. V. Sills}, J. Symb. Comput. 37, No. 4, 415--448 (2004; Zbl 1137.33318) Full Text: DOI
Gil, Amparo; Segura, Javier A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions. (English) Zbl 1024.65039 J. Symb. Comput. 35, No. 5, 465-485 (2003). MSC: 65H05 33F10 65D20 33C45 33F05 68W30 PDFBibTeX XMLCite \textit{A. Gil} and \textit{J. Segura}, J. Symb. Comput. 35, No. 5, 465--485 (2003; Zbl 1024.65039) Full Text: DOI
Riese, Axel qMultiSum – a package for proving \(q\)-hypergeometric multiple summation identities. (English) Zbl 1020.33007 J. Symb. Comput. 35, No. 3, 349-376 (2003). Reviewer: Hans Benker (Merseburg) MSC: 33F10 05A30 33D99 39A99 PDFBibTeX XMLCite \textit{A. Riese}, J. Symb. Comput. 35, No. 3, 349--376 (2003; Zbl 1020.33007) Full Text: DOI
Zhang, Bao-Yin A new elementary algorithm for proving \(q\)-hypergeometric identities. (English) Zbl 1020.33006 J. Symb. Comput. 35, No. 3, 293-303 (2003). Reviewer: Hans Benker (Merseburg) MSC: 33F10 05A19 PDFBibTeX XMLCite \textit{B.-Y. Zhang}, J. Symb. Comput. 35, No. 3, 293--303 (2003; Zbl 1020.33006) Full Text: DOI
Tefera, Akalu MultInt, a MAPLE package for multiple integration by the WZ method. (English) Zbl 1015.33013 J. Symb. Comput. 34, No. 5, 329-353 (2002). Reviewer: Nácere Hayek (La Laguna) MSC: 33F10 65Y15 68W30 PDFBibTeX XMLCite \textit{A. Tefera}, J. Symb. Comput. 34, No. 5, 329--353 (2002; Zbl 1015.33013) Full Text: DOI
Abramov, S. A.; Petkovšek, M. Rational normal forms and minimal decompositions of hypergeometric terms. (English) Zbl 1005.33010 J. Symb. Comput. 33, No. 5, 521-543 (2002). Reviewer: Hans Benker (Merseburg) MSC: 33E99 PDFBibTeX XMLCite \textit{S. A. Abramov} and \textit{M. Petkovšek}, J. Symb. Comput. 33, No. 5, 521--543 (2002; Zbl 1005.33010) Full Text: DOI Link
Matusevich, Laura Felicia Rank jumps in codimension 2 \(A\)-hypergeometric systems. (English) Zbl 1074.32004 J. Symb. Comput. 32, No. 6, 619-641 (2001). MSC: 32C38 16S32 35A30 14M25 33C70 PDFBibTeX XMLCite \textit{L. F. Matusevich}, J. Symb. Comput. 32, No. 6, 619--641 (2001; Zbl 1074.32004) Full Text: DOI arXiv
Prosper, Vincent SFA, a package on symmetric functions considered as operators over the ring of polynomials for the computer algebra system MAPLE. (English) Zbl 0946.65010 J. Symb. Comput. 29, No. 1, 83-94 (2000). Reviewer: D.Petcu (Timişoara) MSC: 65D20 65Y15 33C45 33F10 68W30 PDFBibTeX XMLCite \textit{V. Prosper}, J. Symb. Comput. 29, No. 1, 83--94 (2000; Zbl 0946.65010) Full Text: DOI Link
Bauer, Andrej; Petkovšek, Marko Multibasic and mixed hypergeometric Gosper-type algorithms. (English) Zbl 0973.33010 J. Symb. Comput. 28, No. 4-5, 711-736 (1999). Reviewer: Wolfram Koepf (Leipzig) MSC: 33D65 33F10 PDFBibTeX XMLCite \textit{A. Bauer} and \textit{M. Petkovšek}, J. Symb. Comput. 28, No. 4--5, 711--736 (1999; Zbl 0973.33010) Full Text: DOI Link
Schwartz, Alan L. Partial differential equations and bivariate orthogonal polynomials. (English) Zbl 0965.35024 J. Symb. Comput. 28, No. 6, 827-845 (1999). Reviewer: Vladimir L.Makarov (Kyïv) MSC: 35G05 33F10 33C45 PDFBibTeX XMLCite \textit{A. L. Schwartz}, J. Symb. Comput. 28, No. 6, 827--845 (1999; Zbl 0965.35024) Full Text: DOI
Dunkl, Charles F. Computing with differential-difference operators. (English) Zbl 0946.65009 J. Symb. Comput. 28, No. 6, 819-826 (1999). Reviewer: D.Petcu (Timişoara) MSC: 65D20 33C80 33C45 33F10 68W30 PDFBibTeX XMLCite \textit{C. F. Dunkl}, J. Symb. Comput. 28, No. 6, 819--826 (1999; Zbl 0946.65009) Full Text: DOI
Foupouagnigni, Mama; Hounkonnou, M. Norbert; Ronveaux, André The fourth-order difference equation satisfied by the associated orthogonal polynomials of the \(\Delta\)-Laguerre-Hahn class. (English) Zbl 0948.65140 J. Symb. Comput. 28, No. 6, 801-818 (1999). Reviewer: Costică Moroşanu (Iaşi) MSC: 65Q05 39A10 33C45 PDFBibTeX XMLCite \textit{M. Foupouagnigni} et al., J. Symb. Comput. 28, No. 6, 801--818 (1999; Zbl 0948.65140) Full Text: DOI
Böing, Harald; Koepf, Wolfram Algorithms for \(q\)-hypergeometric summation in computer algebra. (English) Zbl 0946.65008 J. Symb. Comput. 28, No. 6, 777-799 (1999). Reviewer: D.Petcu (Timişoara) MSC: 65D20 33D45 68W30 33F10 33D15 PDFBibTeX XMLCite \textit{H. Böing} and \textit{W. Koepf}, J. Symb. Comput. 28, No. 6, 777--799 (1999; Zbl 0946.65008) Full Text: DOI
Area, I.; Godoy, E.; Ronveaux, A.; Zarzo, A. Inversion problems in the \(q\)-Hahn tableau. (English) Zbl 0953.33005 J. Symb. Comput. 28, No. 6, 767-776 (1999). Reviewer: N.M.Temme (Amsterdam) MSC: 33C47 33F10 PDFBibTeX XMLCite \textit{I. Area} et al., J. Symb. Comput. 28, No. 6, 767--776 (1999; Zbl 0953.33005)
Carlson, B. C. Toward symbolic integration of elliptic integrals. (English) Zbl 0976.33014 J. Symb. Comput. 28, No. 6, 739-753 (1999). Reviewer: N.M.Temme (Amsterdam) MSC: 33C75 65D20 33F10 68W30 PDFBibTeX XMLCite \textit{B. C. Carlson}, J. Symb. Comput. 28, No. 6, 739--753 (1999; Zbl 0976.33014) Full Text: DOI
Askey, R. A. (ed.); Koepf, W. (ed.); Koornwinder, T. H. (ed.) Special issue: Orthogonal polynomials and computer algebra. (English) Zbl 0944.00022 J. Symb. Comput. 28, No. 6, 737-845 (1999). MSC: 00B15 33-06 65-06 68-06 PDFBibTeX XMLCite \textit{R. A. Askey} (ed.) et al., J. Symb. Comput. 28, No. 6, 737--845 (1999; Zbl 0944.00022) Full Text: DOI
Compoint, Elie Differential equations and algebraic relations. (English) Zbl 0911.12004 J. Symb. Comput. 25, No. 6, 405-425 (1998). Reviewer: N.V.Grigorenko (Kyïv) MSC: 12H20 68W30 12Y05 11J85 33C60 PDFBibTeX XMLCite \textit{E. Compoint}, J. Symb. Comput. 25, No. 6, 405--425 (1998; Zbl 0911.12004) Full Text: DOI
Chyzak, Frédéric; Salvy, Bruno Non-commutative elimination in Ore algebras proves multivariate identities. (English) Zbl 0944.05006 J. Symb. Comput. 26, No. 2, 187-227 (1998). Reviewer: F.Schwarz (Paderborn) MSC: 05A19 33F10 68W30 PDFBibTeX XMLCite \textit{F. Chyzak} and \textit{B. Salvy}, J. Symb. Comput. 26, No. 2, 187--227 (1998; Zbl 0944.05006) Full Text: DOI HAL
Gessel, Ira M. Finding identities with the WZ method. (English) Zbl 0908.33004 J. Symb. Comput. 20, No. 5-6, 537-566 (1995). Reviewer: Wenchang Chu (MR 97j:05010) MSC: 33C20 05A19 PDFBibTeX XMLCite \textit{I. M. Gessel}, J. Symb. Comput. 20, No. 5--6, 537--566 (1995; Zbl 0908.33004) Full Text: DOI
Andrews, George E. On a conjecture of Peter Borwein. (English) Zbl 0849.68062 J. Symb. Comput. 20, No. 5-6, 487-501 (1995). Reviewer: Christian Krattenthaler (MR1395410) MSC: 05A30 05A17 11B75 11P81 33D15 PDFBibTeX XMLCite \textit{G. E. Andrews}, J. Symb. Comput. 20, No. 5--6, 487--501 (1995; Zbl 0849.68062) Full Text: DOI
Lisoněk, Petr; Paule, Peter; Strehl, Volker Improvement of the degree setting in Gosper’s algorithm. (English) Zbl 0872.33001 J. Symb. Comput. 16, No. 3, 243-258 (1993). Reviewer: A.J.van der Poorten (North Ryde) MSC: 33-01 68W30 PDFBibTeX XMLCite \textit{P. Lisoněk} et al., J. Symb. Comput. 16, No. 3, 243--258 (1993; Zbl 0872.33001) Full Text: DOI Link
Petkovšek, Marko Hypergeometric solutions of linear recurrences with polynomial coefficients. (English) Zbl 0761.11008 J. Symb. Comput. 14, No. 2-3, 243-264 (1992). Reviewer: D.M.Bressoud (University Park) MSC: 11B37 05A15 33C20 68W30 PDFBibTeX XMLCite \textit{M. Petkovšek}, J. Symb. Comput. 14, No. 2--3, 243--264 (1992; Zbl 0761.11008) Full Text: DOI
Garvan, Frank G.; Gonnet, Gaston H. A proof of the two parameter \(q\)-cases of the Macdonald-Morris constant term root system conjecture for \(S(F_ 4)\) and \(S(F_ 4)^ \vee\) via Zeilberger’s method. (English) Zbl 0766.33017 J. Symb. Comput. 14, No. 2-3, 141-177 (1992). Reviewer: D.M.Bressoud (University Park) MSC: 33D80 22E65 68W30 17B65 05A30 PDFBibTeX XMLCite \textit{F. G. Garvan} and \textit{G. H. Gonnet}, J. Symb. Comput. 14, No. 2--3, 141--177 (1992; Zbl 0766.33017) Full Text: DOI
Beyer, W. A.; Fawcett, L. R.; Harten, L. P.; Swartz, B. K. The volume common to two congruent circular cylinders. (English) Zbl 0747.65015 J. Symb. Comput. 13, No. 2, 221-230 (1992). Reviewer: S.Filippi (Gießen) MSC: 65D32 65D20 68W30 33E05 68Q25 PDFBibTeX XMLCite \textit{W. A. Beyer} et al., J. Symb. Comput. 13, No. 2, 221--230 (1992; Zbl 0747.65015) Full Text: DOI
Piquette, Jean C. A method for symbolic evaluation of indefinite integrals containing special functions of their products. (English) Zbl 0729.33001 J. Symb. Comput. 11, No. 3, 231-249 (1991). Reviewer: Y.Kobayashi (Tottori) MSC: 33-04 68W30 PDFBibTeX XMLCite \textit{J. C. Piquette}, J. Symb. Comput. 11, No. 3, 231--249 (1991; Zbl 0729.33001) Full Text: DOI
Wolf, Kurt Bernardo; Krötzsch, Guillermo Group-classified polynomials of phase space in higher-order aberration expansions. (English) Zbl 0745.22022 J. Symb. Comput. 12, No. 6, 673-693 (1991). MSC: 22E70 78A05 33D55 PDFBibTeX XMLCite \textit{K. B. Wolf} and \textit{G. Krötzsch}, J. Symb. Comput. 12, No. 6, 673--693 (1991; Zbl 0745.22022) Full Text: DOI
Zeilberger, Doron The method of creative telescoping. (English) Zbl 0738.33002 J. Symb. Comput. 11, No. 3, 195-204 (1991). Reviewer: R.Askey (Madison) MSC: 33C20 PDFBibTeX XMLCite \textit{D. Zeilberger}, J. Symb. Comput. 11, No. 3, 195--204 (1991; Zbl 0738.33002) Full Text: DOI
Almkvist, Gert; Zeilberger, Doron The method of differentiating under the integral sign. (English) Zbl 0717.33004 J. Symb. Comput. 10, No. 6, 571-591 (1990). Reviewer: R.Askey MSC: 33C60 PDFBibTeX XMLCite \textit{G. Almkvist} and \textit{D. Zeilberger}, J. Symb. Comput. 10, No. 6, 571--591 (1990; Zbl 0717.33004) Full Text: DOI
Ronveaux, A.; Thiry, G. Differential equations of some orthogonal families in REDUCE. (English) Zbl 0688.65015 J. Symb. Comput. 8, No. 5, 537-541 (1989). Reviewer: A.Laforgia MSC: 65D20 33-04 34B30 33C45 PDFBibTeX XMLCite \textit{A. Ronveaux} and \textit{G. Thiry}, J. Symb. Comput. 8, No. 5, 537--541 (1989; Zbl 0688.65015) Full Text: DOI
Kölbig, K. S. Explicit evaluation of certain definite integrals involving powers of logarithms. (English) Zbl 0618.65008 J. Symb. Comput. 1, 109-114 (1985). Reviewer: H.Engels MSC: 65D20 65D32 33B15 PDFBibTeX XMLCite \textit{K. S. Kölbig}, J. Symb. Comput. 1, 109--114 (1985; Zbl 0618.65008) Full Text: DOI