| Author |
Comment/Response |
AJ
|
 04/25/08 1:19pm
Hi,
I would be very thankful if someone could help me find a reason to why the following resolution of the quantifiers is not working. It is an expression regarding 5 variables with existential quantifiers subject to given constraints. When I launch it, Mathematica just keeps running and returns no answer in form of true or false.
If I reduce the variables to 4, the same expression return true i.e executes instantly.
Secondly If I put the first expression in a nested for loop, It does not return the answer again.
Any help would be highly appreciated.
Regards.
Ahmed Jawad
ENSAM Metz
France.
Attachment: Resolve tests.nb, URL: www.ahmedjawad.com, |
|
