scientific article
From MaRDI portal
Publication:3597204
zbMath1156.14300arXivmath/0410224MaRDI QIDQ3597204
Publication date: 9 February 2009
Full work available at URL: https://arxiv.org/abs/math/0410224
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Transcendental methods of algebraic geometry (complex-analytic aspects) (32J25) Functor categories, comma categories (18A25) Algebraic geometry (14-XX)
Related Items (1)
This page was built for publication: