Volker Sorge

Randa Almomen, Alan P. Sexton, Volker Sorge: Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. 64(4): 343-368 (2012)

Josef B. Baker, Alan P. Sexton, Volker Sorge: MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus 2012: 422-426

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge: MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) 2012

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge: Chemical structure recognition: a rule-based approach. DRR 2012

Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge: A Term Rewriting System for Kuratowski's Closure-Complement Problem. RTA 2012: 38-52

Quratul-ain Mahesar, Volker Sorge: Algebraic Theory Exploration: A Comparison of Technologies. SYNASC 2012: 70-77

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.): 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. Lecture Notes in Computer Science 7362, Springer 2012, isbn 978-3-642-31373-8

Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki: Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR 2011: 463-467

Andreas Distler, Muhammad Shah, Volker Sorge: Enumeration of AG-Groupoids. Calculemus/MKM 2011: 1-14

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge: Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC 2011

Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt: Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188

Josef B. Baker, Alan P. Sexton, Volker Sorge: Faithful mathematical formula recognition from PDF documents. Document Analysis Systems 2010: 485-492

Jacques Calmet, Volker Sorge: Preface. Ann. Math. Artif. Intell. 56(1): 1-2 (2009)

Alan P. Sexton, Volker Sorge, Stephen M. Watt: Computing with abstract matrix structures. ISSAC 2009: 325-332

Alan P. Sexton, Volker Sorge, Stephen M. Watt: Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153

Josef B. Baker, Alan P. Sexton, Volker Sorge: A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM 2009: 201-216

Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving. CoRR abs/0901.3585 (2009)

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)

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)

Alan P. Sexton, Volker Sorge, Stephen M. Watt: Abstract Matrix Arithmetic. SYNASC 2008: 61-68

Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.): 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. Lecture Notes in Computer Science 5144, Springer 2008, isbn 978-3-540-85109-7

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

Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26

Martin Pollet, Volker Sorge: Connecting Logical Representations and Efficient Computations. Electr. Notes Theor. Comput. Sci. 151(1): 127-142 (2006)

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51

Alan P. Sexton, Volker Sorge: Abstract matrices in symbolic computation. ISSAC 2006: 318-325

Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki: Capturing Abstract Matrices from Paper. MKM 2006: 124-138

Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge: Towards a Parser for Mathematical Formula Recognition. MKM 2006: 139-151

Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250

Andreas Meier, Volker Sorge: Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reasoning 35(1-3): 201-235 (2005)

Olga Caprotti, Volker Sorge: Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39(5): 501-502 (2005)

Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296

Alan P. Sexton, Volker Sorge: Database-Driven Mathematical Character Recognition. GREC 2005: 218-230

Alan P. Sexton, Volker Sorge: Semantic Analysis of Matrix Structures. ICDAR 2005: 1141-1145

Alan P. Sexton, Volker Sorge: Processing Textbook-Style Matrices. MKM 2005: 111-125

Alan P. Sexton, Volker Sorge: A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216

Andreas Meier, Volker Sorge: A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005: 459-466

Volker Sorge: _W63-ANTS Omega-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. Saarland University 2004

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431

Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331

Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge: Certifying Solutions to Permutation Group Problems. CADE 2003: 258-273

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)

Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289

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

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Eds.): Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Lecture Notes in Computer Science 2385, Springer 2002, isbn 3-540-43865-3

Andreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424

Simon Colton, Volker Sorge, Ursula Martin: Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517

Volker Sorge: Non-Trivial Symbolic Computations in Proof Planning. FroCoS 2000: 121-135

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): 340-351 (1999)

Erica Melis, Volker Sorge: Employing external reasoners in proof planning. Electr. Notes Theor. Comput. Sci. 23(3): 440-450 (1999)

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)

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)

Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)

Christoph Benzmüller, Volker Sorge: Critical Agents Supporting Interactive Theorem Proving. EPIA 1999: 208-221

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)

Christoph Benzmüller, Volker Sorge: A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114

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

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215