Leonardo da Vinci kot matematik