Commercial software can’t keep pace with experimental precision when it comes to large-scale computer-algebra calculations in ...