Assessing path-following performance for Unmanned Marine Vehicles with algorithms from numerical commutative algebra | IEEE Conference Publication | IEEE Xplore