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
AbstractThis paper presents indexed categories which model uniformly defined families of categories,...
Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) ...
Through the use of application-specific branch-and-bound directives it is possible to find solutions...
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...
Algebraic modeling languages have become a standard tool in the development of linear and nonlinear ...
Because of the difficulties often experienced in formulating and understanding large scale models, m...
The purpose on this paper is to incorporate in textbook form, notes and methods that the author has ...
International audienceThe term "multiple referents" (MR) is used to describe the error of using the ...
Abstract: Computer Algebra Systems (CAS) performs algorithmic processes quickly and correctly. Conce...
The design and implementation of computer-based modeling systems and environments are gaining intere...
In this article we formulate and analyse some of the obstacles to understanding the notion of a vari...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory f...
AbstractThe development of computer languages or software artefacts from basic concepts to the final...
AbstractThis paper presents indexed categories which model uniformly defined families of categories,...
Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) ...
Through the use of application-specific branch-and-bound directives it is possible to find solutions...
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...
Algebraic modeling languages have become a standard tool in the development of linear and nonlinear ...
Because of the difficulties often experienced in formulating and understanding large scale models, m...
The purpose on this paper is to incorporate in textbook form, notes and methods that the author has ...
International audienceThe term "multiple referents" (MR) is used to describe the error of using the ...
Abstract: Computer Algebra Systems (CAS) performs algorithmic processes quickly and correctly. Conce...
The design and implementation of computer-based modeling systems and environments are gaining intere...
In this article we formulate and analyse some of the obstacles to understanding the notion of a vari...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory f...
AbstractThe development of computer languages or software artefacts from basic concepts to the final...
AbstractThis paper presents indexed categories which model uniformly defined families of categories,...
Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) ...
Through the use of application-specific branch-and-bound directives it is possible to find solutions...