[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] MathLang
From: |
C Y |
Subject: |
[Axiom-developer] MathLang |
Date: |
Tue, 18 Jul 2006 05:31:48 -0700 (PDT) |
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
- [Axiom-developer] MathLang,
C Y <=