Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

Formalization of the Lindemann-Weierstrass Theorem

 Sophie Bernard
Interactive Theorem Proving, Sep 2017, Brasilia, Brazil
Communication dans un congrès hal-01647563v1
Image document

Comparative Structural and Functional Analyses of the Fusiform, Oval, and Triradiate Morphotypes of Phaeodactylum tricornutum Pt3 Strain

 Ludovic Galas , Carole Burel , Damien Schapman , Marc Ropitaux , Sophie Bernard , et al.
Frontiers in Plant Science, 2021, 12, pp.584. ⟨10.3389/fpls.2021.638181⟩
Article dans une revue hal-03195703v1

Formal Proofs of Transcendence for e and π as an Application of Multivariate and Symmetric Polynomials

 Sophie Bernard , Yves Bertot , Laurence Rideau , Pierre-Yves Strub
Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12
Communication dans un congrès hal-01240025v1
Image document

Unsolvability of the Quintic Formalized in Dependent Type Theory

 Sophie Bernard , Cyril Cohen , Assia Mahboubi , Pierre-Yves Strub
ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome / Virtual, France
Communication dans un congrès hal-03136002v4
Page :