PRACTICAL SOFTWARE FOR TRIANGULATING AND SIMPLIFYING 4-MANIFOLDS. - Burke, Rhuaidi Antonio (Journal of Computational Geometry, 2025)