Edit Profile (opens in new tab) Sorge, Volker Compute Distance To: Compute Author ID: sorge.volker Published as: Sorge, Volker; Sorge, V. Documents Indexed: 47 Publications since 1997 6 Contributions as Editor Co-Authors: 62 Co-Authors with 51 Joint Publications 854 Co-Co-Authors all top 5 Co-Authors 1 single-authored 14 Meier, Andreas 13 Sexton, Alan P. 9 Benzmüller, Christoph Ewald 8 Kerber, Manfred 6 Colton, Simon 6 Pollet, Martin 4 Baker, Josef B. 4 Carette, Jacques 4 Jamnik, Mateja 4 Kohlhase, Michael 4 McCasland, Roy L. 3 Melis, Erica 3 Watt, Stephen Michael 2 Calmet, Jacques 2 Campbell, John A. 2 Cheikhrouhou, Lassaad 2 Fiedler, Armin 2 Franke, Andreas 2 Siekmann, Jörg H. 2 Suzuki, Masakazu 1 Al-Hassani, Osama 1 Ali, Asif Iqbal 1 Almomen, Randa 1 Autexier, Serge 1 Benhamou, Belaid 1 Brezhnev, Vladimir 1 Cairns, Paul 1 Caprotti, Olga 1 Cervone, Davide P. 1 Cohen, Arjeh Marcel 1 Distler, Andreas 1 Dos Reis, Gabriel 1 Farmer, William M. 1 Fehrer, Detlef 1 Gretton, Charles 1 Henocque, Laurent 1 Hess, Stephan M. 1 Horacek, Helmut 1 Huang, Xiaorong 1 Jeuring, Johan 1 Jung, Christoph G. 1 Kaliszyk, Cezary 1 Kanahori, Toshihiro 1 Konrad, Karsten 1 Mahesar, Quratul-ain 1 Moschner, Markus 1 Murray, Scott H. 1 Normann, Immanuel 1 Rabe, Florian 1 Raja, Amar 1 Rayner, Matthew 1 Rubio García, Julio Jesús 1 Sacerdoti Coen, Claudio 1 Schaarschmidt, Wolf 1 Sojka, Petr 1 Torres, Pedro José 1 Ullrich, Carsten A. 1 Wenzel, Makarius 1 Wiedijk, Freek 1 Wirth, Claus-Peter 1 Zhang, Weixiong 1 Zimmer, Jürgen all top 5 Serials 4 Lecture Notes in Computer Science 3 Journal of Automated Reasoning 2 Annals of Mathematics and Artificial Intelligence 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Symbolic Computation 1 Notices of the American Mathematical Society 1 Quasigroups and Related Systems 1 Journal of Universal Computer Science 1 Journal of Applied Logic 1 The Journal of Prime Research in Mathematics 1 Frontiers in Artificial Intelligence and Applications 1 International Mathematical Forum all top 5 Fields 51 Computer science (68-XX) 7 Group theory and generalizations (20-XX) 6 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 98 times in 65 Documents Cited by ▼ Year ▼ Integrating computer algebra into proof planning. Zbl 0916.68144Kerber, Manfred; Kohlhase, Michael; Sorge, Volker 9 1998 Non-trivial symbolic computations in proof planning. Zbl 0962.68152Sorge, Volker 7 2000 Combined reasoning by automated cooperation. Zbl 1162.68646Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 6 2008 Proof development with \(\Omega\)MEGA. Zbl 1072.68591Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen 6 2002 Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 5 2005 Computing with abstract matrix structures. Zbl 1237.68261Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 4 2009 Agent-oriented integration of distributed mathematical services. Zbl 0961.68117Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker 3 1999 Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Zbl 1154.68002 3 2008 Automatic generation of classification theorems for finite algebras. Zbl 1126.68562Colton, Simon; Meier, Andreas; Sorge, Volker; McCasland, Roy 3 2004 Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Zbl 1192.20062Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas 3 2008 Experiments with an agent-oriented reasoning system. Zbl 1007.68710Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker 3 2001 Comparing approaches to the exploration of the domain of residue classes. Zbl 1038.68110Meier, Andreas; Pollet, Martin; Sorge, Volker 3 2002 Enumerating AG-groups with a study of Smaradache AG-groups. Zbl 1250.20058Shah, Muhammad; Gretton, Charles; Sorge, Volker 3 2011 Enumeration of AG-groupoids. Zbl 1250.20055Distler, Andreas; Shah, Muhammad; Sorge, Volker 3 2011 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 Employing theory formation to guide proof planning. Zbl 1072.68582Meier, Andreas; Sorge, Volker; Colton, Simon 2 2002 Applying SAT solving in classification of finite algebras. Zbl 1109.68103Meier, Andreas; Sorge, Volker 2 2005 Processing textbook-style matrices. Zbl 1151.68674Sexton, Alan; Sorge, Volker 2 2006 Automatic construction and verification of isotopy invariants. Zbl 1139.68050Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon 2 2008 Capturing abstract matrices from paper. Zbl 1188.68280Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu 2 2006 Certifying solutions to permutation group problems. Zbl 1278.68254Cohen, Arjeh; Murray, Scott H.; Pollet, Martin; Sorge, Volker 2 2003 Employing external reasoners in proof planning. Zbl 0958.68152Melis, Erica; Sorge, Volker 2 1999 \(\Omega\)-ANTS – An open approach at combining interactive and automated theorem proving. Zbl 0986.68128Benzmüller, Christoph; Sorge, Volker 2 2001 Exploring properties of residue classes. Zbl 0986.68132Meier, Andreas; Sorge, Volker 2 2001 Intuitive and formal representations: The case of matrices. Zbl 1108.68600Pollet, Martin; Sorge, Volker; Kerber, Manfred 2 2004 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 Abstract matrices in symbolic computation. Zbl 1356.68294Sexton, Alan; Sorge, Volker 2 2006 Symbolic domain decomposition. Zbl 1286.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Classifying isomorphic residue classes. Zbl 1023.68883Meier, Andreas; Pollet, Martin; Sorge, Volker 1 2001 Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2009 Automatic construction and verification of isotopy invariants. Zbl 1214.68337Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon 1 2006 Towards a parser for mathematical formula recognition. Zbl 1188.68284Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker 1 2006 \(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker 1 1997 A new set of algebraic benchmark problems for SAT solvers. Zbl 1128.68476Meier, Andreas; Sorge, Volker 1 2005 Bridging theorem proving and mathematical knowledge retrieval. Zbl 1098.68696Benzmüller, Christoph; Meier, Andreas; Sorge, Volker 1 2005 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015 2 2015 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Enumerating AG-groups with a study of Smaradache AG-groups. Zbl 1250.20058Shah, Muhammad; Gretton, Charles; Sorge, Volker 3 2011 Enumeration of AG-groupoids. Zbl 1250.20055Distler, Andreas; Shah, Muhammad; Sorge, Volker 3 2011 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 Combined reasoning by automated cooperation. Zbl 1162.68646Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 6 2008 Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Zbl 1154.68002 3 2008 Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Zbl 1192.20062Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas 3 2008 Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481Baker, Josef B.; Sexton, Alan P.; Sorge, Volker 2 2008 Automatic construction and verification of isotopy invariants. Zbl 1139.68050Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon 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 Automatic construction and verification of isotopy invariants. Zbl 1214.68337Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon 1 2006 Towards a parser for mathematical formula recognition. Zbl 1188.68284Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker 1 2006 Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 5 2005 Applying SAT solving in classification of finite algebras. Zbl 1109.68103Meier, Andreas; Sorge, Volker 2 2005 A new set of algebraic benchmark problems for SAT solvers. Zbl 1128.68476Meier, Andreas; Sorge, Volker 1 2005 Bridging theorem proving and mathematical knowledge retrieval. Zbl 1098.68696Benzmüller, Christoph; Meier, Andreas; Sorge, Volker 1 2005 Automatic generation of classification theorems for finite algebras. Zbl 1126.68562Colton, Simon; Meier, Andreas; Sorge, Volker; McCasland, Roy 3 2004 Intuitive and formal representations: The case of matrices. Zbl 1108.68600Pollet, Martin; Sorge, Volker; Kerber, Manfred 2 2004 Certifying solutions to permutation group problems. Zbl 1278.68254Cohen, Arjeh; Murray, Scott H.; Pollet, Martin; Sorge, Volker 2 2003 Proof development with \(\Omega\)MEGA. Zbl 1072.68591Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen 6 2002 Comparing approaches to the exploration of the domain of residue classes. Zbl 1038.68110Meier, Andreas; Pollet, Martin; Sorge, Volker 3 2002 Employing theory formation to guide proof planning. Zbl 1072.68582Meier, Andreas; Sorge, Volker; Colton, Simon 2 2002 Experiments with an agent-oriented reasoning system. Zbl 1007.68710Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker 3 2001 \(\Omega\)-ANTS – An open approach at combining interactive and automated theorem proving. Zbl 0986.68128Benzmüller, Christoph; Sorge, Volker 2 2001 Exploring properties of residue classes. Zbl 0986.68132Meier, Andreas; Sorge, Volker 2 2001 Classifying isomorphic residue classes. Zbl 1023.68883Meier, Andreas; Pollet, Martin; Sorge, Volker 1 2001 Non-trivial symbolic computations in proof planning. Zbl 0962.68152Sorge, Volker 7 2000 Agent-oriented integration of distributed mathematical services. Zbl 0961.68117Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker 3 1999 Employing external reasoners in proof planning. Zbl 0958.68152Melis, Erica; Sorge, Volker 2 1999 Integrating computer algebra into proof planning. Zbl 0916.68144Kerber, Manfred; Kohlhase, Michael; Sorge, Volker 9 1998 \(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker 1 1997 all cited Publications top 5 cited Publications all top 5 Cited by 139 Authors 10 Sorge, Volker 6 Benzmüller, Christoph Ewald 5 Meier, Andreas 4 Kohlhase, Michael 4 Melis, Erica 4 Siekmann, Jörg H. 3 Ahmad, Imtiaz 3 Blanchette, Jasmin Christian 3 Paulson, Lawrence Charles 3 Rabe, Florian 3 Sexton, Alan P. 3 Sutcliffe, Geoff 2 Bentkamp, Alexander 2 Colton, Simon 2 Cruanes, Simon 2 Delahaye, David 2 Hetzl, Stefan 2 Karaaslan, Faruk 2 Kerber, Manfred 2 Korniłowicz, Artur 2 Leitsch, Alexander 2 Naumowicz, Adam 2 Nummelin, Visa 2 Reis, Giselle 2 Theiss, Frank 2 Tourret, Sophie 2 Ullah, Aman 2 Vukmirović, Petar 2 Weller, Daniel S. 1 Ahmadian, Ali 1 Alhazov, Artiom 1 Almomen, Randa 1 Amjad, Hasan 1 Armando, Alessandro 1 Autexier, Serge 1 Avigad, Jeremy 1 Baker, Josef B. 1 Bancerek, Grzegorz 1 Barsotti, Damián 1 Belingheri, Omar 1 Borumand Saeid, Arsham 1 Bouziane, Hinde Lilia 1 Brown, Chad Edward 1 Byliński, Czesław 1 Cailler, Julie 1 Cairns, Paul 1 Calude, Cristian S. 1 Caminati, Marco Bright 1 Caprotti, Olga 1 Carette, Jacques 1 Cheikhrouhou, Lassaad 1 Coglio, Alessandro 1 de Nivelle, Hans 1 Degtyarev, Anatoli Ivanovich 1 Distler, Andreas 1 Dixon, Lucas 1 Duncan, Ross 1 Ebner, Gabriel 1 Farmer, William M. 1 Fehrer, Detlef 1 Fiedler, Armin 1 Franke, Andreas 1 Freund, Rudolf 1 Fujiyoshi, Akio 1 Gast, Holger 1 Gauthier, Thibault 1 Giceva, Jana 1 Giunchiglia, Fausto 1 Gow, Jeremy 1 Grabowski, Adam 1 Heeren, Bastiaan 1 Horozal, Fulya 1 Huang, Xiaorong 1 Hutter, Dieter 1 Ignatyev, Alexey A. 1 Ivanov, Sergiu 1 Jamnik, Mateja 1 Jebelean, Tudor 1 Jeuring, Johan 1 Kaliszyk, Cezary 1 Kamareddine, Fairouz D. 1 Kapitonova, Yu. V. 1 Khan, Akram 1 Klein, Gerwin 1 Konev, Boris 1 Konrad, Karsten 1 Kulpa, Zenon 1 Kumar, Ramana 1 Küster Filipe Bowles, Juliana 1 Lange, Christoph 1 Lewis, Robert Y. 1 Líška, Martin 1 Marques-Silva, João P. 1 Matuszewski, Roman 1 Mayero, Micaela 1 McCasland, Roy L. 1 McConnell, Ross M. 1 Mehlhorn, Kurt 1 Meng, Jia 1 Morokhovets, Marina K. ...and 39 more Authors all top 5 Cited in 19 Serials 14 Journal of Automated Reasoning 6 Journal of Symbolic Computation 3 Journal of Applied Logic 2 Artificial Intelligence 2 Annals of Mathematics and Artificial Intelligence 1 Theoretical Computer Science 1 Information and Computation 1 Formal Aspects of Computing 1 Machine Learning 1 Cybernetics and Systems Analysis 1 Journal of Mathematical Sciences (New York) 1 Foundations of Science 1 Computer Languages, Systems & Structures 1 The Journal of Prime Research in Mathematics 1 Mathematics in Computer Science 1 European Journal of Pure and Applied Mathematics 1 Computer Science Review 1 Journal of Siberian Federal University. Mathematics & Physics 1 AIMS Mathematics all top 5 Cited in 12 Fields 58 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 5 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year