Author Info
Name
Affiliation
Papers
PIERRE BOUTRY
ICubeUMR 7357CNRSUniversity of StrasbourgPôle APIBd Sébastien BrantBP 10413Illkirch67412France
1
Collaborators
Citations 
PageRank 
2
0
0.34
Referers 
Referees 
References 
0
39
20
Title
Citations
PageRank
Year
Formalization of the arithmetization of Euclidean plane geometry and applications.00.342019