Search (1 results, page 1 of 1)

0.0734372 = product of:
  0.2203116 = sum of:
    0.2203116 = weight(_text_:me in 765) [ClassicSimilarity], result of:
      0.2203116 = score(doc=765,freq=2.0), product of:
        0.3430384 = queryWeight, product of:
          7.2660704 = idf(docFreq=83, maxDocs=44218)
          0.047210995 = queryNorm
        0.64223593 = fieldWeight in 765, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          7.2660704 = idf(docFreq=83, maxDocs=44218)
          0.0625 = fieldNorm(doc=765)
  0.33333334 = coord(1/3)

Abstract

Presents a study of problem solving activities in a hypermedia representation of a theorem proving problem. The users interacted with a system called HUGH&ME which presented users with 2 representations simultaneously. The respresentations were such that any operations carried out on the other. Describes a quantitative analysis of user activities, and a qualitative analysis of users' responses to questions asked during the session. Discusses the need for hypermedia based tools to support expression and refinement of users' reasoning when engaged in hypermedia-based problem solving activities