University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Evaluating winding numbers through Cauchy indices in Isabelle/HOL

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Evaluating winding numbers through Cauchy indices in Isabelle/HOL

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact INI IT.

BPR - Big proof

In this talk, I will describe a newly developed tactic that evaluates winding numbers through Cauchy indices. By combining with remainder sequences, this theory of Cauchy indices also leads to decision procedures to count the number of complex roots of a polynomial in some domain.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Birkbeck Lectures Meeting the Challenge of Healthy Ageing in the 21st Century BlueSci Talks Armourers and Brasiers Cambridge Forum Cambridge Parasitology Club Meetings 2012-13

Other talks

The Fyodorov-Bouchaud conjecture and Liouville conformal field theory Saving the People of the Forest: one chocolate bar and one nebulizer treatment at a time Acceleration of tropical cyclogenesis by self-aggregation feedbacks Eurostar with Philippe Mouly
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity