Edit Profile (opens in new tab) Sexton, Alan P. Compute Distance To: Compute Author ID: sexton.alan-p Published as: Sexton, Alan P.; Sexton, Alan Documents Indexed: 15 Publications since 2006 2 Contributions as Editor Co-Authors: 19 Co-Authors with 16 Joint Publications 432 Co-Co-Authors all top 5 Co-Authors 1 single-authored 13 Sorge, Volker 4 Baker, Josef B. 4 Watt, Stephen Michael 1 Almomen, Randa 1 Autexier, Serge 1 Calmet, Jacques 1 Carette, Jacques 1 Davenport, James Harold 1 Delahaye, David 1 Ion, Patrick D. F. 1 Kanahori, Toshihiro 1 Raja, Amar 1 Rayner, Matthew 1 Rideau, Laurence 1 Rioboo, Renaud 1 Sojka, Petr 1 Suzuki, Masakazu 1 Thielecke, Hayo 1 Urban, Josef Serials 2 Lecture Notes in Computer Science 1 Annals of Mathematics and Artificial Intelligence Fields 17 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Mathematical logic and foundations (03-XX) 1 Special functions (33-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 26 times in 19 Documents Cited by ▼ Year ▼ Computing with abstract matrix structures. Zbl 1237.68261Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 4 2009 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 4 2014 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 A linear grammar approach to mathematical formula recognition from PDF. Zbl 1247.68225Baker, Josef B.; Sexton, Alan P.; Sorge, Volker 2 2009 Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481Baker, Josef B.; Sexton, Alan P.; Sorge, Volker 2 2008 Processing textbook-style matrices. Zbl 1151.68674Sexton, Alan; Sorge, Volker 2 2006 Capturing abstract matrices from paper. Zbl 1188.68280Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu 2 2006 Abstract matrices in symbolic computation. Zbl 1356.68294Sexton, Alan; Sorge, Volker 2 2006 Abramowitz and Stegun – a resource for mathematical document analysis. Zbl 1360.68823Sexton, Alan P. 2 2012 Symbolic domain decomposition. Zbl 1286.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2009 Towards a parser for mathematical formula recognition. Zbl 1188.68284Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker 1 2006 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 4 2014 Abramowitz and Stegun – a resource for mathematical document analysis. Zbl 1360.68823Sexton, 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.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Computing with abstract matrix structures. Zbl 1237.68261Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 4 2009 A linear grammar approach to mathematical formula recognition from PDF. Zbl 1247.68225Baker, Josef B.; Sexton, Alan P.; Sorge, Volker 2 2009 Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2009 Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481Baker, Josef B.; Sexton, Alan P.; Sorge, Volker 2 2008 Processing textbook-style matrices. Zbl 1151.68674Sexton, Alan; Sorge, Volker 2 2006 Capturing abstract matrices from paper. Zbl 1188.68280Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu 2 2006 Abstract matrices in symbolic computation. Zbl 1356.68294Sexton, Alan; Sorge, Volker 2 2006 Towards a parser for mathematical formula recognition. Zbl 1188.68284Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 57 Authors 4 Kohlhase, Michael 3 Rabe, Florian 3 Sexton, Alan P. 3 Sorge, Volker 3 Urban, Josef 2 Iancu, Mihnea 2 Kaliszyk, Cezary 2 Korniłowicz, Artur 1 Alama, Jesse 1 Alhazov, Artiom 1 Almomen, Randa 1 Baker, Josef B. 1 Bancerek, Grzegorz 1 Belingheri, Omar 1 Brimacombe, Chris 1 Brink, Kasper 1 Byliński, Czesław 1 Cohl, Howard Saul 1 Corless, Robert Malcolm 1 Danoff, Alex A. 1 Freund, Rudolf 1 Fujiyoshi, Akio 1 Gauthier, Thibault 1 Ginev, Deyan 1 Grabowski, Adam 1 Horozal, Fulya 1 Ivanov, Sergiu 1 Jucovshi, Constantin 1 Kamareddine, Fairouz D. 1 Kohlhase, Andrea 1 Líška, Martin 1 Mamane, Lionel Elie 1 Matuszewski, Roman 1 McClain, Marjorie A. 1 Mohammed, Azeem S. 1 Müller, Dennis 1 Naumowicz, Adam 1 Orakwue, Awelemdy 1 Oripov, Akbar 1 Pąk, Karol 1 Porreca, Antonio E. 1 Saunders, Bonita V. 1 Schefter, Jürgen 1 Schubotz, Moritz 1 Sojka, Petr 1 Sperber, Wolfram 1 Suzuki, Masakazu 1 Teschke, Olaf 1 Uchida, Seiichi 1 Watt, Stephen Michael 1 Wells, Joe B. 1 Wiesing, Tom 1 Youssef, Abdou S. 1 Zamir, Mair 1 Zandron, Claudio 1 Zanibbi, Richard 1 Zou, Cherry Y. Cited in 5 Serials 3 Journal of Automated Reasoning 1 SIAM Review 1 Annals of Mathematics and Artificial Intelligence 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science Cited in 5 Fields 18 Computer science (68-XX) 2 Special functions (33-XX) 1 Mathematical logic and foundations (03-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) Citations by Year