A reconstruction of Lifchitz's table of primes (1971)

Denis Roegel 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Abstract : This is an analysis and reconstruction of Lifchitz's published table of primes, as well as a reconstitution of its unpublished first part.
Liste complète des métadonnées

https://hal.inria.fr/hal-00880841
Contributeur : Denis Roegel <>
Soumis le : mercredi 6 novembre 2013 - 20:03:15
Dernière modification le : mardi 24 avril 2018 - 13:37:21
Document(s) archivé(s) le : vendredi 7 février 2014 - 10:25:27

Fichiers

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

Identifiants

  • HAL Id : hal-00880841, version 1

Collections

Citation

Denis Roegel. A reconstruction of Lifchitz's table of primes (1971). [Research Report] 2013. 〈hal-00880841〉

Partager

Métriques

Consultations de la notice

332

Téléchargements de fichiers

193