[isabelle] solving an equation in isabelle
i try to solve an equation in isabelle in which i use 6 parameter. But
isabelle can not solve this problem with auto.
is there any other method for solving problems automatically (i have tried
simp and arith too. )
the important things in the equation are :
(((y1-y2)^nat (p - 3)) - x1 ) ^3 = .....
i think the use of nat and power may be a problem against the auto.
can anybody recommend something?
This archive was generated by a fusion of
Pipermail (Mailman edition) and