Volker Sorge

According to our database, Volker Sorge authored at least 82 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

PreTeXt as Authoring Format for Accessible Alternative Media.

David Austin, Robert Beezer, Michael Cantino, Alexei Kolesnikov, Al Maneki, Volker Sorge

Proceedings of the Computers Helping People with Special Needs, 2024

2023

Authoring Web-accessible Mathematical Diagrams.

David Austin, Volker Sorge

Proceedings of the 20th International Web for All Conference, 2023

2022

Making Equations Accessible in Scientific Documents.

Shivansh Juyal, Sanjeev Sharma, Neha Jadhav, Volker Sorge, Meenakshi Balakrishnan

Proceedings of the Computers Helping People with Special Needs, 2022

Towards Semantically Enhanced Audio Rendering of Equations.

Akashdeep Bansal, Volker Sorge, Meenakshi Balakrishnan, Aayush Aggarwal

Proceedings of the Computers Helping People with Special Needs, 2022

2020

Comprehensive accessibility of equations by visually impaired.

Akashdeep Bansal, Meenakshi Balakrishnan, Volker Sorge

ACM SIGACCESS Access. Comput., 2020

Towards generating web-accessible STEM documents from PDF.

Volker Sorge, Akashdeep Bansal, Neha M. Jadhav, Himanshu Garg, Ayushi Verma, Meenakshi Balakrishnan

Proceedings of the W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020, 2020

Session details: Standards and policy.

Volker Sorge

Proceedings of the W4A '20: 17th Web for All Conference, Taipei, Taiwan, April 20-21, 2020, 2020

2019

Scientific Documents.

Volker Sorge, Dragan Ahmetovic, Cristian Bernareggi, John Gardner

Proceedings of the Web Accessibility - A Foundation for Research, Second Edition, 2019

Adaptable Accessibility Features for Mathematics on the Web.

Davide Cervone, Volker Sorge

Proceedings of the 16th Web For All 2019 Conference - Personalizing the Web, 2019

2018

The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired.

Dorine in 't Veld, Volker Sorge

Proceedings of the Computers Helping People with Special Needs, 2018

An Accessible Interaction Model for Data Visualisation in Statistics.

A. Jonathan R. Godfrey, Paul Murrell, Volker Sorge

Proceedings of the Computers Helping People with Special Needs, 2018

2017

Producing Accessible Statistics Diagrams in R.

Donal Fitzpatrick, A. Jonathan R. Godfrey, Volker Sorge

Proceedings of the 14th Web for All Conference, 2017

2016

Towards universal rendering in MathJax.

Davide Cervone, Peter Krautzberger, Volker Sorge

Proceedings of the 13th Web for All Conference, 2016

Polyfilling Accessible Chemistry Diagrams.

Volker Sorge

Proceedings of the Computers Helping People with Special Needs, 2016

Employing semantic analysis for enhanced accessibility features in MathJax.

Davide Cervone, Peter Krautzberger, Volker Sorge

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Supporting Visual Impaired Learners in Editing Mathematics.

Volker Sorge

Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015

End-to-end solution for accessible chemical diagrams.

Volker Sorge, Mark Lee, Sandy Wilkinson

Proceedings of the 12th Web for All Conference, 2015

Trajectory recovery and stroke reconstruction of handwritten mathematical symbols.

Behrang Sabeghi Saroui, Volker Sorge

Proceedings of the 13th International Conference on Document Analysis and Recognition, 2015

2014

Mathematical formula identification and performance evaluation in PDF documents.

Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Volker Sorge

Int. J. Document Anal. Recognit., 2014

Towards making mathematics a first class citizen in general screen readers.

Volker Sorge, Charles L. Chen, T. V. Raman, David Tseng

Proceedings of the International Web for All Conference, 2014

Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images.

Behrang Sabeghi Saroui, Volker Sorge

Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

Combining Systems for Mathematical Creativity (Invited Talk).

Volker Sorge

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

A Text Line Detection Method for Mathematical Formula Recognition.

Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Mohamed A. Alkalai, Volker Sorge

Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Improving Formula Analysis with Line and Mathematics Identification.

Mohamed A. Alkalai, Josef B. Baker, Volker Sorge, Xiaoyan Lin

Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

A Histogram-Based Approach to Mathematical Line Segmentation.

Mohamed A. Alkalai, Volker Sorge

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.

Randa Almomen, Alan P. Sexton, Volker Sorge

Ann. Math. Artif. Intell., 2012

Algebraic Theory Exploration: A Comparison of Technologies.

Quratul-ain Mahesar, Volker Sorge

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.

Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Chemical structure recognition: a rule-based approach.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of the Document Recognition and Retrieval XIX, 2012

MolRec at CLEF 2012 - Overview and Analysis of Results.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Performance of MolRec at TREC 2011 Overview and Analysis of Results.

Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge

Proceedings of The Twentieth Text REtrieval Conference, 2011

Enumeration of AG-Groupoids.

Andreas Distler, Muhammad Shah, Volker Sorge

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Comparing Approaches to Mathematical Document Analysis from PDF.

Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki

Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

2010

Faithful mathematical formula recognition from PDF documents.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

Symbolic Domain Decomposition.

Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Resource Adaptive Agents in Interactive Theorem Proving

Christoph Benzmüller, Volker Sorge

CoRR, 2009

Preface.

Jacques Calmet, Volker Sorge

Ann. Math. Artif. Intell., 2009

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics, 2009

A Linear Grammar Approach to Mathematical Formula Recognition from PDF.

Josef B. Baker, Alan P. Sexton, Volker Sorge

Proceedings of the Intelligent Computer Mathematics, 2009

Computing with abstract matrix structures.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Automatic Construction and Verification of Isotopy Invariants.

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton

J. Autom. Reason., 2008

Combined reasoning by automated cooperation.

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber

J. Appl. Log., 2008

Abstract Matrix Arithmetic.

Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the SYNASC 2008, 2008

2007

A Rational Reconstruction of a System for Experimental Mathematics.

Jacques Carette, William M. Farmer, Volker Sorge

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

AIMSS: An Architecture for Data Driven Simulations in the Social Sciences.

Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher

Proceedings of the Computational Science, 2007

2006

Towards a Parser for Mathematical Formula Recognition.

Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Capturing Abstract Matrices from Paper.

Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Managing Automatically Formed Mathematical Theories.

Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Abstract matrices in symbolic computation.

Alan P. Sexton, Volker Sorge

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

Integration of automated reasoning and computer algebra systems.

Olga Caprotti, Volker Sorge

J. Symb. Comput., 2005

Applying SAT Solving in Classification of Finite Algebras.

Andreas Meier, Volker Sorge

J. Autom. Reason., 2005

Connecting Logical Representations and Efficient Computations.

Martin Pollet, Volker Sorge

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

A New Set of Algebraic Benchmark Problems for SAT Solvers.

Andreas Meier, Volker Sorge

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

A Database of Glyphs for OCR of Mathematical Documents.

Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Processing Textbook-Style Matrices.

Alan P. Sexton, Volker Sorge

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Semantic Analysis of Matrix Structures.

Alan P. Sexton, Volker Sorge

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

Database-Driven Mathematical Character Recognition.

Alan P. Sexton, Volker Sorge

Proceedings of the Graphics Recognition. Ten Years Review and Future Perspectives, 2005

Bridging Theorem Proving and Mathematical Knowledge Retrieval.

Christoph Benzmüller, Andreas Meier, Volker Sorge

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Intuitive and Formal Representations: The Case of Matrices.

Martin Pollet, Volker Sorge, Manfred Kerber

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Can a Higher-Order and a First-Order Theorem Prover Cooperate?.

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber

Proceedings of the Logic for Programming, 2004

Automatic Generation of Classification Theorems for Finite Algebras.

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Certifying Solutions to Permutation Group Problems.

Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge

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.

Andreas Meier, Martin Pollet, Volker Sorge

J. Symb. Comput., 2002

Proof Development with OMEGA.

Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer

Proceedings of the Automated Deduction, 2002

Employing Theory Formation to Guide Proof Planning.

Andreas Meier, Volker Sorge, Simon Colton

Proceedings of the Artificial Intelligence, 2002

2001

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

Volker Sorge

PhD thesis, 2001

Experiments with an Agent-Oriented Reasoning System.

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Classifying Isomorphic Residue Classes.

Andreas Meier, Martin Pollet, Volker Sorge

Proceedings of the Computer Aided Systems Theory, 2001

2000

Non-Trivial Symbolic Computations in Proof Planning.

Volker Sorge

Proceedings of the Frontiers of Combining Systems, 2000

Workshop: The Role of Automated Deduction in Mathematics.

Simon Colton, Volker Sorge, Ursula Martin

Proceedings of the Automated Deduction, 2000

Resource Guided Concurrent Deduction.

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Agent-Oriented Integration of Distributed Mathematical Services.

Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge

J. Univers. Comput. Sci., 1999

Integrating Tps and Omega.

Christoph Benzmüller, Matthew Bishop, Volker Sorge

J. Univers. Comput. Sci., 1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge

Formal Aspects Comput., 1999

Employing external reasoners in proof planning.

Erica Melis, Volker Sorge

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Agent based mathematical reasoning.

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Critical Agents Supporting Interactive Theorem Proving.

Christoph Benzmüller, Volker Sorge

Proceedings of the Progress in Artificial Intelligence, 1999

1998

Integrating Computer Algebra into Proof Planning.

Manfred Kerber, Michael Kohlhase, Volker Sorge

J. Autom. Reason., 1998

A Blackboard Architecture for Guiding Interactive Proofs.

Christoph Benzmüller, Volker Sorge

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Omega: Towards a Mathematical Assistant.

Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge

Proceedings of the Automated Deduction, 1997

1996

Integrating Computer Algebra with Proof Planning.

Manfred Kerber, Michael Kohlhase, Volker Sorge

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996