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.
Liste complète des métadonnées

https://hal.inria.fr/hal-00654420
Contributeur : Denis Roegel <>
Soumis le : mercredi 21 décembre 2011 - 19:38:36
Dernière modification le : mardi 24 avril 2018 - 13:36:53
Document(s) archivé(s) le : lundi 19 novembre 2012 - 10:30:15

Fichiers

vol01.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

366

Téléchargements de fichiers

689