472,337 Members | 1,488 Online
Bytes | Software Development & Data Engineering Community
+ Post

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 472,337 software developers and data experts.

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 1542

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

by: A Leaf Blower and A Geode Discussing Politics | last post by:
Today I wrote a c# service that read and parsed and XML file and manipulated other services based on using the values in the XML to evaluate http...
by: Mateusz Łoskot | last post by:
Hi, I'd like to ask some scientists or students which GUI toolkit they would recommend to develop scientific prototypes (for education and...
by: meditation2004-subscribe | last post by:
Learn the Science of Meditation. Online. Sing the Song of the Soul! Yes, you do get beautiful MP3 files with this course, plus wonderful slide...
by: Juan R. | last post by:
Introduction I am developing the CanonML language (version 1.0) as a way to generate, store, and publish canonical science documents on the...
by: Juan R. | last post by:
The initial CanonMath program presented here http://canonicalscience.blogspot.com/2006/02/choosing-notationsyntax-for-canonmath.html] was...
by: Juan R. | last post by:
Since the idea of encoding mathematics using MathML is being very far from popular due to a number of factors -expensive tools, bad accesibility of...
by: M Skabialka | last post by:
I am creating my first Visual Studio project, an inventory database. I have created a form and used written directions to add data from a table to...
by: wpmccormick | last post by:
What is the cleanest way to gain access to object methods and properties across classes and files in the same namespace? Example: A form object...
by: zzz | last post by:
Hi all, I was recently reading the book "Write Great code by ryndall Hyde" in this in chapter 8 the following are given. given n input...
by: destroooooy | last post by:
I'm wondering what is the canonical usage of the keywords 'is' and 'not' when you're writing conditionals and loops. The one I've been following is...
by: better678 | last post by:
Question: Discuss your understanding of the Java platform. Is the statement "Java is interpreted" correct? Answer: Java is an object-oriented...
by: Kemmylinns12 | last post by:
Blockchain technology has emerged as a transformative force in the business world, offering unprecedented opportunities for innovation and...
by: CD Tom | last post by:
This happens in runtime 2013 and 2016. When a report is run and then closed a toolbar shows up and the only way to get it to go away is to right...
by: CD Tom | last post by:
This only shows up in access runtime. When a user select a report from my report menu when they close the report they get a menu I've called Add-ins...
by: jalbright99669 | last post by:
Am having a bit of a time with URL Rewrite. I need to incorporate http to https redirect with a reverse proxy. I have the URL Rewrite rules made...
by: antdb | last post by:
Ⅰ. Advantage of AntDB: hyper-convergence + streaming processing engine In the overall architecture, a new "hyper-convergence" concept was...
by: Matthew3360 | last post by:
Hi, I have a python app that i want to be able to get variables from a php page on my webserver. My python app is on my computer. How would I make it...
by: AndyPSV | last post by:
HOW CAN I CREATE AN AI with an .executable file that would suck all files in the folder and on my computerHOW CAN I CREATE AN AI with an .executable...
by: Arjunsri | last post by:
I have a Redshift database that I need to use as an import data source. I have configured the DSN connection using the server, port, database, and...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.