Researchain
Decentralized Journals
A
Archives
Welcome to Researchain!
Feedback Center
Decentralized Journals
A
Archives
Updated
Computer Science
Symbolic Computation
Factorization of C-finite Sequences
Manuel Kauers
,
Doron Zeilberger
Abstract
We discuss how to decide whether a given C-finite sequence can be written nontrivially as a product of two other C-finite sequences.
Full PDF
Related Researches
New Opportunities for the Formal Proof of Computational Real Geometry?
by
Erika {Á}brahám
Resultants over principal Artinian rings
by
Claus Fieker
A Simple Method for Computing Some Pseudo-Elliptic Integrals in Terms of Elementary Functions
by
Sam Blake
Explosive Proofs of Mathematical Truths
by
Scott Viteri
Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation
by
Vincent Neiger
An Algorithm for Computing a Minimal Comprehensive Gröbner\, Basis of a Parametric Polynomial System
by
Deepak Kapur
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
by
Erika Ábrahám
Maximum Absolute Determinants of Upper Hessenberg Bohemian Matrices
by
Jonathan P. Keating
Integral P-Recursive Sequences
by
Shaoshi Chen
An Additive Decomposition in S-Primitive Towers
by
Hao Du
Separating Variables in Bivariate Polynomial Ideals
by
Manfred Buchacher
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
by
Hamid Rahkooy
Fast In-place Algorithms for Polynomial Operations: Division, Evaluation, Interpolation
by
Pascal Giorgi
On the Uniqueness of Simultaneous Rational Function Reconstruction
by
Eleonora Guerrini
A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension
by
Simone Naldi
Signature-based algorithms for Gr{ö}bner bases over Tate algebras
by
Xavier Caruso
Smooth Points on Semi-algebraic Sets
by
Katherine Harris
Compatible rewriting of noncommutative polynomials for proving operator identities
by
Cyrille Chenavier
First-Order Tests for Toricity
by
Hamid Rahkooy
Efficient q-Integer Linear Decomposition of Multivariate Polynomials
by
Mark Giesbrecht
A Condition for Multiplicity Structure of Univariate Polynomials
by
Hoon Hong
Essentially Optimal Sparse Polynomial Multiplication
by
Pascal Giorgi
Sparse Interpolation in Terms of Multivariate Chebyshev Polynomials
by
Evelyne Hubert
Sparse Polynomial Interpolation Based on Derivative
by
Qiao-Long Huang
On mu-Symmetric Polynomials
by
Jing Yang
«
1
2
3
4
»
Submitted on 12 Jan 2016
Updated
arXiv.org
Original Source
NASA ADS
Google Scholar
Semantic Scholar