[Om3] linear algebra CDs

[Michael Kohlhase]

Michael Kohlhase wrote:
> Dear all,
>
> As actioned, I have started looking at the linear algebra CDs, in
> particular, linalg2.ocd and linalg3.ocd to clean up what I found there.
> There I found that MathML2 allowed to construct vectors and matrices
> from functions. This is not something the OpenMath CDs I found allowed
> us to do.
>
> Therefore I constructed the first draft of a CD I call linalg6.ocd
> (linalg4 and linalg5 already seem to be taken), which does that. Please
> look at  https://svn.openmath.org/OpenMath3/cd/MathML/linalg6.xhtml and
> comment.
>
> I quite liked the idea to just use matrix at linalg6 and vector at linalg6,
> but I suspect that we need a row-based and a column-based version of
> these two symbols, which would suggest that they might be included into
> linalg2.ocd and linalg3.ocd under symbol names like fvector at linalg2/3
> and fmatrix at linalg2/3 (I do not particular like these, please suggest
> better ones).
>
> Please comment on this.
>   
Another thing that I just realized in MathML, we insist on having
default renderings for all content MathML, but MathML2 does not seem to
specify anything on this. Do you have any intuitions?
> Michael
>
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------