tmtd thrm prvng (ls knwn s TP r tmtd ddctn) s sbfld f tmtd rsnng nd mthmtcl lgc dlng wth prvng mthmtcl thrms by cmptr prgrms. tmtd rsnng vr mthmtcl prf ws mjr mtvtng fctr fr th dvlpmnt f cmptr scnc.