Obras de Regiomontanus, Johannes (5) Lístanse todas as obras deste autor na Biblioteca Virtual Miguel de Cervantes