Non-minimality of minimal telescopers explained by residues
Fuente:
arXiv
Saved in:
| Main Authors: | Chen, Shaoshi, Kauers, Manuel, Koutschan, Christoph, Li, Xiuyun, Wang, Rong-Hua, Wang, Yisen |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Symbolic Integration in Weierstrass-like Extensions
by: Chen, Shaoshi, et al.
Published: (2026)
by: Chen, Shaoshi, et al.
Published: (2026)
Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)
by: Chen, Shaoshi, et al.
Published: (2025)
Deciding summability via residues in theory and in practice
by: Arreche, Carlos E.
Published: (2025)
by: Arreche, Carlos E.
Published: (2025)
A computational approach to rational summability and its applications via discrete residues
by: Arreche, Carlos E., et al.
Published: (2025)
by: Arreche, Carlos E., et al.
Published: (2025)
How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)
by: Chen, Shaoshi, et al.
Published: (2024)
D-algebraic Guessing
by: Tabuguia, Bertrand Teguia
Published: (2025)
by: Tabuguia, Bertrand Teguia
Published: (2025)
Computing discrete residues of rational functions
by: Arreche, Carlos E., et al.
Published: (2024)
by: Arreche, Carlos E., et al.
Published: (2024)
Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)
by: Chen, Shaoshi, et al.
Published: (2026)
Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)
by: Chen, Shaoshi, et al.
Published: (2022)
Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)
by: Kinoshita, Yasunori, et al.
Published: (2024)
Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era
by: Iravanian, Shahriar
Published: (2024)
by: Iravanian, Shahriar
Published: (2024)
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)
by: Lin, Yi, et al.
Published: (2025)
Parallel Summation in P-Recursive Extensions
by: Chen, Shaoshi, et al.
Published: (2024)
by: Chen, Shaoshi, et al.
Published: (2024)
Hypergeometric-Type Sequences
by: Tabuguia, Bertrand Teguia
Published: (2023)
by: Tabuguia, Bertrand Teguia
Published: (2023)
Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)
by: Li, Hongbo, et al.
Published: (2025)
Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)
by: Chen, Shaoshi, et al.
Published: (2025)
Complex reflection groups as differential Galois groups
by: Arreche, Carlos E., et al.
Published: (2024)
by: Arreche, Carlos E., et al.
Published: (2024)
The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)
by: Wenig, Maurice, et al.
Published: (2025)
A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)
by: Kauers, Manuel, et al.
Published: (2025)
Complete Reduction for Derivatives in a Primitive Tower
by: Du, Hao, et al.
Published: (2025)
by: Du, Hao, et al.
Published: (2025)
Computing with Hypergeometric-Type Terms
by: Tabuguia, Bertrand Teguia
Published: (2024)
by: Tabuguia, Bertrand Teguia
Published: (2024)
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)
by: Eberly, Wayne, et al.
Published: (2007)
Certification of the QR factor R, and of lattice basis reducedness
by: Villard, Gilles
Published: (2007)
by: Villard, Gilles
Published: (2007)
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)
by: England, Matthew
Published: (2024)
Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)
by: Davenport, James H., et al.
Published: (2026)
Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)
by: Lu, Dong, et al.
Published: (2025)
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
by: Sule, Virendra
Published: (2023)
by: Sule, Virendra
Published: (2023)
Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)
by: Bujok, Maksymilian, et al.
Published: (2024)
A certified classification of first-order controlled coaxial telescopes
by: Drogoul, Audric
Published: (2024)
by: Drogoul, Audric
Published: (2024)
Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)
by: McDaid, Edward, et al.
Published: (2024)
Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2026)
by: Michel, Lucas, et al.
Published: (2026)
On Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2024)
by: Michel, Lucas, et al.
Published: (2024)
Reduction systems and degree bounds for integration
by: Du, Hao, et al.
Published: (2024)
by: Du, Hao, et al.
Published: (2024)
Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)
by: McDaid, Edward, et al.
Published: (2025)
$XX^{t}$ Can Be Faster
by: Rybin, Dmitry, et al.
Published: (2025)
by: Rybin, Dmitry, et al.
Published: (2025)
On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)
by: Chen, Shaoshi, et al.
Published: (2026)
On Minimum CADs for Algebraic Sets in Dimension Three
by: Michel, Lucas
Published: (2026)
by: Michel, Lucas
Published: (2026)
Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
by: Hogan, Aidan, et al.
Published: (2025)
by: Hogan, Aidan, et al.
Published: (2025)
Invariants: Computation and Applications
by: Kogan, Irina A.
Published: (2024)
by: Kogan, Irina A.
Published: (2024)
Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
by: Smolensky, Paul, et al.
Published: (2024)
by: Smolensky, Paul, et al.
Published: (2024)
Similar Items
-
Symbolic Integration in Weierstrass-like Extensions
by: Chen, Shaoshi, et al.
Published: (2026) -
Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025) -
Deciding summability via residues in theory and in practice
by: Arreche, Carlos E.
Published: (2025) -
A computational approach to rational summability and its applications via discrete residues
by: Arreche, Carlos E., et al.
Published: (2025) -
How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)