A Change-Oriented Architecture for Mathematical Authoring Assistance : Dissertations in Artificial Intelligence

The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques. The challenge is that, throughout an assistance system like the OMEGA system, various"