Sebastian Xambo-Descamps
"WIT: an Omega package for Intersection Theory"
Omega/Spring, a new system for doing mathematics with
the help of computers, will be briefly presented and then it will be
illustrated with a few chosen examples. Special attention will be paid to
WIT, a modular package for calculations in Intersection Theory and
Enumerative Geometry.