Geometra greco (sec. 4º a. C.); contemporaneo di Platone, contribuì, secondo Eudemo, "ad aumentare il numero dei teoremi conosciuti e a giungere a un insieme più scientifico". Fu uno dei cultori del metodo analitico e nella sua scuola maturò il concetto di diorisma.