Mate
Posts:
389
Registered:
8/15/05


Re: can your CAS help proving inequalities?
Posted:
Mar 10, 2013 10:25 AM


On Mar 10, 4:14 pm, A N Niel <ann...@nym.alias.net.invalid> wrote: > In article > <d9bfca9693de4b36b139c2a89d91c...@h17g2000yqe.googlegroups.com>, > > Mate <mmat...@personal.ro> wrote: > > > What about > > solve({t*Zeta(1/2+I*t)=0, t>=0},t); > > which returns > > {t=0} > > You are right. For nonpolynomial equations, Maple "solve" just finds > one solution, even if more exist.
Not only that. Even if we add AllSolutions=true, the answer is the same. The point is that we cannot trust any CAS (I think) for such problems. (The method used could be just a probabilistic one, we don't know.)

