Volker Sorge
机构: Professor in Document Analysis and Accessibility, University of Birmingham
每年引用次数
引用次数
引用: 2,273
H-指数: 26
I10-指数 : 64
出版物: 226
Enumeration of AG-groupoids
Andreas Distler , Muhammad Shah , Volker Sorge
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics 1 -14
15
2011
Abstract Matrix Arithmetic
Alan P. Sexton , Volker Sorge , Stephen M. Watt
symbolic and numeric algorithms for scientific computing 61 -68
6
2008
Algebraic Theory Exploration: A Comparison of Technologies
Quratul-ain Mahesar , Volker Sorge
symbolic and numeric algorithms for scientific computing 70 -77
1
2012
Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images
Behrang Sabeghi Saroui , Volker Sorge
document analysis systems 91 -95
3
2014
Computing with abstract matrix structures
Alan P. Sexton , Volker Sorge , Stephen M. Watt
international symposium on symbolic and algebraic computation 325 -332
8
2009
Comparing Approaches to the Exploration of the Domain of Residue Classes
Andreas Meier , Martin Pollet , Volker Sorge
Journal of Symbolic Computation 34 ( 4) 287 -306
25
2002
Towards universal rendering in MathJax
Davide Cervone , Peter Krautzberger , Volker Sorge
Proceedings of the 13th International Web for All Conference 4
8
2016
Certifying Solutions to Permutation Group Problems
Arjeh Cohen , Scott H. Murray , Martin Pollet , Volker Sorge
conference on automated deduction 258 -273
13
2003
Polyfilling Accessible Chemistry Diagrams
Volker Sorge
international conference on computers helping people with special needs 43 -50
3
2016
Non-Trivial Symbolic Computations in Proof Planning
Volker Sorge
frontiers of combining systems 121 -135
22
2000
Chemical structure recognition: a rule-based approach
Noureddin M. Sadawi , Alan P. Sexton , Volker Sorge
Document Recognition and Retrieval XIX 8297
20
2012
End-to-end solution for accessible chemical diagrams
Volker Sorge , Mark Lee , Sandy Wilkinson
Proceedings of the 12th International Web for All Conference 6
14
2015
Employing Theory Formation to Guide Proof Planning
Andreas Meier , Volker Sorge , Simon Colton
artificial intelligence and symbolic computation 275 -289
15
2002
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller , Andreas Meier , Volker Sorge
Mechanizing Mathematical Reasoning 277 -296
8
2005
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge , Andreas Meier , Roy McCasland , Simon Colton
Journal of Automated Reasoning 40 ( 2) 221 -243
16
2008
Mathematical formula identification and performance evaluation in PDF documents
Xiaoyan Lin , Liangcai Gao , Zhi Tang , Josef Baker
International Journal on Document Analysis and Recognition (IJDAR) 17 ( 3) 239 -255
40
2014
Classifying Isomorphic Residue Classes
Andreas Meier , Martin Pollet , Volker Sorge
computer aided systems theory 494 -508
11
2001
Supporting Visual Impaired Learners in Editing Mathematics
Volker Sorge
conference on computers and accessibility 323 -324
4
2016
A Histogram-Based Approach to Mathematical Line Segmentation
Mohamed Alkalai , Volker Sorge
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 447 -455
1
2013
Abstract matrices in symbolic computation
Alan Sexton , Volker Sorge
Proceedings of the 2006 international symposium on Symbolic and algebraic computation - ISSAC '06 318 -325
17
2006