If you made any changes in Pure these will be visible here soon.

Research Output 2014 2019

  • 2 Conference contribution book
  • 1 Paper
  • 1 Article
Filter
Article
2014
29 Downloads (Pure)

Views of pi: definition and computation

Bertot, Y. & Allais, G., 2014, In : Journal of Formalized Reasoning. 7, 1, p. 105-129 25 p.

Research output: Contribution to journalArticle

Open Access
File
Pi
Regular polygon
Formal Proof
Odd number
Perimeter