FYI - semantic notation for math

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 non-ascii symbols such as 'inf for infinity.

------- Forwarded Message

Date: Wed, 29 May 1996 05:26:00 -0400
From: Ka-Ping Yee <kryee@novice.uwaterloo.ca>
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

    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 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.


Ping

------- End of Forwarded Message