Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL.

Wenda Li Lawrence C. Paulson

Published in: CoRR (2018)

Keyphrases

theorem prover
natural deduction
complex systems
complex data
high level
real world
inference rules
hidden markov models
computationally intensive
higher level
higher order
high dimensional
image segmentation
information systems
computer vision
social networks
machine learning