This paper presents a series of simple but realistic examples in which common algebraic indexing conventions are not so convenient. In particular, it analyzes the difficulties caused by the conventions that each model component must have a fixed number of indices and that the order of the indices is significant to their meaning. To deal with these difficulties compensating extensions to algebraic notation are proposed. The proposed notation is compared to existing notation in terms of the human abilities to understand, maintain and verify model descriptions
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Most modern programming languages allow the user to define abstract data types, thereby creating an ...
In this paper we consider the use of algebraic language in modelling and proving. We will show how a...
This paper presents a series of simple but realistic examples in which common algebraic indexing con...
Multi-dimensional algebraic modelling languages make extensive use of simple and compound index sets...
International audienceThe term "multiple referents" (MR) is used to describe the error of using the ...
Algebraic modeling languages have become a standard tool in the development of linear and nonlinear ...
Through the use of application-specific branch-and-bound directives it is possible to find solutions...
The design and implementation of computer-based modeling systems and environments are gaining intere...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
An algebraic notation is proposed so that even beginners can easily write the program. This notation...
In this paper we consider the use of algebraic language in modelling and proving. We will show how a...
Abstract: Computer Algebra Systems (CAS) performs algorithmic processes quickly and correctly. Conce...
versus concrete models of specifications Don Sannella Laboratory for Foundations of Computer Scien...
The development of computer languages or software artefacts from basic concepts to the final product...
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Most modern programming languages allow the user to define abstract data types, thereby creating an ...
In this paper we consider the use of algebraic language in modelling and proving. We will show how a...
This paper presents a series of simple but realistic examples in which common algebraic indexing con...
Multi-dimensional algebraic modelling languages make extensive use of simple and compound index sets...
International audienceThe term "multiple referents" (MR) is used to describe the error of using the ...
Algebraic modeling languages have become a standard tool in the development of linear and nonlinear ...
Through the use of application-specific branch-and-bound directives it is possible to find solutions...
The design and implementation of computer-based modeling systems and environments are gaining intere...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
An algebraic notation is proposed so that even beginners can easily write the program. This notation...
In this paper we consider the use of algebraic language in modelling and proving. We will show how a...
Abstract: Computer Algebra Systems (CAS) performs algorithmic processes quickly and correctly. Conce...
versus concrete models of specifications Don Sannella Laboratory for Foundations of Computer Scien...
The development of computer languages or software artefacts from basic concepts to the final product...
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Most modern programming languages allow the user to define abstract data types, thereby creating an ...
In this paper we consider the use of algebraic language in modelling and proving. We will show how a...