What kind of math problems can be solved by automated theorem provers?
-
05-11-2019 - |
문제
Can I prove following statements with using available automated theorem provers?
$(a+b)^2=a^2+b^2+2ab$.
If $ 11 \mid 2a-3b$, then $ 11 \mid 7a-5b $.
If $ ax^2+bx+c=0$, then $x=\frac{-b\pm\sqrt{b^2-4ac} }{2a}$.
If $a$ is even then $4a$ is even.
and so on!
I am asking this question because I just found the application of Automated theorem provers in proving theorems in logic.
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange