Sciweavers

Share
SYNASC
2006
IEEE

Implementing Parameterized Type Algorithm Definitions in Mathematica

10 years 4 months ago
Implementing Parameterized Type Algorithm Definitions in Mathematica
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advantage of systematically dealing with domains, categories, operators over them by creating general contexts of expressing algorithms, which can be applied by parameterizing them with various domains, using the same algorithm definition. While similar approaches have been previously presented by the author, the present paper aims at a stronger focus on algorithm characteristics defined on categorical principles and giving a more general framework for implementing Mathematica algorithms based on generic principles and category theory. The paper also discusses run time efficiency aspects for these generic implementations.
Alina Andreica
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SYNASC
Authors Alina Andreica
Comments (0)
books