Volker Sorge
Volker Sorge
Reader in Scientific Document Analysis, University of Birmingham
Verified email at cs.bham.ac.uk
TitleCited byYear
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
International Conference on Automated Deduction, 252-255, 1997
2221997
Proof Development with Ωmega
J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ...
International Conference on Automated Deduction, 144-149, 2002
1092002
Agent-oriented integration of distributed mathematical services
A Franke, SM Hess, CG Jung, M Kohlhase, V Sorge
Journal of Universal Computer Science 5 (3), 156-187, 1999
831999
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21 (3), 327-355, 1998
761998
OANTS–an open approach at combining interactive and automated theorem proving
C Benzmüller, V Sorge
Symbolic Computation and Automated Reasoning, 81-97, 2001
642001
LΩUI: Lovely ΩMEGA user interface
J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ...
Formal Aspects of Computing 11 (3), 326-342, 1999
541999
PDS—A three-dimensional data structure for proof plans
L Cheikhrouhou, V Sorge
Proceedings of the International Conference on Artificial and Computational …, 2000
382000
Combined reasoning by automated cooperation
C Benzmüller, V Sorge, M Jamnik, M Kerber
Journal of Applied Logic 6 (3), 318-342, 2008
352008
Integrating tps and omega
C Benzmüller, M Bishop, V Sorge
Journal of Universal Computer Science 5 (3), 188-207, 1999
351999
A linear grammar approach to mathematical formula recognition from PDF
JB Baker, AP Sexton, V Sorge
International Conference on Intelligent Computer Mathematics, 201-216, 2009
342009
Non-trivial symbolic computations in proof planning
V Sorge
International Workshop on Frontiers of Combining Systems, 121-135, 2000
342000
Comparing approaches to the exploration of the domain of residue classes
A Meier, M Pollet, V Sorge
Journal of Symbolic Computation 34 (4), 287-306, 2002
332002
A blackboard architecture for guiding interactive proofs
C Benzmüller, V Sorge
International Conference on Artificial Intelligence: Methodology, Systems …, 1998
331998
Automatic generation of classification theorems for finite algebras
S Colton, A Meier, V Sorge, R McCasland
International Joint Conference on Automated Reasoning, 400-414, 2004
322004
Integrating computer algebra with proof planning
M Kerber, M Kohlhase, V Sorge
International Symposium on Design and Implementation of Symbolic Computation …, 1996
281996
Adaptive course generation and presentation
J Siekmann, C Benzmuller, A Fiedler, A Franke, G Goguadze, H Horacek, ...
Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based …, 2000
272000
AIMSS: An architecture for data driven simulations in the social sciences
C Kennedy, G Theodoropoulos, V Sorge, E Ferrari, P Lee, C Skelcher
International Conference on Computational Science, 1098-1105, 2007
262007
A predictive method of calculating the dosimetric effect of 1-D motion on narrow multileaf collimated segments
A Kelly, M Williams, P Metcalfe
Australasian Physics & Engineering Sciences in Medicine 32 (1), 1, 2009
252009
Towards making mathematics a first class citizen in general screen readers
V Sorge, C Chen, TV Raman, D Tseng
Proceedings of the 11th Web for All Conference, 40, 2014
242014
Automatic construction and verification of isotopy invariants
V Sorge, A Meier, R McCasland, S Colton
Journal of Automated Reasoning 40 (2-3), 221-243, 2008
242008
The system can't perform the operation now. Try again later.
Articles 1–20