Alan P. Sexton

From MaRDI portal



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!

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


Research outcomes over time


This page was built for person: Alan P. Sexton