The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Volker Sorge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  38. Symbolic Domain Decomposition. [Citation Graph (, )][DBLP]


  39. Faithful mathematical formula recognition from PDF documents. [Citation Graph (, )][DBLP]


  40. Computing with abstract matrix structures. [Citation Graph (, )][DBLP]


  41. Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. [Citation Graph (, )][DBLP]


  42. A Linear Grammar Approach to Mathematical Formula Recognition from PDF. [Citation Graph (, )][DBLP]


  43. Abstract Matrix Arithmetic. [Citation Graph (, )][DBLP]


  44. Preface. [Citation Graph (, )][DBLP]


  45. Resource Adaptive Agents in Interactive Theorem Proving [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002