Termination Proofs for Linear Simple Loops.

Hong Yi Chen Shaked Flur Supratik Mukhopadhyay

Published in: SAS (2012)

Keyphrases

simple linear
neural network
theorem proving
highly reliable
real time
multiresolution
data sets
artificial intelligence
probabilistic model
theorem prover
term rewriting
mathematical proofs