Found 96 Documents (Results 1–96)
Power-partible reduction and congruences for07926978. (English) Zbl 07926978
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 118, No. 4, Paper No. 159, 10 p. (2024).
Reduction-based creative telescoping for definite summation of D-finite functions. (English) Zbl 07852642
Hypergeometric-type sequences. (English) Zbl 07852641
Reviewer: Thomas Ernst (Uppsala)
Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences. (English) Zbl 1525.11028
Reviewer: Christoph Koutschan (Linz)
Interview with Peter Paule. (English) Zbl 1511.01044
MSC:
01A70
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. (English) Zbl 1539.33019
Reviewer: Christoph Koutschan (Linz)
\(q\)-rational reduction and \(q\)-analogues of series for \(\pi\). (English) Zbl 1532.05017
Reviewer: Emanuele Munarini (Milano)
Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats. (English) Zbl 1512.05036
Recursions for modified Walsh transforms of some families of Boolean functions. (English) Zbl 1498.05281
Apéry limits for elliptic \(L\)-values. (English) Zbl 1503.11082
Reviewer: Noriko Yui (Kingston)
Simultaneous bifurcation of limit cycles and critical periods. (English) Zbl 1518.34042
Reviewer: Maite Grau (Lleida)
Efficient rational creative telescoping. (English) Zbl 1484.33031
Reviewer: Elaine Wong (Linz)
Contiguous relations and creative telescoping. (English) Zbl 1482.33016
Bluemlein, Johannes (ed.) et al., Anti-differentiation and the calculation of Feynman amplitudes. Selected papers based on the presentations at the conference, Zeuthen, Germany, October 2020. Cham: Springer. Texts Monogr. Symb. Comput., 335-394 (2021).
MSC:
33F10
An algorithmic approach to the \(q\)-summability problem of bivariate rational functions. (English) Zbl 1462.33012
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).
Convolutions of Liouvillian sequences. (English) Zbl 1471.33011
Reviewer: Shaoshi Chen (Beijing)
The art of telescoping (Abstract). (English) Zbl 1467.33025
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 1-3 (2019).
No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice. (English) Zbl 1392.65111
Reviewer: Ioannis Dassios (Thrakomakedones)
Reduction-based creative telescoping for algebraic functions. (English) Zbl 1360.68928
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 175-182 (2016).
Existence problem of telescopers: beyond the bivariate case. (English) Zbl 1364.33023
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 167-174 (2016).
Invariance of bipartite separability and PPT-probabilities over Casimir invariants of reduced states. (English) Zbl 1348.81111
Generalized two-qubit whole and half Hilbert-Schmidt separability probabilities. (English) Zbl 1375.81046
Trusting computations: a mechanized proof from partial differential equations to actual program. (English) Zbl 1369.35051
A generalized Apagodu-Zeilberger algorithm. (English) Zbl 1325.68270
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). 107-114 (2014).
Relativistic Coulomb integrals and Zeilberger’s holonomic systems approach. I. (English) Zbl 1308.81084
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, 225-241 (2013).
Creative telescoping for holonomic functions. (English) Zbl 1308.81102
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, 171-194 (2013).
Irreducibility of \(q\)-difference operators and the knot \(7_{4}\). (English) Zbl 1311.57017
Reviewer: Slava Krushkal (Charlottesville)
The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions. (English) Zbl 1397.81073
MSC:
81Q30
An efficient algorithm for deriving summation identities from mutual recurrences. (English) Zbl 1257.68149
Reviewer: Vilmar Trevisan (Porto Alegre)
Time-dependent solutions of the spatially implicit neutral model of biodiversity. (English) Zbl 1297.92089
Asymptotics of the \(L^2\) norm of derivatives of OPUC. (English) Zbl 1220.42019
Reviewer: Marcel G. de Bruin (Haarlem)
Rademacher-type formulas for restricted partition and overpartition functions. (English) Zbl 1211.11112
Reviewer: Marvin I. Knopp (Philadelphia)
A non-holonomic systems approach to special function identities. (English) Zbl 1237.33001
May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 111-118 (2009).
On the wrapping correction to single magnon energy in twisted \({\mathcal N}=4\) SYM. (English) Zbl 1179.82163
Fully packed loop models on finite geometries. (English) Zbl 1180.82021
Guttmann, Anthony J. (ed.), Polygons, polyominoes and polycubes. Dordrecht: Springer (ISBN 978-1-4020-9926-7/hbk; 978-1-4020-9927-4/ebook). Lecture Notes in Physics 775, 317-346 (2009).
Computer-assisted proofs of special function identities related to Poisson integrals. (English) Zbl 1182.33017
The \(q\)-WZ method for infinite series. (English) Zbl 1173.33317
Reviewer: Hans Benker (Merseburg)
Converging to Gosper’s algorithm. (English) Zbl 1173.33316
Reviewer: József Sándor (Cluj-Napoca)
Summation algorithms for Stirling number identities. (English) Zbl 1142.11008
Reviewer: Ping Sun (Shenyang)
Bieberbach’s conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality. (English) Zbl 1186.30001
Reviewer: Marcel G. de Bruin (Haarlem)
Padé approximations to the logarithm. III: Alternative methods and additional results. (English) Zbl 1108.41011
Disturbing the Dyson conjecture, in a generally GOOD way. (English) Zbl 1114.33025
Reviewer: Wolfram Koepf (Kassel)
On identities of the Rogers-Ramanujan type. (English) Zbl 1113.11013
Reviewer: Jeremy Lovejoy (Paris)
Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation. (English) Zbl 1102.41015
Reviewer: Francisco Perez Acosta (La Laguna)
MSC:
41A21
Finding telescopers with minimal depth for indefinite nested sum and product expressions. (English) Zbl 1360.68953
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 285-292 (2005).
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms. (English) Zbl 1121.33023
MSC:
33F10
65Q05
Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields. (English) Zbl 1101.39001
Advanced determinant calculus: a complement. (English) Zbl 1079.05008
Reviewer: László A. Székely (Columbia)
MSC:
05A19
15A15
05A15
05-02
15-02
05A10
05A17
05A18
05A30
05E10
05E15
11B68
11B73
11C20
11Y60
33C45
33D45
33E05
Solving parameterized linear difference equations in terms of indefinite nested sums and products. (English) Zbl 1087.33011
Reviewer: Christian Krattenthaler (Wien)
A new Sigma approach to multi-summation. (English) Zbl 1078.33021
Reviewer: Hans Benker (Merseburg)
Computer proofs of matrix product identities. (English) Zbl 1087.15017
Reviewer: Nicholas Karampetakis (Thessaloniki)
Symbolic summation with single-nested sum extensions. (English) Zbl 1134.33329
Gutierrez, Jaime (ed.), ISSAC 2004. Proceedings of the 2004 international symposium on symbolic and algebraic computation, Santander, Spain, July 4–7, 2004. New York, NY: ACM Press (ISBN 1-58113-827-X/pbk). 282-289 (2004).
Computer proofs for polynomial identities in arbitrary many variables. (English) Zbl 1134.68599
Gutierrez, Jaime (ed.), ISSAC 2004. Proceedings of the 2004 international symposium on symbolic and algebraic computation, Santander, Spain, July 4–7, 2004. New York, NY: ACM Press (ISBN 1-58113-827-X/pbk). 199-204 (2004).
MSC:
68W30
68T15
Computer proofs of a new family of harmonic number identities. (English) Zbl 1039.11007
Reviewer: Laurenţiu Panaitopol (Bucureşti)
qMultiSum – a package for proving \(q\)-hypergeometric multiple summation identities. (English) Zbl 1020.33007
Reviewer: Hans Benker (Merseburg)
(–1)-enumeration of plane partitions with complementation symmetry. (English) Zbl 1027.05003
Reviewer: Ljuben Mutafchiev (Sofia)
On the structure of multivariate hypergeometric terms. (English) Zbl 1057.33017
Reviewer: Hans Benker (Merseburg)
MSC:
33F10
MultInt, a MAPLE package for multiple integration by the WZ method. (English) Zbl 1015.33013
Reviewer: Nácere Hayek (La Laguna)
The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II. (English) Zbl 0965.05010
Multibasic and mixed hypergeometric Gosper-type algorithms. (English) Zbl 0973.33010
Reviewer: Wolfram Koepf (Leipzig)
The number of centered lozenge tilings of a symmetric hexagon. (English) Zbl 0915.05038
Reviewer: J.R.Galovich (Collegeville)
Representations of orthogonal polynomials. (English) Zbl 0907.65017
Reviewer: N.M.Temme (Amsterdam)
\(q\)-hypergeometric solutions of \(q\)-difference equations. (English) Zbl 0932.33019
Reviewer: N.M.Temme (Amsterdam)
Identities for families of orthogonal polynomials and special functions. (English) Zbl 0895.33002
Reviewer: W.Van Assche (Heverlee)
MSC:
33C45
Binomial identities – combinatorial and algorithmic aspects. (English) Zbl 0823.33003
Reviewer: R. Askey (Madison)
Riordan arrays and combinatorial sums. (English) Zbl 0814.05003
Reviewer: T.R.Walsh (Montreal)
On Zeilberger’s algorithm and its \(q\)-analogue. (English) Zbl 0797.65011
Reviewer: N.M.Temme (Amsterdam)
Identities in search of identity. (English) Zbl 0783.05007
Reviewer: B.L.Raktoe (St.Augustine)
Rational function certification of multisum/integral/“q” identities. (English) Zbl 0759.05007
Reviewer: R.K.Raina (Udaipur)
An algorithmic proof theory for hypergeometric (ordinary and “\(q\)”) multisum/integral identities. (English) Zbl 0739.05007
Reviewer: H.S.Wilf
Current trends in asymptotics: Some problems and some solutions. (English) Zbl 0724.41030
MSC:
41A60
The method of creative telescoping. (English) Zbl 0738.33002
Reviewer: R.Askey (Madison)
MSC:
33C20
A holonomic systems approach to special functions identities. (English) Zbl 0738.33001
Reviewer: R.Askey (Madison)
MSC:
33C20
The method of differentiating under the integral sign. (English) Zbl 0717.33004
Reviewer: R.Askey
MSC:
33C60
Rational functions certify combinatorial identities. (English) Zbl 0695.05004
Reviewer: Ian Anderson
Filter Results by …
Document Type
- Journal Articles (83)
- Collection Articles (13)
all
top 5
Author
- Kauers, Manuel (10)
- Schneider, Carsten (9)
- Zeilberger, Doron (9)
- Chen, Shaoshi (7)
- Koutschan, Christoph (7)
- Paule, Peter (6)
- Wang, Ronghua (6)
- Petkovšek, Marko (5)
- Koepf, Wolfram A. (4)
- Krattenthaler, Christian Friedrich (4)
- Sills, Andrew V. (4)
- Abramov, Sergeĭ Aleksandrovich (3)
- Chen, William Yong-Chuan (3)
- Slater, Paul B. (3)
- Stan, Flavia (3)
- Wilf, Herbert S. (3)
- Zhong, Michael X. X. (3)
- Chyzak, Frédéric (2)
- de Gier, Jan (2)
- Driver, Kathy A. (2)
- Hou, Qinghu (2)
- Labahn, George (2)
- Medina, Luis A. (2)
- Prodinger, Helmut (2)
- Riese, Axel (2)
- Salvy, Bruno (2)
- Weideman, J. André C. (2)
- Wimp, Jet (2)
- Almkvist, Gert (1)
- Arnold, John M. (1)
- Bauer, Andrej (1)
- Beccaria, Matteo (1)
- Björner, Anders (1)
- Blümlein, Johannes (1)
- Boldo, Sylvie (1)
- Brochet, Hadrien (1)
- Castro, Francis Noel (1)
- Chisholm, Ryan A. (1)
- Churchill, Berkeley R. (1)
- Ciucu, Mihai (1)
- Clément, François (1)
- Cohl, Howard Saul (1)
- De Angelis, Gian Fabrizio (1)
- de Hon, Bastiaan P. (1)
- Ding, Shuangshuang (1)
- Dunkl, Charles F. (1)
- Eisenkölbl, Theresia (1)
- Feng, Ruyong (1)
- Filliâtre, Jean-Christophe (1)
- Floris, Sander J. (1)
- Fu, Guofeng (1)
- Fulmek, Markus (1)
- Garoufalidis, Stavros (1)
- Giesbrecht, Mark W. (1)
- Gómez-Flores, Axel O. (1)
- González, Oscar E. (1)
- Huang, Hui (1)
- Jia, Cangzhi (1)
- Jia, Chen-Bo (1)
- Jiménez-Pastor, Antonio (1)
- Klein, Sebastian (1)
- Koornwinder, Tom H. (1)
- Lamagna, Edmund A. (1)
- Larcombe, Peter J. (1)
- Lee, Roman N. (1)
- Li, Ziming (1)
- Machacek, John M. (1)
- Mansour, Toufik (1)
- Martínez-Finkelshtein, Andrei (1)
- Mayero, Micaela (1)
- Mc Laughlin, James G. (1)
- Melquiond, Guillaume (1)
- Mohammed, Mohamud (1)
- O’Donnell, Ryan (1)
- Oliveira, Regilene D. S. (1)
- Pillwein, Veronika (1)
- Rakha, Medhat Ahmed (1)
- Saad, Husam L. (1)
- Sagan, Bruce Eli (1)
- Sánchez-Sánchez, Iván (1)
- Schlosser, Michael J. (1)
- Schmersau, Dieter (1)
- Simon, Barry (1)
- Smirnov, Vladimir Aleksandrovich (1)
- Sprugnoli, Renzo (1)
- Stănică, Pantelimon (1)
- Strehl, Volker (1)
- Suslov, Sergei K. (1)
- Tan, Liyang (1)
- Tefera, Akalu (1)
- Teguia Tabuguia, Bertrand (1)
- Torregrosa, Joan (1)
- van Hoeij, Mark (1)
- Wang, Tingming (1)
- Wang, Weiping (1)
- Weis, Pierre (1)
- Xia, Ernest X. W. (1)
- Yen, Lily (1)
- Zakrajšek, Helena (1)
- Zhao, Xiqiang (1)
- and 5 more Authors
all
top 5
Serial
- J. Symb. Comput. (21)
- Adv. Appl. Math. (9)
- Ramanujan J. (7)
- Discrete Math. (5)
- J. Comput. Appl. Math. (4)
- J. Comb. Theory, Ser. A (2)
- Theor. Comput. Sci. (2)
- J. Syst. Sci. Complex. (2)
- Enumer. Comb. Appl. (2)
- Int. J. Mod. Phys. A (1)
- Bull. Aust. Math. Soc. (1)
- Comput. Math. Appl. (1)
- J. Stat. Phys. (1)
- Rocky Mt. J. Math. (1)
- J. Geom. Phys. (1)
- Int. J. Math. Math. Sci. (1)
- Invent. Math. (1)
- J. Approx. Theory (1)
- Theor. Popul. Biol. (1)
- Eur. J. Comb. (1)
- J. Am. Math. Soc. (1)
- Linear Algebra Appl. (1)
- Bull. Am. Math. Soc., New Ser. (1)
- Appl. Algebra Eng. Commun. Comput. (1)
- Integral Transforms Spec. Funct. (1)
- J. Difference Equ. Appl. (1)
- J. High Energy Phys. (1)
- Qual. Theory Dyn. Syst. (1)
- Algebr. Geom. Topol. (1)
- Quantum Inf. Process. (1)
- J. Algebra Appl. (1)
- SIGMA, Symmetry Integrability Geom. Methods Appl. (1)
- J. Phys. A, Math. Theor. (1)
- Involve (1)
- Discrete Math. Algorithms Appl. (1)
- Adv. Math. Phys. (1)
- Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM (1)
- Discrete Anal. (1)
all
top 5
Year of Publication
- 2025 (1)
- 2024 (3)
- 2023 (4)
- 2022 (5)
- 2021 (2)
- 2020 (2)
- 2019 (2)
- 2018 (4)
- 2017 (1)
- 2016 (5)
- 2015 (4)
- 2014 (3)
- 2013 (3)
- 2012 (5)
- 2011 (2)
- 2010 (2)
- 2009 (6)
- 2008 (1)
- 2007 (2)
- 2006 (5)
- 2005 (7)
- 2004 (4)
- 2003 (3)
- 2002 (2)
- 2000 (1)
- 1999 (2)
- 1998 (2)
- 1997 (1)
- 1994 (2)
- 1993 (2)
- 1992 (2)
- 1991 (2)
- 1990 (3)
- 1989 (1)
all
top 3
Main Field
- 33-XX (64)
- 05-XX (30)
- 68-XX (30)
- 11-XX (20)
- 39-XX (11)
- 81-XX (8)
- 65-XX (6)
- 12-XX (5)
- 06-XX (4)
- 15-XX (4)
- 40-XX (4)
- 82-XX (4)
- 41-XX (3)
- 42-XX (3)
- 26-XX (2)
- 30-XX (2)
- 60-XX (2)
- 01-XX (1)
- 13-XX (1)
- 14-XX (1)
- 22-XX (1)
- 32-XX (1)
- 34-XX (1)
- 35-XX (1)
- 37-XX (1)
- 44-XX (1)
- 52-XX (1)
- 53-XX (1)
- 57-XX (1)
- 90-XX (1)
- 92-XX (1)
- 94-XX (1)
Biographic Reference
- Paule, Peter (1)
all
top 3
Software
- fastZeil (16)
- SIGMA (13)
- DEtools (12)
- qZeil (12)
- Maple (9)
- gfun (8)
- SumTools (7)
- MultiZeilberger (6)
- NewZeil.m (6)
- ZEILBERGER (6)
- qZEILBERGER (6)
- GeneratingFunctions (5)
- Mathematica (5)
- OEIS (5)
- EvaluateMultiSums (3)
- HolonomicFunctions (3)
- MultiSum (3)
- Stirling (3)
- qMultiSum (3)
- DLMF (2)
- FPS (2)
- HarmonicSums (2)
- ROBBINS (2)
- RRtools (2)
- SF (2)
- hypergeometricsols (2)
- ACSL (1)
- CAOP (1)
- CFSum (1)
- Caduceus (1)
- ContMarkovWZ (1)
- Coq (1)
- DDMF (1)
- DODGSON (1)
- DiffTools (1)
- Engel (1)
- FIESTA (1)
- Flocq (1)
- Gappa (1)
- GoodDyson (1)
- GuessRat (1)
- HyperTypeSeq (1)
- JBool (1)
- Jordan (1)
- KRAKATOA (1)
- Knot Atlas (1)
- LinBox (1)
- MACSYMA (1)
- MBasymptotics (1)
- MBresolve (1)
- MOPS (1)
- MarkovAZ (1)
- MarkovWZ (1)
- Motkzin (1)
- MotkzinClever (1)
- MultInt (1)
- NCPOLY (1)
- OreSys (1)
- OrthogonalPolynomials (1)
- PARI/GP (1)
- REDUCE (1)
- RaduRK (1)
- RatDiff (1)
- SageMath (1)
- Telescopers (1)
- Why3 (1)
- cvc3 (1)
- gmp (1)
- ore_algebra (1)
- pqTelescope (1)
- qMultiZeilberger (1)
- qTSPP (1)
- qseries (1)
- seL4 (1)
- z3 (1)