By contrast, compiled computer programs need no compiler present during execution.
संगणकाच्या मदतीने लिहिलेल्या सिद्धता वापरल्या जाव्यात अथवा नाही यावर आजच्या गणितींमध्ये मतभेद आहेत.