469,948 Members | 2,819 Online
Bytes | Developer Community
New Post

Home Posts Topics Members FAQ

Post your question to a community of 469,948 developers. It's quick & easy.

Canonical Science Today, Basic requirements for mathematical-scientific language

I have updated some basic requirements for a generic mathematical
markup language for scientific requirements at the next link.


Some requirements fit into the XML model and could be considered for
debate for the future mathML specifications. Other requirements do not
fit and will be developed in alternative mathematical approaches to
those from the w3c from the Center for CANONICAL |SCIENCE).

Some requirements were presented in the past


but that document will be updated.
=== Basic requirements =============
Data optimisation

MathML is unnaturally verbose and redundant. Whereas in practice this
is not a serious problem for encoding simple formulae as E=mc^2, it is
a problem for scientific databases and for computation or interchange
of information.

In shorthand notation, the Redfield equation reads

(partial rho) / (partial t) = (L + R) rho

where R is the Redfield tensor. But equation stored for a small
physicochemical system of current interest needs of the order of 7 GB
of memory.

Taking an x10 verbosity factor, we would need 70 Gb in MathML for the
same equation.

The Redfield equation is an ultrasimplified version of more general

For example, following MathML 2.0 specification matrix

0 1 0
0 0 1
1 0 0

is encoded as


but can I use this ultraverbose encoding for Detour matrices of
scientific interest? Detour matrices are N x N ones. In mathematical
chemistry, N is of the order of the size of a chemical compound.

I do not consider elegant and coherent encoding big (N = 1000) Detour
matrices using MathML. Is it?
Encoding of non-hierarchical structures

This may be useful on quantum mechanical models.

Currently MathML presentational markup is not, and not all people agree
on extensibility of Content MathML.
Backward compatibility

Language would be more close possible to popular existent systems. I
mean: TeX, LaTeX, Mathematica, Maple, Fortran, Lisp, C, ISO 12083, AAP
Math, some scientific DTD (Elsevier one), etc.

This also includes compatibility with CSS, HTML and others.
Formal language

For example, SXML is directly based in SEXPR and permit us to exploit
formal structure for abstraction layers.

I agree with mathematician Chaitin on the possibilities of computerized
versions of set theory.

The good and concise is twice good!

The language would be directly manipulated and encoded by humans.

Another "advanced" site where (ds)^2 is being incorrectly served as
2s ds is Distler's blog MUSSINGS.

If you rely on tools and you are trained to never see the underlying
code (MathML is popularly presented as a kind of hidden mathematical
postscript) you do not know you are encoding.

MathML ultraverbose code

<annotation-xml encoding="MathML-Content">
for \int_1^t \frac{dx}{x} may be avoided. Difficulty of the encoding
would be of same order than in TeX.
Juan R.


Apr 18 '06 #1
0 1445

This discussion thread is closed

Replies have been disabled for this discussion.

Similar topics

7 posts views Thread by A Leaf Blower and A Geode Discussing Politics | last post: by
8 posts views Thread by Mateusz Łoskot | last post: by
reply views Thread by meditation2004-subscribe | last post: by
5 posts views Thread by wpmccormick | last post: by
1 post views Thread by zzz | last post: by
By using this site, you agree to our Privacy Policy and Terms of Use.