Alan Sexton

Publications

  1. Book › Research
  2. Published
  3. Published

    Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014, Proceedings

    Watt, S. M. (ed.), Davenport, J. H. (ed.), Alan Sexton (ed.), Sojka, P. (ed.) & Urban, J. (ed.), 1 Jul 2014, Springer. 459 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543)

    Research output: Book/ReportBook

  4. Published
  5. Published

    Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

    England, M. (ed.), Davenport, J. H. (ed.), Kohlhase, A. (ed.), Kohlhase, M. (ed.), Libbrecht, P. (ed.), Neuper, W. (ed.), Quaresma, P. (ed.), Alan Sexton (ed.), Sojka, P. (ed.), Urban, J. (ed.) & Watt, S. M. (ed.), 1 Jul 2014, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 1186)

    Research output: Book/ReportBook

  6. Commissioned report › Research
  7. 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

  8. Chapter › Research
  9. Published

    Modern Approaches to Chemical Image Recognition

    Filippov, I., Lupu, M. & Alan Sexton, 2017, Current Challenges in Patent Information Retrieval. Lupu, M., Mayer, K., Kando, N. & Trippe, A. J. (eds.). 2nd ed. Springer, p. 369-389 20 p. (The Information Retrieval Series; vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Conference contribution › Research
  11. 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

  12. 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

  13. Published

    Symbolic Domain Decomposition

    Carette, J., Alan Sexton, Volker Sorge & Watt, S., 1 Jan 2010, Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Sexton, AP. (eds.). Springer, p. 172-188 17 p. (Lecture Notes in Computer Science; vol. 6167).

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

  14. Paper › Research › Not peer-reviewed
  15. 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

Previous 1 2 3 4 Next