A N Niel
Posts:
2,245
Registered:
12/7/04


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


In article <d9bfca9693de4b36b139c2a89d91c82b@h17g2000yqe.googlegroups.com>, Mate <mmatica@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.

