Skip to Main content Skip to Navigation
Reports

Edward Sang's steps for the construction of the logarithms of the primes (K1-K3)

Denis Roegel 1, 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This document describes how Edward Sang (1805-1890) derived the logarithms of the primes up to 10000. These logarithms were then used to compute the logarithms of the integers from 100000 to 370000. The computation steps cover the three original volumes K1 to K3.
Complete list of metadatas

https://hal.inria.fr/hal-03106583
Contributor : Denis Roegel <>
Submitted on : Monday, January 11, 2021 - 10:27:05 PM
Last modification on : Wednesday, January 13, 2021 - 3:36:09 AM

File

sang-K1-K2-K3-doc.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03106583, version 1

Citation

Denis Roegel. Edward Sang's steps for the construction of the logarithms of the primes (K1-K3). [Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020. ⟨hal-03106583⟩

Share

Metrics

Record views

10

Files downloads

62