Barakat, MohamedLange-Hegermann, Markus2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8496Mohamed Barakat, Markus Lange-Hegermann (TU Kaiserslautern, RWTH-Aachen) barakat@mathematik.uni-kl.de markus.lange.hegermann@rwth-aachen.de filtration, etc. We use these properties in applications to algebraic system theory, an ongoing work with Q UADRAT and C LUZEAU. Building on this infrastructure the project supports applications to algebraic geometry. This includes a constructive version of the BGGcorrespondence, TATE resolutions of coherent sheaves on projective schemes, their characteristic classes and cohomology, higher direct images under morphisms to affine spaces, divisors, etc. Recently, G UTSCHE contributed a package for toric varieties.enSpectral SequenceToric VarietyComputer Algebra SystemABELian CategoryCoherent SheaveText/Journal Article10.1007/BF033458510933-5994