C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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