MathML ~
http://en.wikipedia.org/wiki/MathML ~
gives us a way to encode formulas/equations and logical statements, but it would be nice if we could also somehow encode charts in some descriptive language that would let us draw pictures (which in many cases are very fundamental parts of the proofs) as close as possible to the original work ~
Looking around for "prior art" I found ~
http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI29.html ~
what I thought to be some interesting approach. I thought uses a java applet to draw, based on some description passed through via parameters (Slick!). [s]he has also included the image ~
It looks like this ~ <applet code=Geometry codebase="../../Geometry" archive=Geometry.zip height=250 width=250>
<img src="propI29a.gif" alt="java applet or image">
<param name=background value="35,19,100">
<param name=title value="Poincare disk">
<param name=e[1] value="O;point;free;125,125;0;0">
<param name=e[2] value="P;point;free;225,125;0;0">
<param name=e[3] value="disk;circle;radius;O,P;0;0;0;random"> . . .
<param name=e[21] value="B1;point;first;Bpar;0;0">
<param name=e[22] value="B2;point;last;Bpar;0;0">
<param name=e[23] value="Bp;sector;arc;B2,C,B1;0;0;black;0"> </applet> ~
Using an applet would be very nice as a teaching aid. You could show the proof step by step in parallel, both in a visual and in a textual way ~
The idea would be to use some kind of XML descriptive enough to render the needed charts ~
So as a question, do you know of any multi-encoded questions out there? ~
lbrtchx