Search

Your search keyword '"LORIA (Université de Lorraine, CNRS, INRIA)"' showing total 8 results
Start Over Author "LORIA (Université de Lorraine, CNRS, INRIA)" Topic [math.math-ho] mathematics [math]/history and overview [math.ho]
8 results on '"LORIA (Université de Lorraine, CNRS, INRIA)"'

1. A survey of the main fundamental European trigonometric tables printed in the 15th and 16th centuries

Author

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), and Roegel, Denis

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HIST] Humanities and Social Sciences/History, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document is a survey of the main European fundamental trigonometric tables printed in the 15th and 16th centuries. After a review of the work done before the 15th century in Greece, India and the Arab world, the starting points in Europe are examined. The seminal work of Regiomontanus is carefully studied and the lineage of all later works is established.

Published
2021

2. A reconstruction of Lansberge's trigonometric tables (1591)

Author

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), Roegel, Denis, 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), and 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)

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HIST] Humanities and Social Sciences/History, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document gives modern reconstructions of Philip van Lansberge (1561-1632)'s trigonometric tables published in 1591. These tables are based on those of Fincke published in 1583.

Published
2021

3. A reconstruction of Edward Sang's table of mean anomalies, volume A (K46,1880)

Author

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), Roegel, Denis, 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), and 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)

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, Edward Sang, eccentricity, mean anomaly, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HIST] Humanities and Social Sciences/History, Kepler equation, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], eccentric anomaly, Astrophysics::Earth and Planetary Astrophysics, [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document gives a reconstruction of Edward Sang (1805-1890)'s first table of mean anomalies. This table gives the mean anomalies for values of cos(eccentricity) ranging from cos(0) to cos(99), and for the eccentric anomaly ranging from 0 to 200 centesimal degrees. Such a table is useful in solving Kepler's equation. This is Sang's volume K46.

Published
2020

4. A reconstruction of Edward Sang's table of circular segments (K45,1879)

Author

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), 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), LORIA (Université de Lorraine, CNRS, INRIA), and Roegel, Denis

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, Edward Sang, circular segments, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HIST] Humanities and Social Sciences/History, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document gives a reconstruction of Edward Sang (1805-1890)'s table of circular segments, which are portions of a disk bounded by an arc and a chord. This is Sang's volume K45.

Published
2020

5. A reconstruction of Edward Sang's canon of sines (K40/1,1876)

Author

Roegel, Denis, 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), 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), and LORIA (Université de Lorraine, CNRS, INRIA)

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, Edward Sang, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [SHS.HIST] Humanities and Social Sciences/History, [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], sines, [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document gives a reconstruction of Edward Sang (1805-1890)'s canon of sines at intervals of 25 centesimal minutes and to 30 decimal places. This is the first part of Sang's volume K40.

Published
2020

6. A reconstruction of Edward Sang's table of mean anomalies, volume B (K47,1880)

Author

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), 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), LORIA (Université de Lorraine, CNRS, INRIA), and Roegel, Denis

Subjects
[SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, Edward Sang, eccentricity, mean anomaly, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.HIST] Humanities and Social Sciences/History, Kepler equation, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], eccentric anomaly, Astrophysics::Earth and Planetary Astrophysics, [SHS.HIST]Humanities and Social Sciences/History
Abstract

This document gives a reconstruction of Edward Sang (1805-1890)'s second table of mean anomalies. It is an abridgement of the table given in Sang's volume K46. The present table also gives the mean anomalies for values of cos(eccentricity) ranging from cos(0) to cos(99), and for the eccentric anomaly ranging from 0 to 200 centesimal degrees, but with a lesser accuracy, and with the variations between two adjacent eccentric anomalies and two adjacent eccentricities. Such a table is useful in solving Kepler's equation. This is Sang's volume K47.

Published
2020

7. A reconstruction of Herwart's table of multiplication (1610)

Author

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), Roegel, Denis, 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), and LORIA (Université de Lorraine, CNRS, INRIA)

Subjects
[MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

This is an analysis and reconstruction of Herwart von Hohenburg's famed table of multiplication, perhaps the largest table of multiplication ever published.

Published
2013

8. A reconstruction of Edward Sang's table of logarithms (1871)

Author

Roegel, Denis, Roegel, Denis, Proof-oriented development of computer-based systems (MOSEL), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), and LORIA (Université de Lorraine, CNRS, INRIA)

Subjects
[MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

This document is a reconstruction of Edward Sang's table of logarithms published in 1871.

Published
2010

Catalog

Books, media, physical & digital resources
See catalog results