Interpolation and Symbol Elimination in Vampire.

Krystof Hoder Laura Kovács Andrei Voronkov

Published in: IJCAR (2010)

Keyphrases

image interpolation
interpolation method
symbol recognition
databases
linear interpolation
relational databases
interpolation methods
information systems
edge directed
sparse sampling
data mining
averaged one dependence estimators