2853 search results - page 394 / 571 » On Coherence in Computer Algebra |
124
Voted
SAS
1991
Springer
15 years 1 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
88
Voted
FORTE
2007
14 years 11 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
73
Voted
DAGSTUHL
2006
14 years 11 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
IWFM
1998
14 years 11 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
100
click to vote
PPSC
1997
14 years 11 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...