1672 search results - page 17 / 335 » Interactive Mathematical Documents |
146
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
91
Voted
FLAIRS
2004
15 years 3 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
107
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
82
Voted
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
100
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
The rise of social media sites — blogs, wikis, and Digg — underscores the transformation of the Web to a participatory medium in which users are collaboratively creating, eval...