We stand with Ukraine  

Antoine Chambert-Loir

Orcid: 0000-0001-8485-7711

According to our database1, Antoine Chambert-Loir authored at least 2 papers between 2017 and 2025.

Collaborative distances:
  • Dijkstra number2 of seven.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Formalization of Divided Powers in Lean.
[BibTeX]
[DOI]
Antoine Chambert-Loir
,
María Inés de Frutos-Fernández
CoRR, July, 2025

2017
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp.
[BibTeX]
[DOI]
Antoine Chambert-Loir
Bull. Symb. Log., 2017


  Loading...