3299 search results - page 14 / 660 » A general mathematics of names |
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...
ECTEL
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
CASC
2007
Springer
15 years 3 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
HPCS
2007
IEEE
15 years 6 months ago
2007
IEEE
—We describe a shared Simon Fraser University (WestGrid) and Dalhousie (ACEnet) seminar series which is now two years old, and is gradually expanding to include other Canadian un...