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.
Liste complète des métadonnées

https://hal.inria.fr/hal-00880845
Contributeur : Denis Roegel <>
Soumis le : mercredi 6 novembre 2013 - 20:06:26
Dernière modification le : mardi 24 avril 2018 - 13:37:20
Document(s) archivé(s) le : vendredi 7 avril 2017 - 22:18:08

Fichier

ludolf1690doc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00880845, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

271

Téléchargements de fichiers

449