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

Wenda Li Lawrence C. Paulson

Published in: J. Autom. Reason. (2020)

Keyphrases

theorem prover
natural deduction
complex systems
real world
computer vision
higher level
computationally expensive
complex data
data mining
genetic algorithm
artificial intelligence
image processing
website
decision trees
bayesian networks
expert systems
machine learning
real time