Formule di bisezione, parametriche, prostaferesi e Werner