1071 search results - page 164 / 215 » The Calculus of Algebraic Constructions |
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
109
click to vote
SAM
2004
15 years 1 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
115
click to vote
PPSC
1997
15 years 1 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...
AAAI
1990
15 years 1 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
103
click to vote
AAECC
2008
Springer
15 years 21 hour ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...