Intersection theory and resolutions in OSCAR

Resumen:

OSCAR is a computer algebra system developed within the SFB-TRR 195 funded by the Deutsche Forschungsgemeinschaft (DFG). Throughout the last four years, we have been developing commutative algebra and algebraic geometry there together with Wolfram Decker, Simon Brandhorst, Janko Boehm, and Anne Fruehbis-Krueger. One specific goal was to facilitate computations with algebraic schemes which are modeled from coverings by affine patches and coherent sheaves on them -- just like in the text books. In this talk I will demonstrate the already existing functionality for iterated blowup constructions and intersection theory in the style of Fulton's book.

Compartir este seminario