Volker Sorge

Volker Sorge

University of Birmingham - Birmingham / United Kingdom
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4322171
person_outline Volker Sorge's MOST POPULAR ARTICLES
1-) Ωmega: Towards a mathematical assistantC Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...International Conference on Automated Deduction, 252-255, 19972331997
2-) Proof Development with ΩmegaJ Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ...International Conference on Automated Deduction, 144-149, 20021132002
3-) Agent-Oriented Integration of Distributed Mathematical Services.A Franke, SM Hess, CG Jung, M Kohlhase, V SorgeJ. Univers. Comput. Sci. 5 (3), 156-187, 1999861999
4-) Integrating computer algebra into proof planningM Kerber, M Kohlhase, V SorgeJournal of Automated Reasoning 21, 327-355, 1998841998
5-) A linear grammar approach to mathematical formula recognition from PDFJB Baker, AP Sexton, V SorgeIntelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009682009