|
| From: | daly |
| Subject: | [Axiom-developer] Computerising Mathematical Text |
| Date: | Tue, 5 May 2015 10:42:38 -0500 |
This is an interesting paper: Computerising Mathematical Text http://repository.ubn.ru.nl/bitstream/handle/2066/134655/134655.pdf?sequence=1 Tim
| [Prev in Thread] | Current Thread | [Next in Thread] |