Title: Proof Technology in Mathematics Research and Teaching