Unique Solutions of Contractions, CCS, and their HOL Formalisation.

Chun Tian Davide Sangiorgi

Published in: EXPRESS/SOS (2018)

Keyphrases

solution space
optimal solution
software engineering
benchmark problems
theorem prover
database
data mining
information retrieval
metadata
image segmentation
multiscale
higher order
polynomial equations