Buchumschlag

Deciding summability via residues in theory and in practice

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Arreche, Carlos E.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation Algebraic Geometry Number Theory 39A06, 33F10, 68W30, 40C15, 12H10 I.1.2; F.2.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A computational approach to rational summability and its applications via discrete residues
von: Arreche, Carlos E., et al.
Veröffentlicht: (2025)

Computing discrete residues of rational functions
von: Arreche, Carlos E., et al.
Veröffentlicht: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
von: Davenport, James H., et al.
Veröffentlicht: (2026)

Non-minimality of minimal telescopers explained by residues
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

D-algebraic Guessing
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2025)

Computing with D-Algebraic Sequences
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2024)

Complex reflection groups as differential Galois groups
von: Arreche, Carlos E., et al.
Veröffentlicht: (2024)

Twisted Mahler discrete residues
von: Arreche, Carlos E., et al.
Veröffentlicht: (2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)

Symbolic Summation of Multivariate Rational Functions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2022)

Reduction systems and degree bounds for integration
von: Du, Hao, et al.
Veröffentlicht: (2024)

Hypergeometric-Type Sequences
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2023)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

Computing with Hypergeometric-Type Terms
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2024)

A universal sequence of tensors for the asymptotic rank conjecture
von: Kaski, Petteri, et al.
Veröffentlicht: (2024)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
von: González-Villa, Manuel, et al.
Veröffentlicht: (2026)

Smith normal forms of bivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2025)

Positivity certificates for linear recurrences
von: Ibrahim, Alaa, et al.
Veröffentlicht: (2023)

NP-membership for the boundary-boundary art-gallery problem
von: Stade, Jack
Veröffentlicht: (2025)

Fast computation of integral bases
von: Poteaux, Adrien, et al.
Veröffentlicht: (2024)

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2023)

PackSELL: A Sparse Matrix Format for Precision-Agnostic High-Performance SpMV
von: Suzuki, Kengo, et al.
Veröffentlicht: (2026)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
von: Lin, Yi, et al.
Veröffentlicht: (2025)

A certified classification of first-order controlled coaxial telescopes
von: Drogoul, Audric
Veröffentlicht: (2024)

Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation
von: Arreche, Carlos E.
Veröffentlicht: (2016)

An arithmetic method algorithm optimizing k-nearest neighbors compared to regression algorithms and evaluated on real world data sources
von: Anagnostopoulos, Theodoros, et al.
Veröffentlicht: (2026)

Computing square roots in quaternion algebras
von: Koprowski, Przemysław
Veröffentlicht: (2023)

Computing bases in Hermite normal form of lattices of integer relations
von: Labahn, George, et al.
Veröffentlicht: (2026)

How to Compute a Moving Sum
von: Maslen, David K., et al.
Veröffentlicht: (2025)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
von: Yu, Zhiming, et al.
Veröffentlicht: (2026)

Rigorous methods for computational number theory
von: de Boer, Koen, et al.
Veröffentlicht: (2025)

Efficient Binary Decision Diagram Manipulation in External Memory
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2021)

Reliable Optimization Under Noise in Quantum Variational Algorithms
von: Novák, Vojtěch, et al.
Veröffentlicht: (2025)

On Rational Recursion for Holonomic Sequences
von: Tabuguia, Bertrand Teguia, et al.
Veröffentlicht: (2024)

Plantinga-Vegter algorithm takes average polynomial time
von: Cucker, Felipe, et al.
Veröffentlicht: (2019)

Classification of obscuration-free reflective polygonal light beams
von: Franck, Pierre, et al.
Veröffentlicht: (2025)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
von: Pickering, Lynn, et al.
Veröffentlicht: (2023)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
von: Florescu, Dorian, et al.
Veröffentlicht: (2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
von: del Río, Tereso, et al.
Veröffentlicht: (2024)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)