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