Folgen
Volker Sorge
Volker Sorge
Professor in Document Analysis and Accessibility, University of Birmingham
Bestätigte E-Mail-Adresse bei cs.bham.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
2441997
Proof Development with Ωmega
J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ...
Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002
1152002
Agent-Oriented Integration of Distributed Mathematical Services.
A Franke, SM Hess, CG Jung, M Kohlhase, V Sorge
J. Univers. Comput. Sci. 5 (3), 156-187, 1999
861999
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21, 327-355, 1998
841998
A linear grammar approach to mathematical formula recognition from PDF
JB Baker, AP Sexton, V Sorge
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009
682009
Ω-Ants–An open approach at combining interactive and automated theorem proving
C Benzmüller, V Sorge
Symbolic Computation and Automated Reasoning, 81-97, 2001
672001
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
651999
Chemical structure recognition: a rule-based approach
NM Sadawi, AP Sexton, V Sorge
Document Recognition and Retrieval XIX 8297, 101-109, 2012
542012
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, 1-10, 2014
472014
A blackboard architecture for guiding interactive proofs
C Benzmüller, V Sorge
International Conference on Artificial Intelligence: Methodology, Systems …, 1998
441998
Mathematical formula identification and performance evaluation in PDF documents
X Lin, L Gao, Z Tang, J Baker, V Sorge
International Journal on Document Analysis and Recognition (IJDAR) 17, 239-255, 2014
432014
AIMSS: An architecture for data driven simulations in the social sciences
C Kennedy, G Theodoropoulos, V Sorge, E Ferrari, P Lee, C Skelcher
Computational Science–ICCS 2007: 7th International Conference, Beijing …, 2007
422007
Non-trivial symbolic computations in proof planning
V Sorge
International Workshop on Frontiers of Combining Systems, 121-135, 2000
412000
PDS—A three-dimensional data structure for proof plans
L Cheikhrouhou, V Sorge
Proceedings of the International Conference on Artificial and Computational …, 2000
412000
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
372002
End-to-end solution for accessible chemical diagrams
V Sorge, M Lee, S Wilkinson
Proceedings of the 12th International Web for All Conference, 1-10, 2015
362015
Combined reasoning by automated cooperation
C Benzmüller, V Sorge, M Jamnik, M Kerber
Journal of Applied Logic 6 (3), 318-342, 2008
362008
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
362004
Integrating tps and omega
C Benzmüller, M Bishop, V Sorge
341999
An accessible interaction model for data visualisation in statistics
AJR Godfrey, P Murrell, V Sorge
Computers Helping People with Special Needs: 16th International Conference …, 2018
302018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20