Proof Technology in Mathematics Research and Teaching