- <br>
- </td>
- <td valign="top">
-
- <div align="right"><b>Documentation</b><br>
- </div>
- <br>
- All available information about MathQL-1 can be found in the papers
- below (listed in order of relevance).<br>
- The newest features of MathQL-1, which are not included in this documentation,
- are reported in the <a href="whatsnew.html">What's new</a> section.<br>
- <br>
-F. Guidi, C. Sacerdoti Coen:
-\emph{Querying Distributed Digital Libraries of Mathematics}.
-Negli Atti di 11th Symposium on the Integration of Symbolic Computation and
-Mechanized Reasoning (Calculemus 2003). Aracne (settembre 2003), pp. 17-30.
- <br>
- <b>Papers concerning the latest version of MathQL-1:</b><br>
-