317 search results - page 18 / 64 » Interactive Mathematical Documents on the Web |
IPM
2008
13 years 8 months ago
2008
The presentation of search results on the web has been dominated by the textual form of document representation. On the other hand, the document's visual aspects such as the ...
TACAS
2000
Springer
14 years 8 hour ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We present an incremental algorithm for building a neighborhood graph from a set of documents. This algorithm is based on a population of artificial agents that imitate the way re...
CHI
1997
ACM
14 years 19 days ago
1997
ACM
We report on a laboratory study that compares reading from paper to reading on-line. Critical differences have to do with the major advantages paper offers in supporting annotatio...
IMSCCS
2007
IEEE
14 years 2 months ago
2007
IEEE
MathEdit [23] is a browser-based tool implemented in JavaScript that provides a convenient and intuitive graphical user interface for creating and editing mathematical expressions...