Alan Sexton

Publications

  1. 2010
  2. Published

    Proofs, Proofs, Proofs, and Proofs

    Manfred Kerber, Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Riobo, R. & Alan Sexton, 1 Jul 2010, p. 345-354. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  3. Published

    Faithful Mathematical Formula Recognition from Pdf Documents

    Josef Baker, Alan Sexton & Volker Sorge, 11 Jun 2010, p. 485-492. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  4. Published
  5. 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

  6. 2009
  7. Published

    Using Fonts Within PDF Files to Improve Formula Recognition

    Josef Baker, Alan Sexton, Volker Sorge, Suzuki, M., Ikeda, H. & Yamaguchi, K., 12 Dec 2009, p. 39-42. 4 p.

    Research output: Contribution to conference (unpublished)Paper

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

  9. Published

    Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

    Alan Sexton, Volker Sorge, Watt, SM., Carette, J., Dixon, L., Sacerdoti Coen, CS. & Watt, SM., 6 Jul 2009, p. 138-153. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Computing with Abstract Matrix Structures

    Alan Sexton, Volker Sorge & Watt, SM., 1 Jul 2009, p. 325-332. 8 p.

    Research output: Contribution to conference (unpublished)Paper

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