Equations, Contractions, and Unique Solutions.

Davide Sangiorgi

Published in: POPL (2015)

Keyphrases

image processing
boundary value problem
polynomial equations
optimal solution
mathematical model
benchmark problems
linear systems
similar problems
neural network
information retrieval
artificial intelligence
case study
image segmentation
solution quality
differential equations
boundary conditions