Volker Sorge

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 16

Top Venues

W4A

ICCHP (1)

ICCHP-AAATE (1)

Int. J. Document Anal. Recognit.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

David Austin, Robert Beezer, Michael Cantino, Alexei Kolesnikov, Al Maneki, Volker Sorge
PreTeXt as Authoring Format for Accessible Alternative Media. ICCHP (1) (2024)
David Austin, Volker Sorge
Authoring Web-accessible Mathematical Diagrams. W4A (2023)
David Austin, Volker Sorge
Authoring Web-accessible Mathematical Diagrams. W4A (2023)
Shivansh Juyal, Sanjeev Sharma, Neha Jadhav, Volker Sorge, Meenakshi Balakrishnan
Making Equations Accessible in Scientific Documents. ICCHP-AAATE (1) (2022)
Akashdeep Bansal, Volker Sorge, Meenakshi Balakrishnan, Aayush Aggarwal
Towards Semantically Enhanced Audio Rendering of Equations. ICCHP-AAATE (1) (2022)
Volker Sorge
Session details: Standards and policy. W4A (2020)
Volker Sorge, Akashdeep Bansal, Neha M. Jadhav, Himanshu Garg, Ayushi Verma, Meenakshi Balakrishnan
Towards generating web-accessible STEM documents from PDF. W4A (2020)
Akashdeep Bansal, Meenakshi Balakrishnan, Volker Sorge
Comprehensive accessibility of equations by visually impaired. ACM SIGACCESS Access. Comput. 126 (2020)
Davide Cervone, Volker Sorge
Adaptable Accessibility Features for Mathematics on the Web. W4A (2019)
Dorine in 't Veld, Volker Sorge
The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. ICCHP (1) (2018)
A. Jonathan R. Godfrey, Paul Murrell, Volker Sorge
An Accessible Interaction Model for Data Visualisation in Statistics. ICCHP (1) (2018)
Donal Fitzpatrick, A. Jonathan R. Godfrey, Volker Sorge
Producing Accessible Statistics Diagrams in R. W4A (2017)
Davide Cervone, Peter Krautzberger, Volker Sorge
Employing semantic analysis for enhanced accessibility features in MathJax. CCNC (2016)
Davide Cervone, Peter Krautzberger, Volker Sorge
Towards universal rendering in MathJax. W4A (2016)
Volker Sorge
Supporting Visual Impaired Learners in Editing Mathematics. ASSETS (2016)
Volker Sorge
Polyfilling Accessible Chemistry Diagrams. ICCHP (1) (2016)
Volker Sorge, Mark Lee, Sandy Wilkinson
End-to-end solution for accessible chemical diagrams. W4A (2015)
Behrang Sabeghi Saroui, Volker Sorge
Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. ICDAR (2015)
Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Volker Sorge
Mathematical formula identification and performance evaluation in PDF documents. Int. J. Document Anal. Recognit. 17 (3) (2014)
Behrang Sabeghi Saroui, Volker Sorge
Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. Document Analysis Systems (2014)
Volker Sorge, Charles L. Chen, T. V. Raman, David Tseng
Towards making mathematics a first class citizen in general screen readers. W4A (2014)
Volker Sorge
Combining Systems for Mathematical Creativity (Invited Talk). AISC (2014)
Mohamed A. Alkalai, Josef B. Baker, Volker Sorge, Xiaoyan Lin
Improving Formula Analysis with Line and Mathematics Identification. ICDAR (2013)
Mohamed A. Alkalai, Volker Sorge
A Histogram-Based Approach to Mathematical Line Segmentation. CIARP (1) (2013)
Xiaoyan Lin, Liangcai Gao, Zhi Tang, Josef B. Baker, Mohamed A. Alkalai, Volker Sorge
A Text Line Detection Method for Mathematical Formula Recognition. ICDAR (2013)
Josef B. Baker, Alan P. Sexton, Volker Sorge
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus (2012)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
Chemical structure recognition: a rule-based approach. DRR (2012)
Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge
A Term Rewriting System for Kuratowski's Closure-Complement Problem. RTA (2012)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) (2012)
Quratul-ain Mahesar, Volker Sorge
Algebraic Theory Exploration: A Comparison of Technologies. SYNASC (2012)
Randa Almomen, Alan P. Sexton, Volker Sorge
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. 64 (4) (2012)
Andreas Distler, Muhammad Shah, Volker Sorge
Enumeration of AG-Groupoids. Calculemus/MKM (2011)
Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR (2011)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC (2011)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. AISC/MKM/Calculemus (2010)
Josef B. Baker, Alan P. Sexton, Volker Sorge
Faithful mathematical formula recognition from PDF documents. Document Analysis Systems (2010)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. CoRR (2010)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM (2009)
Christoph Benzmüller, Volker Sorge
Resource Adaptive Agents in Interactive Theorem Proving CoRR (2009)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Computing with abstract matrix structures. ISSAC (2009)
Jacques Calmet, Volker Sorge
Preface. Ann. Math. Artif. Intell. 56 (1) (2009)
Josef B. Baker, Alan P. Sexton, Volker Sorge
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM (2009)
Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Combined reasoning by automated cooperation. J. Appl. Log. 6 (3) (2008)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40 (2-3) (2008)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Abstract Matrix Arithmetic. SYNASC (2008)
Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. International Conference on Computational Science (1) (2007)
Jacques Carette, William M. Farmer, Volker Sorge
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM (2007)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. IJCAR (2006)
Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
Managing Automatically Formed Mathematical Theories. MKM (2006)
Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
Capturing Abstract Matrices from Paper. MKM (2006)
Alan P. Sexton, Volker Sorge
Abstract matrices in symbolic computation. ISSAC (2006)
Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
Towards a Parser for Mathematical Formula Recognition. MKM (2006)
Christoph Benzmüller, Andreas Meier, Volker Sorge
Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning (2005)
Alan P. Sexton, Volker Sorge
Semantic Analysis of Matrix Structures. ICDAR (2005)
Martin Pollet, Volker Sorge
Connecting Logical Representations and Efficient Computations. Calculemus (2005)
Andreas Meier, Volker Sorge
A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT (2005)
Alan P. Sexton, Volker Sorge
Database-Driven Mathematical Character Recognition. GREC (2005)
Alan P. Sexton, Volker Sorge
Processing Textbook-Style Matrices. MKM (2005)
Alan P. Sexton, Volker Sorge
A Database of Glyphs for OCR of Mathematical Documents. MKM (2005)
Olga Caprotti, Volker Sorge
Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39 (5) (2005)
Andreas Meier, Volker Sorge
Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reason. 35 (1-3) (2005)
Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
Automatic Generation of Classification Theorems for Finite Algebras. IJCAR (2004)
Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR (2004)
Martin Pollet, Volker Sorge, Manfred Kerber
Intuitive and Formal Representations: The Case of Matrices. MKM (2004)
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
Certifying Solutions to Permutation Group Problems. CADE (2003)
Andreas Meier, Volker Sorge, Simon Colton
Employing Theory Formation to Guide Proof Planning. AISC (2002)
Andreas Meier, Martin Pollet, Volker Sorge
Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34 (4) (2002)
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
Proof Development with OMEGA. CADE (2002)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI (2001)
Andreas Meier, Martin Pollet, Volker Sorge
Classifying Isomorphic Residue Classes. EUROCAST (2001)
Simon Colton, Volker Sorge, Ursula Martin
Workshop: The Role of Automated Deduction in Mathematics. CADE (2000)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Resource Guided Concurrent Deduction. ARW (2000)
Volker Sorge
Non-Trivial Symbolic Computations in Proof Planning. FroCoS (2000)
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
nterface. Formal Aspects Comput. 11 (3) (1999)
Erica Melis, Volker Sorge
Employing external reasoners in proof planning. Calculemus (1999)
Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
Agent-Oriented Integration of Distributed Mathematical Services. J. Univers. Comput. Sci. 5 (3) (1999)
Christoph Benzmüller, Matthew Bishop, Volker Sorge
Integrating Tps and Omega. J. Univers. Comput. Sci. 5 (3) (1999)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Agent based mathematical reasoning. Calculemus (1999)
Christoph Benzmüller, Volker Sorge
Critical Agents Supporting Interactive Theorem Proving. EPIA (1999)
Christoph Benzmüller, Volker Sorge
A Blackboard Architecture for Guiding Interactive Proofs. AIMSA (1998)
Manfred Kerber, Michael Kohlhase, Volker Sorge
Integrating Computer Algebra into Proof Planning. J. Autom. Reason. 21 (3) (1998)
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
Omega: Towards a Mathematical Assistant. CADE (1997)
Manfred Kerber, Michael Kohlhase, Volker Sorge
Integrating Computer Algebra with Proof Planning. DISCO (1996)

Volker Sorge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Volker Sorge