Login / Signup
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration.
Yoshitaka Watanabe
Mitsuhiro T. Nakao
Published in:
Appl. Math. Comput. (2016)
Keyphrases
</>
infinite dimensional
verification method
finite dimensional
nonlinear equations
model checking
numerical solution
temporal logic
numerical methods
linear systems
convex sets
shape space
closed curves
differential equations
image sequences
euclidean space
euclidean distance
graph cuts
face recognition