Volker Sorge

2009
42	EE	Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving CoRR abs/0901.3585: (2009)
2008
41		Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk: 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 Springer 2008
40	EE	Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
39	EE	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reasoning 40(2-3): 221-243 (2008)
2007
38	EE	Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
37	EE	Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher: AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. International Conference on Computational Science (1) 2007: 1098-1105
2006
36	EE	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
35	EE	Alan P. Sexton, Volker Sorge: Abstract matrices in symbolic computation. ISSAC 2006: 318-325
34	EE	Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki: Capturing Abstract Matrices from Paper. MKM 2006: 124-138
33	EE	Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge: Towards a Parser for Mathematical Formula Recognition. MKM 2006: 139-151
32	EE	Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250
31	EE	Martin Pollet, Volker Sorge: Connecting Logical Representations and Efficient Computations. Electr. Notes Theor. Comput. Sci. 151(1): 127-142 (2006)
2005
30	EE	Alan P. Sexton, Volker Sorge: Database-Driven Mathematical Character Recognition. GREC 2005: 218-230
29	EE	Alan P. Sexton, Volker Sorge: Semantic Analysis of Matrix Structures. ICDAR 2005: 1141-1145
28	EE	Alan P. Sexton, Volker Sorge: Processing Textbook-Style Matrices. MKM 2005: 111-125
27	EE	Alan P. Sexton, Volker Sorge: A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216
26	EE	Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
25	EE	Andreas Meier, Volker Sorge: A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005: 459-466
24	EE	Andreas Meier, Volker Sorge: Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reasoning 35(1-3): 201-235 (2005)
23	EE	Olga Caprotti, Volker Sorge: Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39(5): 501-502 (2005)
2004
22	EE	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414
21	EE	Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
20	EE	Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331
2003
19	EE	Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge: Certifying Solutions to Permutation Group Problems. CADE 2003: 258-273
2002
18		Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings Springer 2002
17	EE	Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289
16	EE	Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
15	EE	Andreas Meier, Martin Pollet, Volker Sorge: Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34(4): 287-306 (2002)
2001
14	EE	Andreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508
13	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
2000
12		Simon Colton, Volker Sorge, Ursula Martin: Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517
11		Volker Sorge: Non-Trivial Symbolic Computations in Proof Planning. FroCos 2000: 121-135
1999
10		Christoph Benzmüller, Volker Sorge: Critical Agents Supporting Interactive Theorem Proving. EPIA 1999: 208-221
9	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
8	EE	Erica Melis, Volker Sorge: Employing external reasoners in proof planning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
7	EE	Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
6	EE	Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge: Agent-Oriented Integration of Distributed Mathematical Services. J. UCS 5(3): 156-187 (1999)
5	EE	Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)
1998
4	EE	Christoph Benzmüller, Volker Sorge: A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114
3		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)
1997
2		Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
1996
1		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215

Coauthor Index

1	Serge Autexier	[41]
2	Belaid Benhamou	[18]
3	Christoph Benzmüller (Christoph Benzmueller)	[2] [4] [5] [7] [9] [10] [13] [16] [21] [26] [40] [42]
4	Matthew Bishop	[5]
5	Vladimir Brezhnev	[16]
6	Paul A. Cairns	[32]
7	Jacques Calmet	[18]
8	John Campbell	[41]
9	Olga Caprotti	[18] [23]
10	Jacques Carette	[38]
11	Lassaad Cheikhrouhou	[2] [7] [16]
12	Arjeh M. Cohen	[19]
13	Simon Colton	[12] [17] [22] [32] [36] [39]
14	William M. Farmer	[38]
15	Detlef Fehrer	[2]
16	Edward Ferrari	[37]
17	Armin Fiedler	[2] [7] [16]
18	Andreas Franke	[6] [16]
19	Laurent Henocque	[18]
20	Stephan M. Hess	[6] [7]
21	Helmut Horacek	[7] [16]
22	Xiaorong Huang	[2]
23	Mateja Jamnik	[9] [13] [21] [40]
24	Christoph G. Jung	[6]
25	Toshihiro Kanahori	[34]
26	Catriona Kennedy	[37]
27	Manfred Kerber	[1] [2] [3] [9] [13] [20] [21] [40]
28	Michael Kohlhase	[1] [2] [3] [6] [7] [16]
29	Karsten Konrad	[2] [7]
30	Peter Lee	[37]
31	Ursula Martin	[12]
32	Roy L. McCasland	[22] [36] [39]
33	Andreas Meier	[2] [7] [14] [15] [16] [17] [22] [24] [25] [26] [36] [39]
34	Erica Melis	[2] [7] [8] [16]
35	Markus Moschner	[16]
36	Scott H. Murray	[19]
37	Immanuel Normann	[16]
38	Martin Pollet	[7] [14] [15] [16] [19] [20] [31]
39	Amar Raja	[33]
40	Matthew Rayner	[33]
41	Julio Rubio (Julio Rubio Garcia)	[41]
42	Wolf Schaarschmidt	[2]
43	Alan P. Sexton	[27] [28] [29] [30] [33] [34] [35]
44	Jörg H. Siekmann	[2] [7] [16]
45	Chris Skelcher	[37]
46	Masakazu Suzuki	[34] [41]
47	Georgios K. Theodoropoulos	[37]
48	Pedro Torres	[32]
49	Carsten Ullrich	[16]
50	Freek Wiedijk	[41]
51	Claus-Peter Wirth	[16]
52	Jürgen Zimmer	[16]

Colors in the list of coauthors