theorem proving

[کامپیوتر] اثبات نظریه .
[زمین شناسی] اثبات قضیه
[آمار] اثبات قضیه