Intelligent Theorem Proving for Specific Domains