Back to Search Start Over

A guide to Edward Sang's tables and to their reconstructions

Authors :
Roegel, Denis
Proof-oriented development of computer-based systems (MOSEL)
Department of Formal Methods (LORIA - FM)
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)
LORIA (Université de Lorraine, CNRS, INRIA)
Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Source :
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
Publication Year :
2020
Publisher :
HAL CCSD, 2020.

Abstract

This document is a guide through the reconstructions of the mathematical tables of Edward Sang (1805-1890). Edward Sang computed large tables of logarithms, as well as tables of sines, and various other tables, of which the main have been reconstructed in various volumes summarized here.

Details

Language :
English
Database :
OpenAIRE
Journal :
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
Accession number :
edsair.dedup.wf.001..ea05d31825d260380ef52310b7c0115d