Full entry |
PDF
(0.2 MB)
Feedback

MathML; PDF

References:

1. Hoos, H.H., Stutzle, T.: **SATLIB: An online resource for research on SAT**. In: Proceedings of the Third Workshop on Satisfiability (SAT 2000), IOS Press (2000) 283–292 http://www.satlib.org

2. Sutcliffe, G., Suttner, C.: **The TPTP Problem Library: CNF Release v1.2.1**. Journal of Automated Reasoning 21(2) (1998) 177–203 MR 1646570 | Zbl 0910.68197

3. Suzuki, M., Uchida, S., Nomura, A.: **A ground-truthed mathematical character and symbol image database**. In: Proceedings of the Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), IEEE Society Press (2005) 675–679 http://www.inftyproject.org/en/database.html

4. W3C: **Ink markup language (InkML)**. (2006) http://www.w3.org/TR/InkML/

5. Crockford, D.: **JavaScript Object Notation**. (2006) http://www.json.org/

6. The American Mathematical Society: **2000 Mathematics Subject Classification**. (2000) http://www.ams.org/msc/

7. Sternberg, S.: **Semi-riemann geometry and general relativity**. (2003) http://www.math.harvard.edu/~shlomo/docs/semi_riemannian_geometry.pdf

8. Judson, T.: **Abstract algebra — theory and applications**. (2009) http://abstract.ups.edu/download.html