Extensions of Büchi's problem: Questions of decidability for addition and kth powers
Work
Year: 2005
Type: article
Abstract: We generalize a question of Büchi: Let $R$ be an integral domain, $C$ a subring and $k\geq2$ an integer. Is there an algorithm to decide the solvability in $R$ of any given system of polynomial equati... more
Source: Fundamenta Mathematicae
Authors Thanases Pheidas, Xavier Vidaux
Institutions University of Crete, University of Concepción
Cites: 26
Cited by: 20
Related to: 10
FWCI: 0.644
Citation percentile (by year/subfield): 78.67
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze