Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. [electronic resource]

By: Contributor(s): Publication details: Journal of automated reasoning 2020Description: 331-360 p. digitalISSN:
  • 1573-0670
Online resources: In: Journal of automated reasoning vol. 64
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Publication Type: Journal Article

There are no comments on this title.

to post a comment.