22 citations · 139 across the 37 of their papers we have counts for
Showing math.AGShow all
3 papers · 1 filter
math.AG2019★ 5 cited
An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties
Mohamed Barakat, Markus Lange-Hegermann
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resu…
math.AG2014★ 4 cited
Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves
Mohamed Barakat, Markus Lange-Hegermann
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturall…
math.AG2014★ 4 cited
A constructive approach to the module of twisted global sections on relative projective spaces
Mohamed Barakat, Markus Lange-Hegermann
The ideal transform of a graded module is known to compute the module of twisted global sections of the sheafification of over a relative projective space. We introduce a s…