Edit Profile (opens in new tab) Sexton, Alan P. Co-Author Distance 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 442 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 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 all cited Publications top 5 cited Publications all top 5 Cited by 63 Authors 5 Kohlhase, Michael 3 Rabe, Florian 3 Sexton, Alan P. 3 Sorge, Volker 3 Urban, Josef 2 Corless, Robert Malcolm 2 Iancu, Mihnea 2 Kaliszyk, Cezary 2 Korniłowicz, Artur 2 Müller, Dennis 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 Caminati, Marco Bright 1 Cohl, Howard Saul 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 Jeffrey, David J. 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ündler, Niels 1 Nagashima, Yutaka 1 Naumowicz, Adam 1 Nipkow, Tobias 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 Shakoori, Azar 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 23 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