[Corpora-List] "Multi-encoded" corpora

[Albretch Mueller]

 MathML
~
 http://www.w3.org/Math/
~
 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

_______________________________________________
Corpora mailing list
Corpora at uib.no
http://mailman.uib.no/listinfo/corpora