1209 search results - page 21 / 242 » Universal Algebra and Computer Science |
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
STACS
1990
Springer
14 years 20 days ago
1990
Springer
nce abstract) GAUTAM DAS - University of Wisconsin DEBORAH JOSEPH - University of Wisconsin
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
STACS
2001
Springer
14 years 1 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...