|
Title:
|
FLEXIBLE STRUCTURED MATHEMATICS NOTATION |
|
Author(s):
|
Jackson W. Marques De Carvalho , Helmut Jürgensen |
|
ISBN:
|
978-972-8924-39-3 |
|
Editors:
|
António Palma dos Reis, Katherine Blashki and Yingcai Xiao (series editors:Piet Kommers, Pedro Isaías and Nian-Shing Chen) |
|
Year:
|
2007 |
|
Edition:
|
Single |
|
Keywords:
|
authoring, context-free grammar, meaning-to-syntax binding, meta-structure |
|
Type:
|
Short Paper |
|
First Page:
|
211 |
|
Last Page:
|
215 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
A grammar-based approach to the specification of mathematical notation is proposed. The method is based on a metastructure
using attributed context-free grammars for capturing the meaning of mathematical concepts. The proposal is
based on an authoring model which addresses the user needs as a fundamental requirement. It is structured around a
scope mechanism allowing the mapping between semantics and syntax to be modified at any time during authoring. This
process supports the dynamics of the meaning-to-syntax binding necessary in the authoring of mathematical concepts. |
|
|
|
|
|
|
