Alan P. Sexton

Available identifiers

zbMath Open sexton.alan-pMaRDI QIDQ1926588

List of research outcomes

Publication	Date of Publication	Type
Abstract matrices in symbolic computation	2017-02-03	Paper
Reasoning about B+ trees with operational semantics and separation logic	2014-05-13	Paper
Abstracting symbolic matrices	2012-12-28	Paper
Abramowitz and Stegun – A Resource for Mathematical Document Analysis	2012-09-07	Paper
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text	2012-09-07	Paper
Computing with abstract matrix structures	2012-05-13	Paper
Symbolic domain decomposition	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	2009-07-09	Paper
A Linear Grammar Approach to Mathematical Formula Recognition from PDF	2009-07-09	Paper
Towards a Parser for Mathematical Formula Recognition	2007-09-05	Paper
Capturing Abstract Matrices from Paper	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper

Research outcomes over time

This page was built for person: Alan P. Sexton