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
https://portal.mardi4nfdi.de/entity/Q3185215	2009-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q3398152	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alan P. Sexton