CIRC : A Circular Coinductive Prover.

Dorel Lucanu Grigore Rosu

Published in: CALCO (2007)

Keyphrases

theorem proving
hough transform
theorem prover
harmonic functions
automated theorem proving
microstrip antenna
query processing
computational complexity
preprocessing
pairwise
high dimensional
wavelet transform
image registration