Login / Signup

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.

Nathanaël FijalkowPierre OhlmannJoël OuaknineAmaury PoulyJames Worrell
Published in: Theory Comput. Syst. (2019)
Keyphrases
  • computer vision
  • website
  • real time
  • neural network
  • digital libraries
  • relational databases
  • image transformations