Bousquet-Mélou, Mireille; Wallner, Michael Walks avoiding a quadrant and the reflection principle. (English) Zbl 07873125 Eur. J. Comb. 119, Article ID 103803, 43 p. (2024). MSC: 05A15 60G50 30D05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Corless, Robert M. An Hermite-Obreshkov method for 2nd-order linear initial-value problems for ODE. With special attention paid to the Mathieu equation. (English) Zbl 07869109 Numer. Algorithms 96, No. 3, 1109-1141 (2024). MSC: 65L04 33F05 65D15 × Cite Format Result Cite Review PDF Full Text: DOI
Teguia Tabuguia, Bertrand Hypergeometric-type sequences. (English) Zbl 07852641 J. Symb. Comput. 125, Article ID 102328, 23 p. (2024). Reviewer: Thomas Ernst (Uppsala) MSC: 33F10 33C20 33B10 39A06 40A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Louchard, Guy; Schachinger, Werner; Ward, Mark Daniel The number of distinct adjacent pairs in geometrically distributed words: a probabilistic and combinatorial analysis. (English) Zbl 07908403 Discrete Math. Theor. Comput. Sci. 25, No. 2, Paper No. 2, 46 p. (2023). MSC: 68R15 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Teguia Tabuguia, Bertrand Operations for D-algebraic functions. (English) Zbl 07846179 ACM Commun. Comput. Algebra 57, No. 2, 51-56 (2023). MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pétréolle, Mathias; Sokal, Alan D.; Zhu, Bao-Xuan Lattice paths and branched continued fractions: an infinite sequence of generalizations of the Stieltjes-Rogers and Thron-Rogers polynomials, with coefficientwise Hankel-total positivity. (English) Zbl 1528.05001 Memoirs of the American Mathematical Society 1450. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6268-0/pbk; 978-1-4704-7683-0/ebook). v, 154 p. (2023). MSC: 05-02 33-02 05A15 05A19 42C05 33C05 33C20 33D05 05A20 05C30 05E05 15B05 15B48 30B70 30E05 44A60 11B68 11A55 11B75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Corless, Robert Blendstrings: an environment for computing with smooth functions. (English) Zbl 07760763 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 199-207 (2023). MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bostan, Alin; Notarantonio, Hadrien; Safey El Din, Mohab Fast algorithms for discrete differential equations. (English) Zbl 07760750 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 80-89 (2023). MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Blümlein, J.; Saragnese, M.; Schneider, C. Hypergeometric structures in Feynman integrals. (English) Zbl 1526.33008 Ann. Math. Artif. Intell. 91, No. 5, 591-649 (2023). MSC: 33F10 33C20 33C65 33E30 81Q30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Kauers, Manuel \(D\)-finite functions. (English) Zbl 07756344 Algorithms and Computation in Mathematics 30. Cham: Springer (ISBN 978-3-031-34651-4/hbk; 978-3-031-34654-5/pbk; 978-3-031-34652-1/ebook). x, 664 p. (2023). MSC: 68-01 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Schachinger, Werner Asymptotics of some Plancherel averages via polynomiality results. (English) Zbl 1522.05499 Matematica 2, No. 3, 668-691 (2023). MSC: 05E10 20C30 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Kauers, Manuel; Koutschan, Christoph Some D-finite and some possibly D-finite sequences in the OEIS. (English) Zbl 1531.11015 J. Integer Seq. 26, No. 4, Article 23.4.5, 42 p. (2023). MSC: 11B37 68W30 05A15 33C20 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bell, Jason; Liu, Haggai; Mishna, Marni Cogrowth series for free products of finite groups. (English) Zbl 1517.20038 Int. J. Algebra Comput. 33, No. 2, 237-260 (2023). Reviewer: Daniel Juan Pineda (Michoacán) MSC: 20E06 05C25 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Claesson, Anders; Guðmundsson, Bjarki Ágúst; Pantone, Jay Counting pop-stacked permutations in polynomial time. (English) Zbl 1519.05013 Exp. Math. 32, No. 1, 97-104 (2023). MSC: 05A15 05A05 65Q30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bóna, Miklós; Pantone, Jay Permutations avoiding sets of patterns with long monotone subsequences. (English) Zbl 1506.05002 J. Symb. Comput. 116, 130-138 (2023). Reviewer: Qiang (Steven) Wang (Ottawa) MSC: 05A05 05E10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Prodinger, Helmut Deepest nodes in marked ordered trees. (English) Zbl 1498.05060 Ann. Math. Sil. 36, No. 2, 215-227 (2022). MSC: 05C05 05C30 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Teguia Tabuguia, Bertrand; Koepf, Wolfram Symbolic conversion of holonomic functions to hypergeometric type power series. (English. Russian original) Zbl 1509.33008 Program. Comput. Softw. 48, No. 2, 125-146 (2022); translation from Programmirovanie 48, No. 2, (2022). MSC: 33C20 33F10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Noy, Marc; Requilé, Clément; Rué, Juanjo On the expected number of perfect matchings in cubic planar graphs. (English) Zbl 1482.05163 Publ. Mat., Barc. 66, No. 1, 325-353 (2022). MSC: 05C30 05A16 05C70 05C10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Prodinger, Helmut Skew Dyck paths having no peaks at level 1. (English) Zbl 1482.05015 J. Integer Seq. 25, No. 1, Article 22.1.6, 10 p. (2022). MSC: 05A15 05A19 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bréhard, Florent A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method. (English) Zbl 07433040 Math. Comput. Sci. 15, No. 3, 373-405 (2021). MSC: 65G20 65L60 65L70 65Y20 × Cite Format Result Cite Review PDF Full Text: DOI
Brimacombe, Chris; Corless, Robert M.; Zamir, Mair Computation and applications of Mathieu functions: a historical perspective. (English) Zbl 1479.33014 SIAM Rev. 63, No. 4, 653-720 (2021). MSC: 33F05 33-03 33E10 65D20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Prodinger, Helmut An elementary approach to solve recursions relative to the enumeration of S-Motzkin paths. (English) Zbl 1475.05011 J. Difference Equ. Appl. 27, No. 5, 776-785 (2021). Reviewer: Matthieu Josuat-Vergès (Paris) MSC: 05A15 05A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Merlini, Donatella On the square root of a Bell matrix. (English) Zbl 1467.05015 Result. Math. 76, No. 1, Paper No. 46, 19 p. (2021). MSC: 05A15 05A19 05B20 15A16 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Baril, Jean-Luc; Burstein, Alexander; Kirgizov, Sergey Pattern statistics in faro words and permutations. (English) Zbl 1511.68210 Discrete Math. 344, No. 8, Article ID 112464, 17 p. (2021). MSC: 68R15 05A05 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chaudhuri, Anupam; Do, Norman Generalisations of the Harer-Zagier recursion for 1-point functions. (English) Zbl 1472.05150 J. Algebr. Comb. 53, No. 2, 469-503 (2021). MSC: 05E10 05A15 14N10 05C10 14F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jiménez-Pastor, Antonio DD-finite functions implemented in Sage. (English) Zbl 07441090 Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 457-462 (2020). MSC: 68W30 13F25 × Cite Format Result Cite Review PDF Full Text: DOI
Dahne, Joel; Salvy, Bruno Computation of tight enclosures for Laplacian eigenvalues. (English) Zbl 1508.65155 SIAM J. Sci. Comput. 42, No. 5, A3210-A3232 (2020). MSC: 65N25 65G20 65G30 05A15 05A16 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Banderier, Cyril; Marchal, Philippe; Wallner, Michael Periodic Pólya urns, the density method and asymptotics of Young tableaux. (English) Zbl 1453.60010 Ann. Probab. 48, No. 4, 1921-1965 (2020). Reviewer: Yilun Shang (Newcastle) MSC: 60C05 05A15 60F05 60K99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
Koepf, Wolfram Orthogonal polynomials and computer algebra. (English) Zbl 1443.33019 Foupouagnigni, Mama (ed.) et al., Orthogonal polynomials. Proceedings of the 2nd AIMS-Volkswagen Stiftung workshop on introduction to orthogonal polynomials and applications, Douala, Cameroon, October 5–12, 2018. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 479-493 (2020). MSC: 33C45 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Koepf, Wolfram Computer algebra, power series and summation. (English) Zbl 1443.33035 Foupouagnigni, Mama (ed.) et al., Orthogonal polynomials. Proceedings of the 2nd AIMS-Volkswagen Stiftung workshop on introduction to orthogonal polynomials and applications, Douala, Cameroon, October 5–12, 2018. Cham: Birkhäuser. Tutor. Sch. Workshops Math. Sci., 113-136 (2020). MSC: 33F10 33C20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jiménez-Pastor, Antonio; Pillwein, Veronika; Singer, Michael F. Some structural results on \(\mathrm{D}^n\)-finite functions. (English) Zbl 1480.12006 Adv. Appl. Math. 117, Article ID 102027, 29 p. (2020). Reviewer: Varadharaj Srinivasan (Punjab) MSC: 12H05 34A30 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Jiménez-Pastor, Antonio DD-finite functions in Sage. (English) Zbl 1436.05011 Sémin. Lothar. Comb. 82B, Article 101, 8 p. (2019). MSC: 05A15 05-04 × Cite Format Result Cite Review PDF Full Text: Link
Bendkowski, Maciej; Lescanne, Pierre On the enumeration of closures and environments with an application to random generation. (English) Zbl 1442.68023 Log. Methods Comput. Sci. 15, No. 4, Paper No. 3, 21 p. (2019). MSC: 68N18 03B40 05A15 × Cite Format Result Cite Review PDF Full Text: arXiv
Salvy, Bruno Linear differential equations as a data structure. (English) Zbl 1431.68166 Found. Comput. Math. 19, No. 5, 1071-1112 (2019). MSC: 68W30 33F10 34M03 34M25 68P05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Banderier, Cyril; Krattenthaler, Christian; Krinik, Alan; Kruchinin, Dmitry; Kruchinin, Vladimir; Nguyen, David; Wallner, Michael Explicit formulas for enumeration of lattice paths: basketball and the kernel method. (English) Zbl 1422.05007 Andrews, George E. (ed.) et al., Lattice path combinatorics and applications. Based on the 8th international conference on lattice path combinatorics and applications, California State Polytechnic University, Pomona (Cal Poly Pomona), CA, USA, August 17–20, 2015. Cham: Springer. Dev. Math. 58, 78-118 (2019). MSC: 05A15 05A10 05A16 05A19 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jiménez-Pastor, Antonio; Pillwein, Veronika A computable extension for D-finite functions: DD-finite functions. (English) Zbl 1427.13034 J. Symb. Comput. 94, 90-104 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13N15 68W30 34A25 13F25 × Cite Format Result Cite Review PDF Full Text: DOI
Pillwein, Veronika On the positivity of the Gillis-Reznick-Zeilberger rational function. (English) Zbl 1408.33041 Adv. Appl. Math. 104, 75-84 (2019). MSC: 33F10 05A20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Bendkowski, Maciej; Lescanne, Pierre Counting environments and closures. (English) Zbl 1462.68020 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 11, 16 p. (2018). MSC: 68N18 03B40 68R05 × Cite Format Result Cite Review PDF Full Text: DOI
Blümlein, Johannes; Round, Mark; Schneider, Carsten Refined holonomic summation algorithms in particle physics. (English) Zbl 1457.40001 Schneider, Carsten (ed.) et al., Advances in computer algebra. In honour of Sergei Abramov’s 70th birthday, WWCA 2016, Waterloo, Ontario, Canada, July 23–24, 2016. Selected papers based on the presentations at the workshop. Cham: Springer. Springer Proc. Math. Stat. 226, 51-91 (2018). MSC: 40A25 65B99 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Huang, Hui; Kauers, Manuel D-finite numbers. (English) Zbl 1432.34003 Int. J. Number Theory 14, No. 7, 1827-1848 (2018). MSC: 34A05 33E30 33F05 33F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Barnard, Emily; Reading, Nathan Coxeter-bicatalan combinatorics. (English) Zbl 1387.05270 J. Algebr. Comb. 47, No. 2, 241-300 (2018). MSC: 05E15 05A15 20F55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bonichon, Nicolas; Bousquet-Mélou, Mireille; Dorbec, Paul; Pennarun, Claire On the number of planar Eulerian orientations. (English) Zbl 1369.05110 Eur. J. Comb. 65, 59-91 (2017). MSC: 05C30 05C10 05A15 05C45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Oliver, Kamilla; Prodinger, Helmut Summations in Bernoulli’s triangles via generating functions. (English) Zbl 1352.05016 J. Integer Seq. 20, No. 1, Article 17.1.3, 9 p. (2017). MSC: 05A15 05A19 11B39 × Cite Format Result Cite Review PDF Full Text: EMIS
Castiglione, Giusi; Massazza, Paolo On a class of languages with holonomic generating functions. (English) Zbl 1355.68153 Theor. Comput. Sci. 658, Part A, 74-84 (2017). MSC: 68Q45 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Bostan, Alin; Bousquet-Mélou, Mireille; Kauers, Manuel; Melczer, Stephen On 3-dimensional lattice walks confined to the positive octant. (English) Zbl 1354.05006 Ann. Comb. 20, No. 4, 661-704 (2016). MSC: 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tabbara, R.; Owczarek, A. L.; Rechnitzer, A. An exact solution of three interacting friendly walks in the bulk. (English) Zbl 1342.82072 J. Phys. A, Math. Theor. 49, No. 15, Article ID 154004, 27 p. (2016). MSC: 82B41 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik Ore polynomials in Sage. (English) Zbl 1439.16049 Gutierrez, Jaime (ed.) et al., Computer algebra and polynomials. Applications of algebra and number theory. Berlin: Springer. Lect. Notes Comput. Sci. 8942, 105-125 (2015). MSC: 16Z05 16S36 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Koepf, Wolfram; Chiadjeu, Etienne Nana Algorithmic approach for formal Fourier series. (English) Zbl 1341.68313 Math. Comput. Sci. 9, No. 3, 365-389 (2015). MSC: 68W30 33F10 42C15 × Cite Format Result Cite Review PDF Full Text: DOI
Albert, Michael; Bousquet-Mélou, Mireille Permutations sortable by two stacks in parallel and quarter plane walks. (English) Zbl 1301.05005 Eur. J. Comb. 43, 131-164 (2015). MSC: 05A05 05A15 68P10 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Kauers, Manuel Bounds for D-finite closure properties. (English) Zbl 1325.68290 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 288-295 (2014). MSC: 68W30 16S36 16Z05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kauers, Manuel The holonomic toolkit. (English) Zbl 1308.81101 Schneider, Carsten (ed.) et al., Computer algebra in quantum field theory. Integration, summation and special functions. Wien: Springer (ISBN 978-3-7091-1615-9/hbk; 978-1-4614-8523-0/ebook). Texts and Monographs in Symbolic Computation, 119-144 (2013). MSC: 81Q70 53C29 × Cite Format Result Cite Review PDF Full Text: DOI
Gerhold, Stefan; Kauers, Manuel; Koutschan, Christoph; Paule, Peter; Schneider, Carsten; Zimmermann, Burkhard Computer-assisted proofs of some identities for Bessel functions of fractional order. (English) Zbl 1311.33003 Schneider, Carsten (ed.) et al., Computer algebra in quantum field theory. Integration, summation and special functions. Wien: Springer (ISBN 978-3-7091-1615-9/hbk; 978-1-4614-8523-0/ebook). Texts and Monographs in Symbolic Computation, 75-96 (2013). MSC: 33C10 33E10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rosenkranz, M.; Korporal, A. A noncommutative algebraic operational calculus for boundary problems. (English) Zbl 1309.34016 Math. Comput. Sci. 7, No. 2, 201-227 (2013). MSC: 34B05 13N10 44A40 × Cite Format Result Cite Review PDF Full Text: DOI
van der Hoeven, Joris Guessing singular dependencies. (English) Zbl 1290.30001 J. Symb. Comput. 59, 54-80 (2013). Reviewer: Adhemar Bultheel (Leuven) MSC: 30B40 × Cite Format Result Cite Review PDF Full Text: DOI
Beuchler, Sven; Pillwein, Veronika; Zaglmayr, Sabine Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra. (English) Zbl 1285.65077 Adv. Appl. Math. 50, No. 5, 749-769 (2013). Reviewer: Teodora-Liliana Rădulescu (Craiova) MSC: 65N30 35Q61 78A25 78M10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Kurkova, Irina; Raschel, Kilian On the functions counting walks with small steps in the quarter plane. (English) Zbl 1255.05012 Publ. Math., Inst. Hautes Étud. Sci. 116, 69-114 (2012). MSC: 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. (English) Zbl 1250.65104 Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 273-331 (2012). MSC: 65L10 34B05 13P10 54J05 45P05 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Buchberger, Bruno; Rosenkranz, Markus Transforming problems from analysis to algebra: a case study in linear boundary problems. (English) Zbl 1241.65066 J. Symb. Comput. 47, No. 6, 589-609 (2012). MSC: 65L10 34B05 34L05 65M99 68W30 13P10 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Bousquet-Mélou, Mireille; Fusy, Éric; Préville-Ratelle, Louis-François The number of intervals in the \(m\)-Tamari lattices. (English) Zbl 1262.05005 Electron. J. Comb. 18, No. 2, Research Paper P31, 26 p. (2011). Reviewer: M. Reza Emamy-K (San Juan) MSC: 05A15 52C99 × Cite Format Result Cite Review PDF Full Text: arXiv EMIS
Kauers, Manuel; Zeilberger, Doron The computational challenge of enumerating high-dimensional rook walks. (English) Zbl 1234.05026 Adv. Appl. Math. 47, No. 4, 813-819 (2011). MSC: 05A15 33F10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bernardi, Olivier; Bousquet-Mélou, Mireille Counting colored planar maps: algebraicity results. (English) Zbl 1223.05123 J. Comb. Theory, Ser. B 101, No. 5, 315-377 (2011). MSC: 05C30 05C10 05C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Hebisch, Waldemar; Rubey, Martin Extended rate, more GFUN. (English) Zbl 1218.68204 J. Symb. Comput. 46, No. 8, 889-903 (2011). MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Denise, A.; Ponty, Y.; Termier, M. Controlled non-uniform random generation of decomposable structures. (English) Zbl 1273.05232 Theor. Comput. Sci. 411, No. 40-42, 3527-3552 (2010). MSC: 05D40 05A17 05C80 68Q87 68R05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bostan, Alin; Kauers, Manuel; Van Hoeij, Mark The complete generating function for Gessel walks is algebraic. (English) Zbl 1206.05013 Proc. Am. Math. Soc. 138, No. 9, 3063-3078 (2010). MSC: 05A15 14N10 33F10 68W30 33C05 97N80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Benoit, Alexandre; Chyzak, Frédéric; Darrasse, Alexis; Gerhold, Stefan; Mezzarobba, Marc; Salvy, Bruno The dynamic dictionary of mathematical functions (DDMF). (English) Zbl 1295.65022 Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 35-41 (2010). MSC: 65D20 68U35 68W30 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Mezzarobba, Marc; Salvy, Bruno Effective bounds for P-recursive sequences. (English) Zbl 1201.65219 J. Symb. Comput. 45, No. 10, 1075-1096 (2010). Reviewer: Costică Moroşanu (Iaşi) MSC: 65Q30 65B10 × Cite Format Result Cite Review PDF Full Text: DOI
Bacher, Roland; Flajolet, Philippe Pseudo-factorials, elliptic functions, and continued fractions. (English) Zbl 1183.33037 Ramanujan J. 21, No. 1, 71-97 (2010). MSC: 33E05 05A15 42C05 41A21 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cleary, Sean; Elder, Murray; Rechnitzer, Andrew; Taback, Jennifer Random subgroups of Thompson’s group \(F\). (English) Zbl 1226.20034 Groups Geom. Dyn. 4, No. 1, 91-126 (2010). MSC: 20F65 20E07 20P05 20F69 05C25 05C05 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Blümlein, Johannes; Kauers, Manuel; Klein, Sebastian; Schneider, Carsten Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. (English) Zbl 1197.81037 Comput. Phys. Commun. 180, No. 11, 2143-2165 (2009). MSC: 81T80 33F05 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kauers, Manuel; Koutschan, Christoph A Mathematica package for \(q\)-holonomic sequences and power series. (English) Zbl 1180.33030 Ramanujan J. 19, No. 2, 137-150 (2009). MSC: 33F10 05A30 11B65 39A10 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
van der Hoeven, Joris On asymptotic extrapolation. (English) Zbl 1183.68760 J. Symb. Comput. 44, No. 8, 1000-1016 (2009). MSC: 68W30 41A60 × Cite Format Result Cite Review PDF Full Text: DOI
Gerhold, Stefan; Warnung, Richard Finding efficient recursions for risk aggregation by computer algebra. (English) Zbl 1153.91592 J. Comput. Appl. Math. 223, No. 1, 499-507 (2009). MSC: 91B30 68W30 60E99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rao, N. Raj; Edelman, Alan The polynomial method for random matrices. (English) Zbl 1171.15024 Found. Comput. Math. 8, No. 6, 649-702 (2008). Reviewer: Václav Burjan (Praha) MSC: 15B52 65F30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Borwein, Jonathan; Bailey, David Mathematics by experiment. Plausible reasoning in the 21st century. 2nd revised and updated ed. (English) Zbl 1163.00002 Wellesley, MA: A K Peters (ISBN 978-1-56881-442-1/hbk). xi, 377 p. (2008). Reviewer: Franz Lemmermeyer (Jagstzell) MSC: 00A05 00A35 11Yxx × Cite Format Result Cite Review PDF
Ayyer, Arvind; Zeilberger, Doron Two dimensional directed lattice walks with boundaries. (English) Zbl 1160.05002 Amdeberhan, Tewodros (ed.) et al., Tapas in experimental mathematics. AMS special session on experimental mathematics, New Orleans, LA, USA, January 5, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4317-8/pbk). Contemporary Mathematics 457, 1-19 (2008). MSC: 05A15 05A16 82B41 05-04 68R05 × Cite Format Result Cite Review PDF Full Text: arXiv
Kauers, Manuel; Zimmermann, Burkhard Computing the algebraic relations of \(C\)-finite sequences and multisequences. (English) Zbl 1163.11084 J. Symb. Comput. 43, No. 11, 787-803 (2008). Reviewer: Zhi-Wei Sun (Nanjing) MSC: 11Y16 11B37 × Cite Format Result Cite Review PDF Full Text: DOI
Borwein, Jonathan M.; Salvy, Bruno A proof of a recurrence for Bessel moments. (English) Zbl 1172.33309 Exp. Math. 17, No. 2, 223-230 (2008). Reviewer: Zhibo Huang (Guangzhou) MSC: 33E30 33C10 33F10 68W30 47N20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
Bernardi, Olivier On triangulations with high vertex degree. (English) Zbl 1154.05039 Ann. Comb. 12, No. 1, 17-44 (2008). MSC: 05C30 05C10 05A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Kauers, Manuel An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. (English) Zbl 1321.68534 ACM Trans. Algorithms 3, No. 2, Article No. 18, 14 p. (2007). MSC: 68W30 05A19 33F10 39A10 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Jun A Sumudu based algorithm for solving differential equations. (English) Zbl 1187.34015 Comput. Sci. J. Mold. 15, No. 3(45), 303-313 (2007). MSC: 34A45 34A30 34A25 34-04 68W30 × Cite Format Result Cite Review PDF
Mansour, Toufik; Schork, Matthias; Sun, Yidong Motzkin numbers of higher rank: generating function and explicit expression. (English) Zbl 1141.05308 J. Integer Seq. 10, No. 7, Article 07.7.4, 11 p. (2007). MSC: 05A15 11B37 11B83 × Cite Format Result Cite Review PDF Full Text: arXiv EuDML EMIS
Paule, Peter; Schneider, Carsten Truncating binomial series with symbolic summation. (English) Zbl 1120.05005 Integers 7, No. 1, Paper A22, 9 p. (2007). MSC: 05A10 05A19 33F10 11B65 × Cite Format Result Cite Review PDF Full Text: EuDML
Koepf, Wolfram Bieberbach’s conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality. (English) Zbl 1186.30001 Ramanujan J. 13, No. 1-3, 103-129 (2007). Reviewer: Marcel G. de Bruin (Haarlem) MSC: 30-02 30C50 30C35 30C45 30C80 33C20 33C45 33F10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Massazza, Paolo; Radicioni, Roberto A symbolic approach to computing with holonomic functions. (English) Zbl 1224.68218 PU.M.A., Pure Math. Appl. 17, No. 1-2, 147-164 (2006). MSC: 68W30 47E05 × Cite Format Result Cite Review PDF
Rubey, Martin Extended rate, more GFUN. (English) Zbl 1189.65040 Fourth colloquium on mathematics and computer science IV. Algorithms, trees, combinatorics and probabilities. Papers based on the presentations at the colloquium, Nancy, France, September 18–22, 2006. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 431-434, electronic only (2006). MSC: 65D20 68W30 65Y15 × Cite Format Result Cite Review PDF Full Text: Link
Fauvet, Frédéric; Richard-Jung, Françoise; Thomann, Jean Algorithms for the splitting of formal series; applications to alien differential calculus. (English) Zbl 1192.65093 Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 231-246 (2006). MSC: 65L05 × Cite Format Result Cite Review PDF
Bećirović, A.; Paule, P.; Pillwein, V.; Riese, A.; Schneider, C.; Schöberl, J. Hypergeometric summation algorithms for high-order finite elements. (English) Zbl 1113.65105 Computing 78, No. 3, 235-249 (2006). Reviewer: Georg Hebermehl (Berlin) MSC: 65N30 33C45 33F10 68W30 65F35 35J25 65F10 × Cite Format Result Cite Review PDF Full Text: DOI
Bousquet-Mélou, Mireille Rational and algebraic series in combinatorial enumeration. (English) Zbl 1101.05004 Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume III: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 789-826 (2006). MSC: 05A15 68Q45 × Cite Format Result Cite Review PDF Full Text: arXiv
Rechnitzer, Andrew Haruspicy 3: The anisotropic generating function of directed bond-animals is not D-finite. (English) Zbl 1094.05002 J. Comb. Theory, Ser. A 113, No. 6, 1031-1049 (2006). MSC: 05A15 05B50 65Y15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David CoG-PETS: code generation for parameter estimation in time series. (English) Zbl 1344.65017 Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005. With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 198-212 (2005). MSC: 65C60 94A08 94A12 × Cite Format Result Cite Review PDF
Bousquet-Mélou, Mireille Algebraic generating functions in enumerative combinatorics and context-free languages. (English) Zbl 1118.05300 Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 18-35 (2005). MSC: 05A15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Chyzak, Frédéric; Mishna, Marni; Salvy, Bruno Effective scalar products of D-finite symmetric functions. (English) Zbl 1072.05051 J. Comb. Theory, Ser. A 112, No. 1, 1-43 (2005). MSC: 05E05 05E10 13N10 13P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schneider, Carsten The summation package Sigma: underlying principles and a rhombus tiling application. (English) Zbl 1066.68164 Discrete Math. Theor. Comput. Sci. 6, No. 2, 365-386 (2004). MSC: 68W30 05B45 33F05 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
Foupouagnigni, M.; Koepf, W.; Ronveaux, A. Factorization of fourth-order differential equations for perturbed classical orthogonal polynomials. (English) Zbl 1052.33006 J. Comput. Appl. Math. 162, No. 2, 299-326 (2004). Reviewer: Aleksey A. Dovgoshey (Donetsk) MSC: 33C45 33C47 × Cite Format Result Cite Review PDF Full Text: DOI
Meunier, Ludovic; Salvy, Bruno ESF: An automatically generated encyclopedia of special functions. (English) Zbl 1072.68687 Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 199-206 (2003). MSC: 68W30 33F10 × Cite Format Result Cite Review PDF
Foupouagnigni, M.; Koepf, W.; Ronveaux, A. On fourth-order difference equations for orthogonal polynomials of a discrete variable: Derivation, factorization and solutions. (English) Zbl 1062.33010 J. Difference Equ. Appl. 9, No. 9, 777-804 (2003). Reviewer: Aleksey A. Dovgoshey (Donetsk) MSC: 33C45 13P05 × Cite Format Result Cite Review PDF Full Text: DOI
Paule, Peter; Schneider, Carsten Computer proofs of a new family of harmonic number identities. (English) Zbl 1039.11007 Adv. Appl. Math. 31, No. 2, 359-378 (2003). Reviewer: Laurenţiu Panaitopol (Bucureşti) MSC: 11B65 11Y16 33F10 × Cite Format Result Cite Review PDF Full Text: DOI
Koepf, Wolfram Computer algebra algorithms for orthogonal polynomials and special functions. (English) Zbl 1031.33014 Koelink, Erik (ed.) et al., Orthogonal polynomials and special functions. Notes for the lectures of the summer school, Leuven, Belgium, August 12-16, 2002. Berlin: Springer. Lect. Notes Math. 1817, 1-24 (2003). Reviewer: Hans Benker (Merseburg) MSC: 33F10 × Cite Format Result Cite Review PDF