|
From: | Tim Daly |
Subject: | Re: [Axiom-developer] Design of Semantic Latex |
Date: | Sat, 27 Aug 2016 13:28:26 -0400 |
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-Variable- Technique-Mathematics/dp/ 0898715954
but probably any other text would do.
I think the emphasis on handbook or reference book representation
is natural, and I have certainly pursued this direction myself. However
what you/we want to be able to encode is mathematical discourse. This
goes beyond "has the algorithm reproduced the reference value for an
integration." Can you encode in semantic latex a description of the geometry
of the (perhaps infinitely layered) contour of a complex function? You
might wonder if this is important, but then note that questions of this sort
appear in the problem section for chapter 1.
Here's the challenge then. Take a mathematics book and "encode"
it so that a program (hypothetically) could answer the problems at
the end of each chapter.
[Prev in Thread] | Current Thread | [Next in Thread] |