Matricial Proofs of Some Classical Results about Critical Point Location.

Charles R. Johnson Pietro Paparella

Published in: Am. Math. Mon. (2020)

Keyphrases

critical points
scale space
deep structure
vector field
theorem proving
gaussian scale space
image analysis
location information
formal proof
equational theories
information systems
decision trees
object recognition