Alan Sexton

Publications

  1. Published

    A Database of Glyphs for OCR of Mathematical Documents

    Alan Sexton, Volker Sorge & Kohlhase, M., 1 Jan 2006, p. 203-216. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  2. Published

    A Linear Grammar Approach to Mathematical Formula Recognition from PDF

    Josef Baker, Alan Sexton & Volker Sorge, 6 Jul 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, SM. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5625).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing

    Schubotz, M. & Alan Sexton, 22 Jul 2016, Proceedings of the 9th Conference on Intelligent Computer Mathematics. CEUR-WS.org, p. 132-145 14 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Abstract Matrices and Constraints

    Alan Sexton, Volker Sorge, Berry, D., Bundy, A. & Fleuriot, J., 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Abstract

  5. Published

    Abstract Matrix Arithmetic

    Alan Sexton, Volker Sorge & Watt, SM., 1 Jan 2009, p. 61-68. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  6. Published

    Abstract Matrix Arithmetic, ORCCA Technical Report TR-08-01

    Alan Sexton, Volker Sorge & Watt, SM., 1 Mar 2008, Not Known.

    Research output: Book/ReportCommissioned report

  7. Published

    Abstract matrices in symbolic computation

    Alan Sexton, Volker Sorge & Dumas, J-G., 1 Jan 2006, p. 318-325. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published
  9. Published

    An Online Repository of Mathematical Samples

    Josef Baker, Alan Sexton, Volker Sorge & Sojka, P., 1 Jan 2009, p. 49-57. 9 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Arithmetic on matrices with blocks of symbolic size. In ISSAC 2007 Poster Abstracts, M Giesbrecht, I Kotsireas, and A Lobo, (Editors)

    Alan Sexton, Volker Sorge & Watt, SM., 1 Mar 2007, p. 39-40. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

Previous 1 2 3 4 Next