Generación de primos demostrables: implementación y resultados

En este trabajo se presentan los resultados derivados de la implementación real del método de Maurer para obtener primos demostrables de tamaños grandes. Se resumen las experiencias adquiridas a lo largo del proceso y se muestran los resultados de la experimentación. El método funciona correctamente pero ciertas dificultades de implementación provocan que el porcentaje de primos alcanzables para un tamaño fijado sea excesivamente pequeño lo que podría justificar su poco extendido uso.