We are pleased to announce that release 1.0 of ActiveMath is finally available.
ActiveMath 1.0 is a stabilization of years of ActiveMath development and a polish of most of its features. The highlights of this release are:
Dear ActiveMath Forum users,
This forum post is not directly about the ActiveMath project and if you feel this message does not belong here, please delete it and forgive my intrusion.
I am currently working on a research project for an MSc degree in computer science at the Open University in the UK. In short terms, the project is about mathematical knowledge assessment of the Web. It comprises three parts, two of which are also covered by the ActiveMath projet: authoring (1), representation (2) and comparison of mathematical formulae (3) on the Web.
Notes about the ActiveMath Online Tutorial, May 4, 2007
I remember having studied a book using what I remember as the british category school. This notation stipulates that function application is written left to right, ie that:
f∘g(x) should be written xfg
As far as I can tell, all the tools I have seen around that handle mathematical notations, both at input and output, do save brackets around binary operators by the use of the precedence of an operator: it basically says that an operator has a given precedence x and, if a term must be presented as an operand, a bracket is output if the child-binary operator has a lower precedence. (think a*(b+c))
I have just found that the precedence of convolution should not be a (linearly ordered) number…