A Sheaf Model of the Algebraic Closure
From MaRDI portal
Publication:4995378
zbMath1469.03173arXiv1404.4549MaRDI QIDQ4995378
Thierry Coquand, Bassel Mannaa
Publication date: 24 June 2021
Full work available at URL: https://arxiv.org/abs/1404.4549
Symbolic computation and algebraic computation (68W30) Computational aspects of algebraic curves (14Q05) Other constructive mathematics (03F65) Sheaves in algebraic geometry (14F06)
This page was built for publication: A Sheaf Model of the Algebraic Closure