Login / Signup

On some decidable and undecidable problems related to q-difference equations with parameters.

Sergei A. Abramov
Published in: ISSAC (2010)
Keyphrases
  • difference equations
  • np complete
  • sufficient conditions
  • first order logic
  • dynamical systems
  • mathematical programming