Automated Deduction in Geometry
From MaRDI portal
Publication:5902020
DOI10.1007/b95516zbMath1202.14013OpenAlexW2489376520MaRDI QIDQ5902020
Publication date: 4 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95516
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Towards transversality of singular varieties: splayed divisors ⋮ Étale neighbourhoods and the normal crossings locus ⋮ The Hironaka theorem on resolution of singularities (Or: A proof we always wanted to understand) ⋮ Characterizing normal crossing hypersurfaces
Uses Software
This page was built for publication: Automated Deduction in Geometry
