In his 2010 doctoral dissertation at the University of Saarland, Germany, Wagner argues that scientific text-editors and other computer systems to help people write mathematical documents require new techniques for managing and transforming mathematical knowledge in order to organize the overall workflow. He presents an architecture for such systems. Considering first the change-oriented architecture, then mathematical authoring assistance, he explores such topics as foundations, invertible grammar formalism, an application scenario, and authoring exercise solutions. Annotation ©2011 Book News, Inc., Portland, OR (booknews.com)
"Sinopsis" puede pertenecer a otra edición de este libro.
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"
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 14,50 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoLibrería: myVend, Altötting, Alemania
Condición: Used: Very Good. Inkl. Rechnung nach §19 - Buch stammt aus aufgelà ster Lehrbuchsammlung, Label, Stempel und Notizen mà glich. Nº de ref. del artículo: AN-W2PG-C2ZN
Cantidad disponible: 1 disponibles