Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences

DOI10.1007/978-3-662-43799-5_25zbMath1352.68066OpenAlexW373928868MaRDI QIDQ2799570

Marc Moreno Maza, Rong Xiao

Publication date: 12 April 2016

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43799-5_25

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Dependencies

Cites Work

• Unnamed Item
• Definability and fast quantifier elimination in algebraically closed fields
• Automatic generation of polynomial invariants of bounded degree using abstract interpretation
• Computing polynomial program invariants
• Computing the algebraic relations of \(C\)-finite sequences and multisequences

This page was built for publication: Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences