Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yves Bertot
Map detail
Yves Bertot3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipYves BertotAYves BertotResearcherFormal study of plane Delaunay triangulationWFormal study of plane D...preprint / 2010Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric PolynomialsWFormal Proofs of Transc...preprint / 2015
Person2 links

Yves Bertot

Researcher