01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in collection : Skorobogatov 60
Nous vérifions le principe de Manin-Peyre et le crible géométrique pour des variétés toriques déployées. Nous l'appliquons à une question de Wittenberg sur la pureté de l’approximation forte, et aussi à la proportion des fibres d’une fibration possédant un point adélique, pourvu que toutes les fibres sur les points de codimension un soient “scindées” (une notion qui remonte à Skorobogatov).