Authors find small triangulations for specific 4-manifolds.
problem Finding optimal triangulations for 4-manifolds.
method Triangulated connected sums of CP^2 and S^2×S^2, conjectured minimal pentachora.
result Triangulations have the smallest number of pentachora for their types.