Analyzing restricted fragments of the theory of linear arithmetic.

Piotr J. Wojciechowski Pavlos Eirinakis K. Subramani

Published in: Ann. Math. Artif. Intell. (2017)

Keyphrases

theoretical framework
theoretical basis
hilbert spaces
real time
linear systems
neural network
data mining
image processing
closed form
information theory
linear model
general theory