Lo?c wrote:
> Hello,
>
> Does anyone know if it's possible with Maxima to compute expressions
>
Please define what you mean by "compute expressions".
Do you mean "prove that identities are true"
or do you mean "invent new formulas"
or do you mean confirm them numerically?
> such as Machin's formula:
> pi/4=4arctan(1/5)-arctan(1/239)
>
> or formula such as:
>
> cos(1/2*arccos(1/3))=sqrt(6)/3
>
> If it's impossible,
In general, proving that f(x)=0 is recursively undecidable, as shown by
Daniel Richardson in 1968.
So yes, some interpretation of your question leads to an impossibility.
> does anyone know if someone plan to implement it in
> Maxima?
>
> Best
>
> Lo?c
>
>
>
>
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>