This is an interesting paper: Computerising Mathematical Text http://repository.ubn.ru.nl/bitstream/handle/2066/134655/134655.pdf?sequence=1
Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
