Alan P. Sexton

MaRDI QIDQ1926588zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract matrices in symbolic computation Proceedings of the 2006 international symposium on Symbolic and algebraic computation	2017-02-03	Paper
Reasoning about B+ trees with operational semantics and separation logic Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Abstracting symbolic matrices Annals of Mathematics and Artificial Intelligence	2012-12-28	Paper
Abramowitz and Stegun – A Resource for Mathematical Document Analysis Lecture Notes in Computer Science	2012-09-07	Paper
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text Lecture Notes in Computer Science	2012-09-07	Paper
Computing with abstract matrix structures Proceedings of the 2009 international symposium on Symbolic and algebraic computation	2012-05-13	Paper
Symbolic domain decomposition Lecture Notes in Computer Science	2010-08-24	Paper
An online repository of mathematical samples	2009-10-26	Paper
Extracting precise data on the mathematical content of PDF documents	2009-09-25	Paper
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices Lecture Notes in Computer Science	2009-07-09	Paper
A Linear Grammar Approach to Mathematical Formula Recognition from PDF Lecture Notes in Computer Science	2009-07-09	Paper
Towards a Parser for Mathematical Formula Recognition Lecture Notes in Computer Science	2007-09-05	Paper
Capturing Abstract Matrices from Paper Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper

Research outcomes over time

This page was built for person: Alan P. Sexton