On Sat, Aug 27, 2016 at 12:14 PM, Richard Fateman
wrote:
>
> Take up a book on complex analysis and see what problems you have
> as you try to encode the statements, or especially the homework
> problems. I tried this decades ago with the text I used,
> https://www.amazon.com/Functions-Complex-V
Designation of branch cuts is sometimes denoted by natural language.
While the end points are specific -- depend of singularities -- the
cuts can be moved for convenience, and this is done often to evaluate
contour integrals, for example.
Take up a book on complex analysis and see what problems y
(email failed...retry)
William Sit wrote:
===
>I am still not sure what your immediate goal is. My current understanding
(correct me
>if I am still wrong) is that you want to translate the left hand side of
an identity (like a
>formula for an integral) given in latex into Axiom code which the
(email failed... retry)
The referenced paper only looked at the DLMF Airy functions. The results
are:
"Of the 17 sections in the DLMF sample chapter on Airy functions we can
handle the mathematical
formulas completely in 6, partially in 5 (without the transformation to
MathML), and 6 remain
inc
