Displaying similar documents to “Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.”

Object oriented institutions to specify symbolic computation systems

César Domínguez, Laureano Lambán, Julio Rubio (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational...

GAGA for DQ-algebroids

Hou-Yi Chen (2010)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

On Hom-spaces of tame algebras

Raymundo Bautista, Yuriy Drozd, Xiangyong Zeng, Yingbo Zhang (2007)

Open Mathematics

Similarity:

Let Λ be a finite dimensional algebra over an algebraically closed field k and Λ has tame representation type. In this paper, the structure of Hom-spaces of all pairs of indecomposable Λ-modules having dimension smaller than or equal to a fixed natural number is described, and their dimensions are calculated in terms of a finite number of finitely generated Λ-modules and generic Λ-modules. In particular, such spaces are essentially controlled by those of the corresponding generic modules. ...