Ω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 | 243 | 1997 |
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 | 115 | 2002 |
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 | 86 | 1999 |
Integrating computer algebra into proof planning M Kerber, M Kohlhase, V Sorge Journal of Automated Reasoning 21, 327-355, 1998 | 84 | 1998 |
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 | 68 | 2009 |
Ω-Ants–An open approach at combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001 | 67 | 2001 |
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 | 65 | 1999 |
Chemical structure recognition: a rule-based approach NM Sadawi, AP Sexton, V Sorge Document Recognition and Retrieval XIX 8297, 101-109, 2012 | 54 | 2012 |
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 | 47 | 2014 |
A blackboard architecture for guiding interactive proofs C Benzmüller, V Sorge International Conference on Artificial Intelligence: Methodology, Systems …, 1998 | 44 | 1998 |
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 | 43 | 2014 |
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 | 42 | 2007 |
Non-trivial symbolic computations in proof planning V Sorge International Workshop on Frontiers of Combining Systems, 121-135, 2000 | 41 | 2000 |
PDS—A three-dimensional data structure for proof plans L Cheikhrouhou, V Sorge Proceedings of the International Conference on Artificial and Computational …, 2000 | 41 | 2000 |
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 | 37 | 2002 |
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 | 36 | 2015 |
Combined reasoning by automated cooperation C Benzmüller, V Sorge, M Jamnik, M Kerber Journal of Applied Logic 6 (3), 318-342, 2008 | 36 | 2008 |
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 | 36 | 2004 |
Integrating tps and omega C Benzmüller, M Bishop, V Sorge | 34 | 1999 |
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 | 30 | 2018 |