Computer science also contributes to mathematics by developing techniques for the automatic checking or even finding of proofs, such as automated theorem proving and logic programming.
Информатиката исто така придонесува кон математиката со развој на техники за автоматска проверка, па дури и изнаоѓање на докази како автоматското докажување на теореми и логичкото програмирање.