A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher (1814-1883), and their extension to the tenth million

Denis Roegel 1
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.
Document type :
Reports
[Research Report] 2011


https://hal.inria.fr/hal-00654420
Contributor : Denis Roegel <>
Submitted on : Wednesday, December 21, 2011 - 7:38:36 PM
Last modification on : Tuesday, October 25, 2016 - 4:58:47 PM
Document(s) archivé(s) le : Monday, November 19, 2012 - 10:30:15 AM

Files

vol01.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00654420, version 1

Collections

Citation

Denis Roegel. A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher (1814-1883), and their extension to the tenth million. [Research Report] 2011. <hal-00654420>

Share

Metrics

Record views

139

Document downloads

562