Using Symbolic Computation to Find Algebraic Invariants.

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (1994)

Keyphrases

imperative programs
dynamic logic
moment invariants
neural network
higher order
linear algebra
image processing
affine invariant
invariant features
automated deduction