[Maxima] Inverse trigonometric functions
fateman at cs.berkeley.edu
Sun Mar 1 13:20:33 CST 2009
> 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:
> or formula such as:
> 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 mailing list
> Maxima at math.utexas.edu
More information about the Maxima