×
Compute Distance To:
Author ID: sorge.volker Recent zbMATH articles by "Sorge, Volker"
Published as: Sorge, Volker; Sorge, V.

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 92 times in 63 Documents Cited by Year
Integrating computer algebra into proof planning. Zbl 0916.68144
Kerber, Manfred; Kohlhase, Michael; Sorge, Volker
9
1998
Non-trivial symbolic computations in proof planning. Zbl 0962.68152
Sorge, Volker
7
2000
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, 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
Combined reasoning by automated cooperation. Zbl 1162.68646
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2008
Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2005
Agent-oriented integration of distributed mathematical services. Zbl 0961.68117
Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker
3
1999
Comparing approaches to the exploration of the domain of residue classes. Zbl 1038.68110
Meier, Andreas; Pollet, Martin; Sorge, Volker
3
2002
Enumerating AG-groups with a study of Smaradache AG-groups. Zbl 1250.20058
Shah, Muhammad; Gretton, Charles; Sorge, Volker
3
2011
Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Zbl 1192.20062
Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas
3
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
Automatic generation of classification theorems for finite algebras. Zbl 1126.68562
Colton, Simon; Meier, Andreas; Sorge, Volker; McCasland, Roy
3
2004
Enumeration of AG-groupoids. Zbl 1250.20055
Distler, Andreas; Shah, Muhammad; Sorge, Volker
3
2011
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
2
2015
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker
2
1999
\(\Omega\)-ANTS – An open approach at combining interactive and automated theorem proving. Zbl 0986.68128
Benzmüller, Christoph; Sorge, Volker
2
2001
Exploring properties of residue classes. Zbl 0986.68132
Meier, Andreas; Sorge, Volker
2
2001
Experiments with an agent-oriented reasoning system. Zbl 1007.68710
Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker
2
2001
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
Abstract matrices in symbolic computation. Zbl 1356.68294
Sexton, Alan; Sorge, Volker
2
2006
Certifying solutions to permutation group problems. Zbl 1278.68254
Cohen, Arjeh; Murray, Scott H.; Pollet, Martin; Sorge, Volker
2
2003
Applying SAT solving in classification of finite algebras. Zbl 1109.68103
Meier, Andreas; Sorge, Volker
2
2005
Processing textbook-style matrices. Zbl 1151.68674
Sexton, Alan; Sorge, Volker
2
2006
Automatic construction and verification of isotopy invariants. Zbl 1139.68050
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon
2
2008
Capturing abstract matrices from paper. Zbl 1188.68280
Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu
2
2006
Intuitive and formal representations: The case of matrices. Zbl 1108.68600
Pollet, Martin; Sorge, Volker; Kerber, Manfred
2
2004
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
2
2009
Employing theory formation to guide proof planning. Zbl 1072.68582
Meier, Andreas; Sorge, Volker; Colton, Simon
2
2002
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmü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
Bridging theorem proving and mathematical knowledge retrieval. Zbl 1098.68696
Benzmüller, Christoph; Meier, Andreas; Sorge, Volker
1
2005
Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2009
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
Classifying isomorphic residue classes. Zbl 1023.68883
Meier, Andreas; Pollet, Martin; Sorge, Volker
1
2001
Automatic construction and verification of isotopy invariants. Zbl 1214.68337
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon
1
2006
Towards a parser for mathematical formula recognition. Zbl 1188.68284
Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker
1
2006
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
A new set of algebraic benchmark problems for SAT solvers. Zbl 1128.68476
Meier, Andreas; Sorge, Volker
1
2005
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.20058
Shah, Muhammad; Gretton, Charles; Sorge, Volker
3
2011
Enumeration of AG-groupoids. Zbl 1250.20055
Distler, Andreas; Shah, Muhammad; Sorge, Volker
3
2011
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
A linear grammar approach to mathematical formula recognition from PDF. Zbl 1247.68225
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2009
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
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
Combined reasoning by automated cooperation. Zbl 1162.68646
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2008
Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Zbl 1192.20062
Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas
3
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
Extracting precise data on the mathematical content of PDF documents. Zbl 1170.68481
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
2
2008
Automatic construction and verification of isotopy invariants. Zbl 1139.68050
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon
2
2008
Abstract matrices in symbolic computation. Zbl 1356.68294
Sexton, Alan; Sorge, Volker
2
2006
Processing textbook-style matrices. Zbl 1151.68674
Sexton, Alan; Sorge, Volker
2
2006
Capturing abstract matrices from paper. Zbl 1188.68280
Kanahori, Toshihiro; Sexton, Alan; Sorge, Volker; Suzuki, Masakazu
2
2006
Automatic construction and verification of isotopy invariants. Zbl 1214.68337
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon
1
2006
Towards a parser for mathematical formula recognition. Zbl 1188.68284
Raja, Amar; Rayner, Matthew; Sexton, Alan; Sorge, Volker
1
2006
Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2005
Applying SAT solving in classification of finite algebras. Zbl 1109.68103
Meier, Andreas; Sorge, Volker
2
2005
Bridging theorem proving and mathematical knowledge retrieval. Zbl 1098.68696
Benzmüller, Christoph; Meier, Andreas; Sorge, Volker
1
2005
A new set of algebraic benchmark problems for SAT solvers. Zbl 1128.68476
Meier, Andreas; Sorge, Volker
1
2005
Automatic generation of classification theorems for finite algebras. Zbl 1126.68562
Colton, Simon; Meier, Andreas; Sorge, Volker; McCasland, Roy
3
2004
Intuitive and formal representations: The case of matrices. Zbl 1108.68600
Pollet, Martin; Sorge, Volker; Kerber, Manfred
2
2004
Certifying solutions to permutation group problems. Zbl 1278.68254
Cohen, Arjeh; Murray, Scott H.; Pollet, Martin; Sorge, Volker
2
2003
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, 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.68110
Meier, Andreas; Pollet, Martin; Sorge, Volker
3
2002
Employing theory formation to guide proof planning. Zbl 1072.68582
Meier, Andreas; Sorge, Volker; Colton, Simon
2
2002
\(\Omega\)-ANTS – An open approach at combining interactive and automated theorem proving. Zbl 0986.68128
Benzmüller, Christoph; Sorge, Volker
2
2001
Exploring properties of residue classes. Zbl 0986.68132
Meier, Andreas; Sorge, Volker
2
2001
Experiments with an agent-oriented reasoning system. Zbl 1007.68710
Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker
2
2001
Classifying isomorphic residue classes. Zbl 1023.68883
Meier, Andreas; Pollet, Martin; Sorge, Volker
1
2001
Non-trivial symbolic computations in proof planning. Zbl 0962.68152
Sorge, Volker
7
2000
Agent-oriented integration of distributed mathematical services. Zbl 0961.68117
Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker
3
1999
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker
2
1999
Integrating computer algebra into proof planning. Zbl 0916.68144
Kerber, Manfred; Kohlhase, Michael; Sorge, Volker
9
1998
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmü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 top 5

Cited by 135 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 Paulson, Lawrence Charles
3 Rabe, Florian
3 Sexton, Alan P.
3 Sutcliffe, Geoff
2 Blanchette, Jasmin Christian
2 Colton, Simon
2 Hetzl, Stefan
2 Karaaslan, Faruk
2 Kerber, Manfred
2 Korniłowicz, Artur
2 Leitsch, Alexander
2 Naumowicz, Adam
2 Reis, Giselle
2 Theiss, Frank
2 Ullah, Aman
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 Bentkamp, Alexander
1 Borumand Saeid, Arsham
1 Brown, Chad Edward
1 Byliński, Czesław
1 Cairns, Paul
1 Calude, Cristian S.
1 Caminati, Marco Bright
1 Caprotti, Olga
1 Carette, Jacques
1 Cheikhrouhou, Lassaad
1 Coglio, Alessandro
1 Cruanes, Simon
1 de Nivelle, Hans
1 Degtyarev, Anatoli Ivanovich
1 Delahaye, David
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.
1 Muggleton, Stephen H.
1 Müller, Christine
1 Näher, Stefan
1 Nieto, Leonor Prensa
1 Norrish, Michael
...and 35 more Authors

Citations by Year