1263 search results - page 19 / 253 » Packaging Mathematical Structures |
ITS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
ISSAC
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We investigate how common binary mathematical morphology operators can be adapted so that the size of the structuring element (SE) can vary across the image. We show that when the...
ENTCS
2006
13 years 7 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
IJAR
2006
13 years 7 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...