|
Documentation
All available information about MathQL-1 can be found in the papers below (listed in order of relevance). The newest features of MathQL-1, which are not included in this documentation, are reported in the What's new section. 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. Papers concerning the latest version of MathQL-1:
|