Describir: Mathematics mechanization and applications /