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.
Document type :
Reports
[Research Report] 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-00880841
Contributor : Denis Roegel <>
Submitted on : Wednesday, November 6, 2013 - 8:03:15 PM
Last modification on : Tuesday, April 24, 2018 - 1:37:21 PM
Document(s) archivé(s) le : Friday, February 7, 2014 - 10:25:27 AM

Files

lifchitz1971doc2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00880841, version 1

Collections

INRIA | INSMI | UNIV-LORRAINE | LORIA-FM | LARA | LORIA

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

323

Files downloads

191

Contact


archive-ouverte@inria.fr