On Algebraic Proofs of Stability for Homogeneous Vector Fields.

Amir Ali Ahmadi Bachir El Khadir

Published in: CoRR (2018)

Keyphrases

vector field
velocity field
optical flow
motion field
theorem proving
gradient field
critical points
scalar field
deformation field
three dimensional
pairwise
higher order
flow field
differential operators
computer algebra