About DML-CZ | FAQ | News | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

Baker, Josef B. ; Sexton, Alan P. ; Sorge, Volker
An Online Repository of Mathematical Samples. (English). In: Sojka, Petr (ed.): Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8-9th, 2009. Masaryk University Press, Brno, 2009. pp. 49-57
MSC: 68U10, 68U15 | Zbl 1176.68080
Keywords:
MathML; PDF
Summary:

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
Partner of
EuDML logo