Otomati̇k Muhakeme

Geometrik teorem kanıtlama, cebirsel denklem çözme ve matematiksel teorem kanıtlama dahil olmak üzere bilgisayar tabanlı matematiksel akıl yürütme. yapay zekanın bir alt disiplinidir.