Recent publications
Book
Watt, SM, Davenport, JH, Sexton, A, Sojka, P & Urban, J (eds) 2014, Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8543, vol. LNAI 8543, Springer. https://doi.org/10.1007/978-3-319-08434-3
England, M, Davenport, JH, Kohlhase, A, Kohlhase, M, Libbrecht, P, Neuper, W, Quaresma, P, Sexton, A, Sojka, P, Urban, J & Watt, SM (eds) 2014, 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. CEUR Workshop Proceedings, vol. 1186, vol. 1186, CEUR-WS.org. <http://ceur-ws.org/Vol-1186/>
Autexier, S, Calmet, J, Delahaye, D, Ion, PDF, Rideau, L, Rioboo, R & Sexton, A 2010, Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science. vol. 6167, Springer. https://doi.org/10.1007/978-3-642-14128-7
Article
Almomen, R, Sexton, AP & Sorge, V 2012, 'Abstracting symbolic matrices: Special issue on artificial intelligence and symbolic computation', Annals of Mathematics and Artificial Intelligence, vol. 64, no. 4, pp. 343-368. https://doi.org/10.1007/s10472-012-9299-5
Sadawi, N, Sexton, A & Sorge, V 2012, 'Chemical Structure Recognition: A Rule Based Approach', Proceedings of SPIE - The International Society for Optical Engineering, vol. 8297, 82970E. https://doi.org/10.1117/12.912185
Chapter
Filippov, I, Lupu, M & Sexton, A 2017, Modern Approaches to Chemical Image Recognition. in M Lupu, K Mayer, N Kando & AJ Trippe (eds), Current Challenges in Patent Information Retrieval. 2nd edn, The Information Retrieval Series, vol. 37, Springer, pp. 369-389.
Conference contribution
Schubotz, M & Sexton, A 2016, A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. in Proceedings of the 9th Conference on Intelligent Computer Mathematics. CEUR Workshop Proceedings, CEUR-WS.org, pp. 132-145, 9th Conference on Intelligent Computer Mathematics, Bialystok, Poland, 25/07/16. <http://www.cicm-conference.org/2016/ceur-ws/CICM2016-WIP.pdf>
Carette, J, Sexton, A, Sorge, V & Watt, S 2010, Symbolic Domain Decomposition. in S Autexier, J Calmet, D Delahaye, PDF Ion, L Rideau, R Rioboo & AP Sexton (eds), 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. Lecture Notes in Computer Science, vol. 6167, Springer, pp. 172-188. https://doi.org/10.1007/978-3-642-14128-7_16
Paper
Baker, J, Sexton, A, Sorge, V & Suzuki, M 2011, 'Comparing Approaches to Mathematical Document Analysis from PDF', Paper presented at Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR 2011), 21/09/11 pp. 463-467. https://doi.org/10.1109/ICDAR.2011.99
Sadawi, N, Sexton, A, Sorge, V, Voorhees, EM & Buckland, LP 2011, 'Performance of MolRec at TREC 2011: Overview and Analysis of Results', Paper presented at Proceedings of the 20th Text REtrieval Conference (TREC 2011), 1/11/11.
Baker, J, Sexton, A, Sorge, V, Sojka, P & Bouche, T 2011, 'Towards Reverse Engineering of PDF Documents', Paper presented at Towards a Digital Mathematics Library, Proceedings of the 4th Workshop (DML 2011), 1/07/11 pp. 65-75.
Sexton, A, Sorge, V, Suzuki, M & Sojka, P 2010, 'Designing a Semantic Ground Truth for Mathematical Formulae', Paper presented at Towards a Digital Mathematics Library, Proceedings of the 3rd Workshop (DML 2010), 7/07/10 pp. 37-42.
Baker, J, Sexton, A & Sorge, V 2010, 'Faithful Mathematical Formula Recognition from Pdf Documents', Paper presented at Proceedings of the 9th IAPR International Workshop on Document Analysis Systems (DAS '10), 11/06/10 pp. 485-492. https://doi.org/10.1145/1815330.1815393
Kerber, M, Autexier, S, Calmet, J, Delahaye, D, Ion, P, Rideau, L, Riobo, R & Sexton, A 2010, 'Proofs, Proofs, Proofs, and Proofs', Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, 1/01/10 pp. 345-354. https://doi.org/10.1007/978-3-642-14128-7_30
Sexton, A, Sorge, V & Watt, SM 2009, 'Abstract Matrix Arithmetic', Paper presented at Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 1/01/09 pp. 61-68.
View all publications in research portal