Login / Signup
Undecidability of Inferring Linear Integer Invariants.
Sharon Shoham
Published in:
CoRR (2018)
Keyphrases
</>
integer arithmetic
machine learning
computer vision
case study
description logics
closed form
point correspondences
differential operators