[Prev][Next][Index][Thread]
FYI  semantic notation for math

To: w3cmatherb@w3.org

Subject: FYI  semantic notation for math

From: "Dave Raggett" <dsr@w3.org>

Date: Wed, 29 May 1996 17:39:58 0400

From dsr@w3.org Wed May 29 17: 40:01 1996

MessageId: <199605292139.AA109675998@w3.org>
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
operators, e.g.
'deriv(f(x),x) = 'lim('quot(f(x+h)f(x),h),h 'approach 0)
or
'integ(f(x),x,0,'inf)
Quoted names are treated as functions when the quoted name is
immediately followed by a bracketed argument list. Quoted names
are also used for nonascii symbols such as 'inf for infinity.
 Forwarded Message
Date: Wed, 29 May 1996 05:26:00 0400
From: KaPing Yee <kryee@novice.uwaterloo.ca>
Subject: Mathematics for the Web
Hello! This is KaPing 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 ContentType).
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
http://www.lfw.org/math/
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
http://www.lfw.org/math/design.html
, 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 HTMLwg?
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.
Ping
 End of Forwarded Message