We make the case that over the coming decade, computer assisted
reasoning will become far more widely used in the mathematical
sciences. This includes interactive and automatic theorem
verification, symbolic algebra, and emerging technologies
such...