203 search results - page 15 / 41 » A New Notation for Arrows |
MKM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
DIAGRAMS
2000
Springer
14 years 17 hour ago
2000
Springer
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
CRIWG
2004
13 years 9 months ago
2004
This paper presents Gridcole, a new collaborative learning system that can be easily tailored by educators in order to support their own CSCL scenarios, using computing services pr...
CONSTRAINTS
2008
13 years 7 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
MTA
2000
13 years 7 months ago
2000
Musical scores are traditionally retrieved by title, composer or subject classification. Just as multimedia computer systems increase the range of opportunities available for pres...