Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory