A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher 1814-1883, and their extension to the tenth millionReportar como inadecuado




A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher 1814-1883, and their extension to the tenth million - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 MOSEL - Proof-oriented development of computer-based systems LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : Between 1814 and 1883, the table of factors for the first nine millions were computed and published by Burckhardt, Dase and Glaisher, and they are reconstructed here, together with the still unpublished tenth million, also partially computed by Dase.





Autor: Denis Roegel -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados