A reconstruction of Ludolfs's Tetragonometria tabularia (1690)

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 Ludolf's table of squares, one of the earliest very large table of squares.
Document type :
Reports
Complete list of metadatas
https://hal.inria.fr/hal-00880845
Contributor : Denis Roegel <>
Submitted on : Wednesday, November 6, 2013 - 8:06:26 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Friday, April 7, 2017 - 10:18:08 PM

File

ludolf1690doc.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00880845, version 1

Collections

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

Citation

Denis Roegel. A reconstruction of Ludolfs's Tetragonometria tabularia (1690). [Research Report] 2013. ⟨hal-00880845⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

331

Files downloads

613

Contact


archive-ouverte@inria.fr