# Volker Sorge

According to our database1, Volker Sorge authored at least 72 papers between 1996 and 2018.

Collaborative distances:
• Dijkstra number2 of four.
• Erdős number3 of four.

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2018
The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired.
Proceedings of the Computers Helping People with Special Needs, 2018

An Accessible Interaction Model for Data Visualisation in Statistics.
Proceedings of the Computers Helping People with Special Needs, 2018

2017
Producing Accessible Statistics Diagrams in R.
Proceedings of the 14th Web for All Conference, 2017

2016
Towards universal rendering in MathJax.
Proceedings of the 13th Web for All Conference, 2016

Polyfilling Accessible Chemistry Diagrams.
Proceedings of the Computers Helping People with Special Needs, 2016

Employing semantic analysis for enhanced accessibility features in MathJax.
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Supporting Visual Impaired Learners in Editing Mathematics.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015
End-to-end solution for accessible chemical diagrams.
Proceedings of the 12th Web for All Conference, 2015

Trajectory recovery and stroke reconstruction of handwritten mathematical symbols.
Proceedings of the 13th International Conference on Document Analysis and Recognition, 2015

2014
Mathematical formula identification and performance evaluation in PDF documents.
IJDAR, 2014

Towards making mathematics a first class citizen in general screen readers.
Proceedings of the International Web for All Conference, 2014

Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images.
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

Combining Systems for Mathematical Creativity (Invited Talk).
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013
A Text Line Detection Method for Mathematical Formula Recognition.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Improving Formula Analysis with Line and Mathematics Identification.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

A Histogram-Based Approach to Mathematical Line Segmentation.
Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2013

2012
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation.
Ann. Math. Artif. Intell., 2012

Algebraic Theory Exploration: A Comparison of Technologies.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

A Term Rewriting System for Kuratowski's Closure-Complement Problem.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Chemical structure recognition: a rule-based approach.
Proceedings of the Document Recognition and Retrieval XIX, 2012

MolRec at CLEF 2012 - Overview and Analysis of Results.
Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011
Performance of MolRec at TREC 2011 Overview and Analysis of Results.
Proceedings of The Twentieth Text REtrieval Conference, 2011

Enumeration of AG-Groupoids.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Comparing Approaches to Mathematical Document Analysis from PDF.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

2010
Faithful mathematical formula recognition from PDF documents.
Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

Symbolic Domain Decomposition.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
Preface.
Ann. Math. Artif. Intell., 2009

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.
Proceedings of the Intelligent Computer Mathematics, 2009

A Linear Grammar Approach to Mathematical Formula Recognition from PDF.
Proceedings of the Intelligent Computer Mathematics, 2009

Computing with abstract matrix structures.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008
Combined reasoning by automated cooperation.
J. Applied Logic, 2008

Abstract Matrix Arithmetic.
Proceedings of the SYNASC 2008, 2008

2007
A Rational Reconstruction of a System for Experimental Mathematics.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

AIMSS: An Architecture for Data Driven Simulations in the Social Sciences.
Proceedings of the Computational Science, 2007

2006
Connecting Logical Representations and Efficient Computations.
Electr. Notes Theor. Comput. Sci., 2006

Towards a Parser for Mathematical Formula Recognition.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Capturing Abstract Matrices from Paper.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Managing Automatically Formed Mathematical Theories.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Abstract matrices in symbolic computation.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Automatic Construction and Verification of Isotopy Invariants.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
Integration of automated reasoning and computer algebra systems.
J. Symb. Comput., 2005

Applying SAT Solving in Classification of Finite Algebras.
J. Autom. Reasoning, 2005

A New Set of Algebraic Benchmark Problems for SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

A Database of Glyphs for OCR of Mathematical Documents.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Processing Textbook-Style Matrices.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Semantic Analysis of Matrix Structures.
Proceedings of the Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August, 2005

Database-Driven Mathematical Character Recognition.
Proceedings of the Graphics Recognition. Ten Years Review and Future Perspectives, 2005

Bridging Theorem Proving and Mathematical Knowledge Retrieval.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Intuitive and Formal Representations: The Case of Matrices.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Can a Higher-Order and a First-Order Theorem Prover Cooperate?.
Proceedings of the Logic for Programming, 2004

Automatic Generation of Classification Theorems for Finite Algebras.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
Certifying Solutions to Permutation Group Problems.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002
Comparing Approaches to the Exploration of the Domain of Residue Classes.
J. Symb. Comput., 2002

Proof Development with OMEGA.
Proceedings of the Automated Deduction, 2002

Employing Theory Formation to Guide Proof Planning.
Proceedings of the Artificial Intelligence, 2002

2001
Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning.
PhD thesis, 2001

Experiments with an Agent-Oriented Reasoning System.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Classifying Isomorphic Residue Classes.
Proceedings of the Computer Aided Systems Theory, 2001

2000
Non-Trivial Symbolic Computations in Proof Planning.
Proceedings of the Frontiers of Combining Systems, 2000

Workshop: The Role of Automated Deduction in Mathematics.
Proceedings of the Automated Deduction, 2000

Resource Guided Concurrent Deduction.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999
Agent-Oriented Integration of Distributed Mathematical Services.
J. UCS, 1999

Integrating Tps and Omega.
J. UCS, 1999

LUI: Lovely MEGA User Interface.
Formal Asp. Comput., 1999

Employing external reasoners in proof planning.
Electr. Notes Theor. Comput. Sci., 1999

Agent based mathematical reasoning.
Electr. Notes Theor. Comput. Sci., 1999

Critical Agents Supporting Interactive Theorem Proving.
Proceedings of the Progress in Artificial Intelligence, 1999

1998
Integrating Computer Algebra into Proof Planning.
J. Autom. Reasoning, 1998

A Blackboard Architecture for Guiding Interactive Proofs.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Omega: Towards a Mathematical Assistant.
Proceedings of the Automated Deduction, 1997

1996
Integrating Computer Algebra with Proof Planning.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996