FYI - semantic notation for math
Subject: FYI - semantic notation for math
From: "Dave Raggett" <email@example.com>
Date: Wed, 29 May 1996 17:39:58 -0400
From firstname.lastname@example.org Wed May 29 17: 40:01 1996
This is an interesting attempt to define a linear syntax for the
semantic representation for math. It uses a simple functional
notation based on quoted function names together with infix
'deriv(f(x),x) = 'lim('quot(f(x+h)-f(x),h),h 'approach 0)
Quoted names are treated as functions when the quoted name is
immediately followed by a bracketed argument list. Quoted names
are also used for non-ascii symbols such as 'inf for infinity.
------- Forwarded Message
Date: Wed, 29 May 1996 05:26:00 -0400
From: Ka-Ping Yee <email@example.com>
Subject: Mathematics for the Web
Hello! This is Ka-Ping Yee, from the University of Waterloo.
A few months ago i wrote to you about the possibility of using
an Internet mediator service to allow rapid deployment of a
prototype for math on the Web (as a separate Content-Type).
I didn't have much time to work on it back then, but recently
i have plunged into the project. I have done some serious
thinking about how to accomplish this, and i am beginning to
put up my work at
I would really appreciate if you could take a moment to look
at this and let me know what you think, especially with regard
to the design decisions described in
, in particular the last section on "Duality". The page which
describes the "mathematics context" is not complete and still
in development, but i think the design principles and the basic
syntax have now stabilized after a few revisions. Currently, i
am working on making the "demo" page an interactive
demonstration which renders equations that you enter into a form.
Do you think that this merits a brief mention on the HTML-wg?
I know that this would not be a proposed standard related to
HTML, but there was quite a bit of talk about mathematics on
the list earlier and i would be sending such a message just
to let people know about it and get them thinking.
Many thanks for your time. I hope to hear from you soon.
------- End of Forwarded Message