Sign in
An Arithmetic Proof of a Theorem of Chan, Long, and Yang.
Kenneth S. Williams
Published in:
Am. Math. Mon. (2023)
Keyphrases
</>
interactive theorem proving
active contours
theorem proving
active contour model
global minimization
total variation
piecewise constant
data sets
learning algorithm
artificial intelligence
multiscale
level set