Login / Signup
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
Nathanaël Fijalkow
Pierre Ohlmann
Joël Ouaknine
Amaury Pouly
James Worrell
Published in:
Theory Comput. Syst. (2019)
Keyphrases
</>
computer vision
website
real time
neural network
digital libraries
relational databases
image transformations