includes event A computer-aided proof of the existence of a smooth rational surface Arrangements of planes in P4 formed from the Petersen graph Smooth general-type surfaces in P4 with many 7-secant lines Surfaces in P4 Vector bundles on projective spaces I and II
