[Axiom-developer] MathLang

[C Y]

Just saw an announcement on the Isabelle list
(http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html) which referenced
this:
http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.pdf

I may be wrong, but it sounds like the problems they are looking at
there are a bit similar to the ones B-sharp is intended to address.

Position sounds interesting, although they don't seem to be interested
in Axiom as such.

Cheers,
CY

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com