2025 09 11

I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at CIRM Conference 3377: Synthetic mathematics, logic-affine computation and efficient proof systems, Luminy (France), 8-12 September 2025. Abstract, Slides.