Cover Image

Positivity Proofs for Linear Recurrences through Contracted Cones

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ibrahim, Alaa, Salvy, Bruno
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
by: Ibrahim, Alaa
Published: (2025)

Positivity certificates for linear recurrences
by: Ibrahim, Alaa, et al.
Published: (2023)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

Effective Asymptotics of Combinatorial Systems
by: Pivoteau, Carine, et al.
Published: (2025)

Recycling Algebraic Proof Certificates
by: Kaufmann, Daniela, et al.
Published: (2025)

Absolute root separation
by: Bugeaud, Yann, et al.
Published: (2019)

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

In-place accumulation of fast multiplication formulae
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

Fast in-place accumulation
by: Dumas, Jean-Guillaume, et al.
Published: (2023)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
by: Garg, Abhibhav, et al.
Published: (2025)

On Recurrence Relations of Multi-dimensional Sequences
by: Rahkooy, Hamid
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Fast polynomial computations with space constraints
by: Grenet, Bruno
Published: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
by: Manjrekar, Mayank
Published: (2025)

NoSQL Graph Databases: an overview
by: Santos, Veronica, et al.
Published: (2024)

Constant-Depth Arithmetic Circuits for Linear Algebra Problems
by: Andrews, Robert, et al.
Published: (2024)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
by: de Freitas, Iago Leal, et al.
Published: (2025)

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
by: Pagès, Raphaël
Published: (2024)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)

On deciding transcendence of power series
by: Bostan, Alin, et al.
Published: (2025)

Formation of Distance‐Based Orientation: Political Identity through Relational Positioning in Israel
by: Tammar Friedman, et al.
Published: (2026)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Information-Theoretic Limits of Node Localization under Hybrid Graph Positional Encodings
by: Yan, Zimo, et al.
Published: (2026)

Fast interpolation and multiplication of unbalanced polynomials
by: Giorgi, Pascal, et al.
Published: (2024)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
by: Labruna, Tiziano, et al.
Published: (2024)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

On Parametric Linear System Solving
by: Corless, Robert M., et al.
Published: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

Certifying Phase Abstraction
by: Froleyks, Nils, et al.
Published: (2024)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)