Proof Synthesis and Reflection for Linear Arithmetic.

Amine Chaieb Tobias Nipkow

Published in: J. Autom. Reason. (2008)

Keyphrases

texture synthesis
database
neural network
data mining
machine learning
image processing
video sequences
closed form
theorem proving
linear systems
simple linear
arithmetic operations
natural deduction