Integrating Computer Algebra with Proof Planning. - Manfred Kerber; Michael Kohlhase; Volker Sorge (DISCO, 1996)

Omega: Towards a Mathematical Assistant. - Christoph Benzmüller; Lassaad Cheikhrouhou; Detlef Fehrer; Armin Fiedler; Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Wolf Schaarschmidt; Jörg H. Siekmann; et al. (CADE, 1997)

A Blackboard Architecture for Guiding Interactive Proofs. - Christoph Benzmüller; Volker Sorge (AIMSA, 1998)

Integrating Computer Algebra into Proof Planning. - Manfred Kerber; Michael Kohlhase; Volker Sorge (J. Autom. Reason., 1998)

Critical Agents Supporting Interactive Theorem Proving. - Christoph Benzmüller; Volker Sorge (EPIA, 1999)

Agent based mathematical reasoning. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (Calculemus, 1999)

Employing external reasoners in proof planning. - Erica Melis; Volker Sorge (Calculemus, 1999)

L<Omega>UI: Lovely <Omega>MEGA User Interface. - Jörg H. Siekmann; Stephan M. Hess; Christoph Benzmüller; Lassaad Cheikhrouhou; Armin Fiedler; Helmut Horacek; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Martin Pollet; Volker Sorge (Formal Aspects Comput., 1999)

Integrating Tps and Omega. - Christoph Benzmüller; Matthew Bishop; Volker Sorge (J. Univers. Comput. Sci., 1999)

Agent-Oriented Integration of Distributed Mathematical Services. - Andreas Franke 001; Stephan M. Hess; Christoph G. Jung; Michael Kohlhase; Volker Sorge (J. Univers. Comput. Sci., 1999)

Resource Guided Concurrent Deduction. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (ARW, 2000)

Workshop: The Role of Automated Deduction in Mathematics. - Simon Colton; Volker Sorge; Ursula Martin (CADE, 2000)

Non-Trivial Symbolic Computations in Proof Planning. - Volker Sorge (FroCoS, 2000)

Classifying Isomorphic Residue Classes. - Andreas Meier 002; Martin Pollet; Volker Sorge (EUROCAST, 2001)

Experiments with an Agent-Oriented Reasoning System. - Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge (KI/ÖGAI, 2001)

Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. - Volker Sorge (2001)

Employing Theory Formation to Guide Proof Planning. - Andreas Meier 002; Volker Sorge; Simon Colton (AISC, 2002)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

Comparing Approaches to the Exploration of the Domain of Residue Classes. - Andreas Meier 002; Martin Pollet; Volker Sorge (J. Symb. Comput., 2002)

Certifying Solutions to Permutation Group Problems. - Arjeh M. Cohen; Scott H. Murray; Martin Pollet; Volker Sorge (CADE, 2003)

Automatic Generation of Classification Theorems for Finite Algebras. - Simon Colton; Andreas Meier 002; Volker Sorge; Roy L. McCasland (IJCAR, 2004)

Can a Higher-Order and a First-Order Theorem Prover Cooperate?. - Christoph Benzmüller; Volker Sorge; Mateja Jamnik; Manfred Kerber (LPAR, 2004)

Intuitive and Formal Representations: The Case of Matrices. - Martin Pollet; Volker Sorge; Manfred Kerber (MKM, 2004)

Bridging Theorem Proving and Mathematical Knowledge Retrieval. - Christoph Benzmüller; Andreas Meier 002; Volker Sorge (Mechanizing Mathematical Reasoning, 2005)

Database-Driven Mathematical Character Recognition. - Alan P. Sexton; Volker Sorge (GREC, 2005)

Semantic Analysis of Matrix Structures. - Alan P. Sexton; Volker Sorge (ICDAR, 2005)

Processing Textbook-Style Matrices. - Alan P. Sexton; Volker Sorge (MKM, 2005)

A Database of Glyphs for OCR of Mathematical Documents. - Alan P. Sexton; Volker Sorge (MKM, 2005)

A New Set of Algebraic Benchmark Problems for SAT Solvers. - Andreas Meier 002; Volker Sorge (SAT, 2005)

Connecting Logical Representations and Efficient Computations. - Martin Pollet; Volker Sorge (Calculemus, 2005)

Applying SAT Solving in Classification of Finite Algebras. - Andreas Meier 002; Volker Sorge (J. Autom. Reason., 2005)

Integration of automated reasoning and computer algebra systems. - Olga Caprotti; Volker Sorge (J. Symb. Comput., 2005)

Abstract matrices in symbolic computation. - Alan P. Sexton; Volker Sorge (ISSAC, 2006)

Managing Automatically Formed Mathematical Theories. - Simon Colton; Pedro Torres 001; Paul A. Cairns; Volker Sorge (MKM, 2006)

Capturing Abstract Matrices from Paper. - Toshihiro Kanahori; Alan P. Sexton; Volker Sorge; Masakazu Suzuki (MKM, 2006)

Towards a Parser for Mathematical Formula Recognition. - Amar Raja; Matthew Rayner; Alan P. Sexton; Volker Sorge (MKM, 2006)

AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. - Catriona M. Kennedy; Georgios Theodoropoulos 001; Volker Sorge; Edward Ferrari; Peter Lee 003; Chris Skelcher (International Conference on Computational Science (1), 2007)

A Rational Reconstruction of a System for Experimental Mathematics. - Jacques Carette; William M. Farmer; Volker Sorge (Calculemus/MKM, 2007)

Abstract Matrix Arithmetic. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (SYNASC, 2008)

Combined reasoning by automated cooperation. - Christoph Benzmüller; Volker Sorge; Mateja Jamnik; Manfred Kerber (J. Appl. Log., 2008)

Automatic Construction and Verification of Isotopy Invariants. - Volker Sorge; Andreas Meier 002; Roy L. McCasland; Simon Colton (J. Autom. Reason., 2008)

Computing with abstract matrix structures. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (ISSAC, 2009)

A Linear Grammar Approach to Mathematical Formula Recognition from PDF. - Josef B. Baker; Alan P. Sexton; Volker Sorge (Calculemus/MKM, 2009)

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (Calculemus/MKM, 2009)

Preface. - Jacques Calmet; Volker Sorge (Ann. Math. Artif. Intell., 2009)

Resource Adaptive Agents in Interactive Theorem Proving - Christoph Benzmüller; Volker Sorge (CoRR, 2009)

Symbolic Domain Decomposition. - Jacques Carette; Alan P. Sexton; Volker Sorge; Stephen M. Watt (AISC/MKM/Calculemus, 2010)

Faithful mathematical formula recognition from PDF documents. - Josef B. Baker; Alan P. Sexton; Volker Sorge (Document Analysis Systems, 2010)

Comparing Approaches to Mathematical Document Analysis from PDF. - Josef B. Baker; Alan P. Sexton; Volker Sorge; Masakazu Suzuki (ICDAR, 2011)

Enumeration of AG-Groupoids. - Andreas Distler; Muhammad Shah; Volker Sorge (Calculemus/MKM, 2011)

Performance of MolRec at TREC 2011 Overview and Analysis of Results. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (TREC, 2011)

MaxTract: Converting PDF to $ mbox LaTeX$ , MathML and Text. - Josef B. Baker; Alan P. Sexton; Volker Sorge (AISC/MKM/Calculemus, 2012)

MolRec at CLEF 2012 - Overview and Analysis of Results. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (CLEF (Online Working Notes/Labs/Workshop), 2012)

Chemical structure recognition: a rule-based approach. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (DRR, 2012)

A Term Rewriting System for Kuratowski's Closure-Complement Problem. - Osama Al-Hassani; Quratul-ain Mahesar; Claudio Sacerdoti Coen; Volker Sorge (RTA, 2012)

Algebraic Theory Exploration: A Comparison of Technologies. - Quratul-ain Mahesar; Volker Sorge (SYNASC, 2012)

Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. - Randa Almomen; Alan P. Sexton; Volker Sorge (Ann. Math. Artif. Intell., 2012)

A Histogram-Based Approach to Mathematical Line Segmentation. - Mohamed A. Alkalai; Volker Sorge (CIARP (1), 2013)

Improving Formula Analysis with Line and Mathematics Identification. - Mohamed A. Alkalai; Josef B. Baker; Volker Sorge; Xiaoyan Lin (ICDAR, 2013)

A Text Line Detection Method for Mathematical Formula Recognition. - Xiaoyan Lin; Liangcai Gao; Zhi Tang 001; Josef B. Baker; Mohamed A. Alkalai; Volker Sorge (ICDAR, 2013)

Combining Systems for Mathematical Creativity (Invited Talk). - Volker Sorge (AISC, 2014)

Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. - Behrang Sabeghi Saroui; Volker Sorge (Document Analysis Systems, 2014)

Towards making mathematics a first class citizen in general screen readers. - Volker Sorge; Charles L. Chen; T. V. Raman 001; David Tseng (W4A, 2014)

Mathematical formula identification and performance evaluation in PDF documents. - Xiaoyan Lin; Liangcai Gao; Zhi Tang 001; Josef B. Baker; Volker Sorge (Int. J. Document Anal. Recognit., 2014)

Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. - Behrang Sabeghi Saroui; Volker Sorge (ICDAR, 2015)

End-to-end solution for accessible chemical diagrams. - Volker Sorge; Mark Lee 001; Sandy Wilkinson (W4A, 2015)

Supporting Visual Impaired Learners in Editing Mathematics. - Volker Sorge (ASSETS, 2016)

Employing semantic analysis for enhanced accessibility features in MathJax. - Davide Cervone; Peter Krautzberger; Volker Sorge (CCNC, 2016)

Polyfilling Accessible Chemistry Diagrams. - Volker Sorge (ICCHP (1), 2016)

Towards universal rendering in MathJax. - Davide Cervone; Peter Krautzberger; Volker Sorge (W4A, 2016)

Producing Accessible Statistics Diagrams in R. - Donal Fitzpatrick; A. Jonathan R. Godfrey; Volker Sorge (W4A, 2017)

An Accessible Interaction Model for Data Visualisation in Statistics. - A. Jonathan R. Godfrey; Paul Murrell; Volker Sorge (ICCHP (1), 2018)

The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. - Dorine in 't Veld; Volker Sorge (ICCHP (1), 2018)

Adaptable Accessibility Features for Mathematics on the Web. - Davide Cervone; Volker Sorge (W4A, 2019)

Scientific Documents. - Volker Sorge; Dragan Ahmetovic; Cristian Bernareggi; John Gardner (Web Accessibility (2nd Ed.), 2019)

Session details: Standards and policy. - Volker Sorge (W4A, 2020)

Towards generating web-accessible STEM documents from PDF. - Volker Sorge; Akashdeep Bansal; Neha M. Jadhav; Himanshu Garg; Ayushi Verma; Meenakshi Balakrishnan (W4A, 2020)

Comprehensive accessibility of equations by visually impaired. - Akashdeep Bansal; Meenakshi Balakrishnan; Volker Sorge (ACM SIGACCESS Access. Comput., 2020)

Towards Semantically Enhanced Audio Rendering of Equations. - Akashdeep Bansal; Volker Sorge; Meenakshi Balakrishnan; Aayush Aggarwal (ICCHP-AAATE (1), 2022)

Making Equations Accessible in Scientific Documents. - Shivansh Juyal; Sanjeev Sharma; Neha Jadhav; Volker Sorge; Meenakshi Balakrishnan (ICCHP-AAATE (1), 2022)

Authoring Web-accessible Mathematical Diagrams. - David Austin; Volker Sorge (W4A, 2023)

PreTeXt as Authoring Format for Accessible Alternative Media. - David Austin; Robert Beezer; Michael Cantino; Alexei Kolesnikov; Al Maneki; Volker Sorge (ICCHP (1), 2024)