Volker Sorge - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Enumeration of AG-GroupoidsAndreas Distler, Muhammad Shah, Volker Sorge. mkm 2011: 1-14 [doi]

2010

Faithful mathematical formula recognition from PDF documentsJosef B. Baker, Alan P. Sexton, Volker Sorge. das 2010: 485-492 [doi]

Symbolic Domain DecompositionJacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt. AISC 2010: 172-188 [doi]

2009

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. ProceedingsSerge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, Volume 5144 of Lecture Notes in Computer Science, Springer, 2008.

Combined reasoning by automated cooperationChristoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber. japll, 6(3):318-342, 2008. [doi]

Abstract Matrix ArithmeticAlan P. Sexton, Volker Sorge, Stephen M. Watt. synasc 2008: 61-68 [doi]

Automatic Construction and Verification of Isotopy InvariantsVolker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton. JAR, 40(2-3):221-243, 2008. [doi]

2007

A Rational Reconstruction of a System for Experimental MathematicsJacques Carette, William M. Farmer, Volker Sorge. AISC 2007: 13-26 [doi]

AIMSS: An Architecture for Data Driven Simulations in the Social SciencesCatriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher. iccS 2007: 1098-1105 [doi]

2006

2005

Bridging Theorem Proving and Mathematical Knowledge RetrievalChristoph Benzmüller, Andreas Meier, Volker Sorge. BIRTHDAY 2005: 277-296 [doi]

Integration of automated reasoning and computer algebra systemsOlga Caprotti, Volker Sorge. JSC, 39(5):501-502, 2005. [doi]

Applying SAT Solving in Classification of Finite AlgebrasAndreas Meier, Volker Sorge. JAR, 35(1-3):201-235, 2005. [doi]

A New Set of Algebraic Benchmark Problems for SAT SolversAndreas Meier, Volker Sorge. sat 2005: 459-466 [doi]

Processing Textbook-Style MatricesAlan P. Sexton, Volker Sorge. mkm 2005: 111-125 [doi]

Database-Driven Mathematical Character RecognitionAlan P. Sexton, Volker Sorge. grec 2006: 218-230 [doi]

A Database of Glyphs for OCR of Mathematical DocumentsAlan P. Sexton, Volker Sorge. mkm 2005: 203-216 [doi]

Semantic Analysis of Matrix StructuresAlan P. Sexton, Volker Sorge. icdar 2005: 1141-1145 [doi]

2004

2003

Certifying Solutions to Permutation Group ProblemsArjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge. cade 2003: 258-273 [doi]

2002

2001

Experiments with an Agent-Oriented Reasoning SystemChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge. ki 2001: 409-424 [doi]

Classifying Isomorphic Residue ClassesAndreas Meier, Martin Pollet, Volker Sorge. eurocast 2001: 494-508 [doi]

2000

Workshop: The Role of Automated Deduction in MathematicsSimon Colton, Volker Sorge, Ursula Martin. cade 2000: 517

Non-Trivial Symbolic Computations in Proof PlanningVolker Sorge. frocos 2000: 121-135

1999

Critical Agents Supporting Interactive Theorem ProvingChristoph Benzmüller, Volker Sorge. epia 1999: 208-221

Integrating Tps and OmegaChristoph Benzmüller, Matthew Bishop, Volker Sorge. jucs, 5(3):188-207, 1999. [doi]

Agent based mathematical reasoningChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge. ENTCS, 23(3), 1999. [doi]

Agent-Oriented Integration of Distributed Mathematical ServicesAndreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge. jucs, 5(3):156-187, 1999. [doi]

Employing external reasoners in proof planningErica Melis, Volker Sorge. ENTCS, 23(3), 1999. [doi]

::::L::::<Omega>::::UI::::: ::::L::::ovely <Omega>MEGA ::::U::::ser ::::I::::nterfaceJö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. fac, 11(3):326-342, 1999. [doi]

1998

A Blackboard Architecture for Guiding Interactive ProofsChristoph Benzmüller, Volker Sorge. aimsa 1998: 102-114 [doi]

Integrating Computer Algebra into Proof PlanningManfred Kerber, Michael Kohlhase, Volker Sorge. JAR, 21(3):327-355, 1998.

1997

Omega: Towards a Mathematical AssistantChristoph 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. cade 1997: 252-255

1996

Integrating Computer Algebra with Proof PlanningManfred Kerber, Michael Kohlhase, Volker Sorge. disco 1996: 204-215