(* Author: Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> *) section ‹Procedures to count the number of complex roots in various areas› theory Count_Complex_Roots imports Count_Half_Plane Count_Line Count_Circle Count_Rectangle begin end