×
Author ID: sexton.alan-p Recent zbMATH articles by "Sexton, Alan P."
Published as: Sexton, Alan P.; Sexton, Alan

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 32 times in 24 Documents Cited by Year
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
7
2014
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
5
2009
Abstract matrices in symbolic computation. Zbl 1356.68294
Sexton, Alan; Sorge, Volker
3
2006
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. Zbl 1194.68011
3
2010
Capturing abstract matrices from paper. Zbl 1188.68280
Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu
2
2006
Abramowitz and Stegun – a resource for mathematical document analysis. Zbl 1360.68823
Sexton, Alan P.
2
2012
Processing textbook-style matrices. Zbl 1151.68674
Sexton, Alan; Sorge, Volker
2
2006
A linear grammar approach to mathematical formula recognition from PDF. Zbl 1247.68225
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2009
Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2008
Towards a parser for mathematical formula recognition. Zbl 1188.68284
Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker
1
2006
Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2009
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Reasoning about B+ trees with operational semantics and separation logic. Zbl 1286.68106
Sexton, Alan; Thielecke, Hayo
1
2008
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
7
2014
Abramowitz and Stegun – a resource for mathematical document analysis. Zbl 1360.68823
Sexton, Alan P.
2
2012
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. Zbl 1194.68011
3
2010
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
5
2009
A linear grammar approach to mathematical formula recognition from PDF. Zbl 1247.68225
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2009
Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2009
Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2008
Reasoning about B+ trees with operational semantics and separation logic. Zbl 1286.68106
Sexton, Alan; Thielecke, Hayo
1
2008
Abstract matrices in symbolic computation. Zbl 1356.68294
Sexton, Alan; Sorge, Volker
3
2006
Capturing abstract matrices from paper. Zbl 1188.68280
Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu
2
2006
Processing textbook-style matrices. Zbl 1151.68674
Sexton, Alan; Sorge, Volker
2
2006
Towards a parser for mathematical formula recognition. Zbl 1188.68284
Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker
1
2006

Citations by Year