Found 54 Documents (Results 1–54)
Hermite reduction for D-finite functions via integral bases. (English) Zbl 07760758
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). 155-163 (2023).
MSC:
68W30
Beating binary powering for polynomial matrices. (English) Zbl 07760749
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). 70-79 (2023).
MSC:
68W30
Applications of Zeilberger’s algorithm to Ramanujan-inspired series involving harmonic-type numbers. (English) Zbl 1524.33092
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. (English) Zbl 1539.33019
Reviewer: Christoph Koutschan (Linz)
Apéry limits for elliptic \(L\)-values. (English) Zbl 1503.11082
Reviewer: Noriko Yui (Kingston)
Constructing minimal telescopers for rational functions in three discrete variables. (English) Zbl 1504.33017
Reviewer: Christoph Koutschan (Linz)
The generating function of Kreweras walks with interacting boundaries is not algebraic. (English. French summary) Zbl 1505.05009
Constructing reductions for creative telescoping. The general differentially finite case. (English) Zbl 1503.33018
Reviewer: Christoph Koutschan (Linz)
Walsh functions, scrambled \((0, m, s)\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration. (English) Zbl 1524.65020
On Christol’s conjecture. (English) Zbl 1514.33006
Efficient integer-linear decomposition of multivariate polynomials. (English) Zbl 1467.11123
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). 171-178 (2019).
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).
Additive decompositions in primitive extensions. (English) Zbl 1467.12001
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 135-142 (2018).
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions. (English) Zbl 1467.34011
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 95-102 (2018).
Holonomic tools for basic hypergeometric functions. (English) Zbl 1411.33019
Nashed, M. Zuhair (ed.) et al., Frontiers in orthogonal polynomials and \(q\)-series. Papers based on the international conference, University of Central Florida, Orlando, FL, USA, May 10–12, 2015. Dedicated to Professor Mourad Ismail on his 70th birthday. Hackensack, NJ: World Scientific. Contemp. Math. Appl., Monogr. Expo. Lect. Notes 1, 393-416 (2018).
Diagonals of rational functions, pullbacked \(\mathbf{_2F_1}\) hypergeometric functions and modular forms. (English) Zbl 1408.33008
Efficient algorithms for mixed creative telscoping. (English) Zbl 1429.68335
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). 127-134 (2016).
Symbolic computation of parameter integrals. (English) Zbl 1360.68952
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). 13-15 (2016).
Symbolic summation in difference rings and applications. (English) Zbl 1360.68954
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). 9-12 (2016).
On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters. (English) Zbl 1338.34167
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).
Parallel telescoping and parameterized Picard-Vessiot theory. (English) Zbl 1325.68269
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). 99-106 (2014).
On simultaneous Diophantine approximations to \(\zeta(2)\) and \(\zeta(3)\). (English) Zbl 1315.11062
Reviewer: Yaochen Zhu (Beijing)
Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation. (English) Zbl 1320.34018
Relativistic Coulomb integrals and Zeilberger’s holonomic systems approach. II. (English) Zbl 1403.68365
Barkatou, Moulay (ed.) et al., Algebraic and algorithmic aspects of differential and integral operators. 5th international meeting, AADIOS 2012, held at the applications of computer algebra conference, ACA 2012, Sofia, Bulgaria, June 25–28, 2012. Selected and invited papers. Berlin: Springer (ISBN 978-3-642-54478-1/pbk). Lecture Notes in Computer Science 8372, 135-145 (2014).
Creative telescoping for rational functions using the Griffiths-Dwork method. (English) Zbl 1360.68921
Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 93-100 (2013).
Lattice Green functions of the higher-dimensional face-centered cubic lattices. (English) Zbl 1267.82059
Telescopers for rational and algebraic functions via residues. (English) Zbl 1323.68592
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 130-137 (2012).
Order-degree curves for hypergeometric creative telescoping. (English) Zbl 1323.68591
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 122-129 (2012).
Congruences arising from Apéry-type series for zeta values. (English) Zbl 1293.11030
Reviewer: Romeo Meštrović (Kotor)
Arithmetic hypergeometric series. (English. Russian original) Zbl 1225.33008
Russ. Math. Surv. 66, No. 2, 369-420 (2011); translation from Usp. Mat. Nauk 66, No. 2, 163-216 (2011).
Reviewer: Stamatis Koumandos (Nicosia)
Complexity of creative telescoping for bivariate rational functions. (English) Zbl 1321.68524
Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 203-210 (2010).
The non-commutative \(A\)-polynomial of twist knots. (English) Zbl 1222.57008
Reviewer: Kazuo Habiro (Kyoto)
MSC:
57M27
57N10
57M25
A new algorithm for the recursion of hypergeometric multisums with improved universal denominator. (English) Zbl 1207.33025
Amdeberhan, Tewodros (ed.) et al., Gems in experimental mathematics. AMS special session on experimental mathematics, Washington, DC, January 5, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4869-2/pbk). Contemporary Mathematics 517, 143-156 (2010).
Ramanujan-type formulae for \(1/\pi\): a second wind? (English) Zbl 1159.11053
Yui, Noriko (ed.) et al., Modular forms and string duality. Proceedings of a workshop, Banff, Canada, June 3–8, 2006. Providence, RI: American Mathematical Society (AMS); Toronto: The Fields Institute for Research in Mathematical Sciences (ISBN 978-0-8218-4484-7/hbk). Fields Institute Communications 54, 179-188 (2008).
Reviewer: Jeremy Lovejoy (Paris)
Low complexity algorithms for linear recurrences. (English) Zbl 1356.65246
Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 31-38 (2006).
Padé approximations to the logarithm. III: Alternative methods and additional results. (English) Zbl 1108.41011
Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation. (English) Zbl 1102.41015
Reviewer: Francisco Perez Acosta (La Laguna)
MSC:
41A21
A generalization of Kummer’s identity. (English) Zbl 1046.33002
Reviewer: Per W. Karlsson (Lyngby)
Filter Results by …
Document Type
- Journal Articles (34)
- Collection Articles (20)
all
top 5
Author
- Chen, Shaoshi (11)
- Koutschan, Christoph (10)
- Bostan, Alin (8)
- Kauers, Manuel (6)
- Chyzak, Frédéric (5)
- Salvy, Bruno (5)
- Schneider, Carsten (5)
- Li, Ziming (4)
- Zudilin, Wadim (4)
- Abdelaziz, Y. (3)
- Campbell, John Maxwell (3)
- Huang, Hui (3)
- Labahn, George (3)
- Maillard, Jean-Marie (3)
- Arreche, Carlos E. (2)
- Boukraa, Salah (2)
- Driver, Kathy A. (2)
- Du, Lixin (2)
- Feng, Ruyong (2)
- Garoufalidis, Stavros (2)
- Giesbrecht, Mark W. (2)
- Lairez, Pierre (2)
- Paule, Peter (2)
- Prodinger, Helmut (2)
- Singer, Michael F. (2)
- Sun, Xinyu (2)
- Wang, Ronghua (2)
- Weideman, J. André C. (2)
- Wong, Elaine (2)
- Zima, Eugene V. (2)
- Beluhov, Nikolai Ivanov (1)
- Brochet, Hadrien (1)
- Chen, William Yong-Chuan (1)
- Cluzeau, Thomas (1)
- Dauguet, Simon (1)
- Du, Hao (1)
- Dumont, Louis (1)
- Fu, Guofeng (1)
- Hessami Pilehrood, Khodabakhsh (1)
- Hessami Pilehrood, Tatiana (1)
- Hou, Qinghu (1)
- Jiménez-Pastor, Antonio (1)
- Mahboubi, Assia (1)
- Neiger, Vincent (1)
- Pech, Lucien (1)
- Petkovšek, Marko (1)
- Raab, Clemens G. (1)
- Sibut-Pinote, Thomas (1)
- Suslov, Sergei K. (1)
- van der Hoeven, Joris (1)
- van Hoeij, Mark (1)
- Verron, Thibaut (1)
- Vidunas, Raimundas (1)
- Wiart, Jaspar (1)
- Yurkevich, Sergey V. (1)
- Zhu, Chaochao (1)
all
top 5
Serial
- J. Symb. Comput. (7)
- J. Phys. A, Math. Theor. (4)
- Adv. Appl. Math. (3)
- Sémin. Lothar. Comb. (2)
- Ramanujan J. (2)
- Math. Comput. Sci. (2)
- DML, Discrete Math. Lett. (2)
- Bull. Aust. Math. Soc. (1)
- Discrete Math. (1)
- Rocky Mt. J. Math. (1)
- Russ. Math. Surv. (1)
- J. Number Theory (1)
- Math. Comput. Simul. (1)
- Appl. Algebra Eng. Commun. Comput. (1)
- J. Knot Theory Ramifications (1)
- Ann. Comb. (1)
- J. Syst. Sci. Complex. (1)
- Log. Methods Comput. Sci. (1)
- Enumer. Comb. Appl. (1)
all
top 3
Software
- SIGMA (9)
- HolonomicFunctions (8)
- DEtools (7)
- qZeil (5)
- Maple (4)
- fastZeil (3)
- ComputeBelyi (2)
- DLMF (2)
- EvaluateMultiSums (2)
- Jordan (2)
- MultiSum (2)
- MultiZeilberger (2)
- OEIS (2)
- ZEILBERGER (2)
- hypergeometricsols (2)
- qZEILBERGER (2)
- AIDA (1)
- Algolib (1)
- AperyAcc (1)
- AperyAppx (1)
- AperyRecurrence (1)
- AperyWZ (1)
- Archive Formal Proofs (1)
- CakeML (1)
- Coq (1)
- Coq-Combi (1)
- CoqEAL (1)
- DDMF (1)
- DIFFALG (1)
- EKHAD (1)
- GitHub (1)
- HOL Light (1)
- HarmonicSums (1)
- Isabelle/HOL (1)
- Lean (1)
- Mathematica (1)
- Mathematical Components (1)
- Mgfun (1)
- NTL (1)
- NewZeil.m (1)
- PADE (1)
- RhoSum (1)
- SageMath (1)
- Stirling (1)
- SumProduction (1)
- SumTools (1)
- TeXmacs (1)
- Zeta_3_Irrational (1)
- hsum.mpl (1)
- ore_algebra (1)
- qTSPP (1)
