Describió gran número de máquinas sencillas y generalizó el principio de la palanca de Arquímedes.