default search action
Volker Sorge
Person information
- affiliation: The University of Birmingham, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c68]David Austin, Robert Beezer, Michael Cantino, Alexei Kolesnikov, Al Maneki, Volker Sorge:
PreTeXt as Authoring Format for Accessible Alternative Media. ICCHP (1) 2024: 184-191 - 2023
- [c67]David Austin
, Volker Sorge
Authoring Web-accessible Mathematical Diagrams. W4A 2023: 148-152 - [c66]David Austin
Authoring Web-accessible Mathematical Diagrams. W4A 2023: 175-177 - 2022
- [c65]Shivansh Juyal, Sanjeev Sharma, Neha Jadhav
Making Equations Accessible in Scientific Documents. ICCHP-AAATE (1) 2022: 22-29 - [c64]Akashdeep Bansal, Volker Sorge, Meenakshi Balakrishnan, Aayush Aggarwal:
Towards Semantically Enhanced Audio Rendering of Equations. ICCHP-AAATE (1) 2022: 30-37 - 2020
- [j13]Akashdeep Bansal, Meenakshi Balakrishnan, Volker Sorge:
Comprehensive accessibility of equations by visually impaired. ACM SIGACCESS Access. Comput. 126: 1 (2020) - [c63]Volker Sorge:
Session details: Standards and policy. W4A 2020 - [c62]Volker Sorge, Akashdeep Bansal, Neha M. Jadhav
Towards generating web-accessible STEM documents from PDF. W4A 2020: 19:1-19:5
2010 – 2019
- 2019
- [c61]Davide Cervone, Volker Sorge:
Adaptable Accessibility Features for Mathematics on the Web. W4A 2019: 17:1-17:4 - [p1]Volker Sorge, Dragan Ahmetovic
Scientific Documents. Web Accessibility (2nd Ed.) 2019: 397-415 - 2018
- [c60]A. Jonathan R. Godfrey
An Accessible Interaction Model for Data Visualisation in Statistics. ICCHP (1) 2018: 590-597 - [c59]Dorine in 't Veld, Volker Sorge:
The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. ICCHP (1) 2018: 644-647 - [e6]Elaine Pearson, Volker Sorge:
The 15th Web for All Conference, W4A 2018, Lyon, France, April 23-25, 2018, Proceedings. ACM 2018, ISBN 978-1-4503-5651-0 [contents] - 2017
- [c58]Donal Fitzpatrick
Producing Accessible Statistics Diagrams in R. W4A 2017: 22:1-22:4 - 2016
- [c57]Volker Sorge:
Supporting Visual Impaired Learners in Editing Mathematics. ASSETS 2016: 323-324 - [c56]Davide Cervone, Peter Krautzberger, Volker Sorge:
Employing semantic analysis for enhanced accessibility features in MathJax. CCNC 2016: 1129-1134 - [c55]Volker Sorge:
Polyfilling Accessible Chemistry Diagrams. ICCHP (1) 2016: 43-50 - [c54]Davide Cervone, Peter Krautzberger, Volker Sorge:
Towards universal rendering in MathJax. W4A 2016: 4:1-4:4 - 2015
- [c53]Behrang Sabeghi Saroui, Volker Sorge:
Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. ICDAR 2015: 1051-1055 - [c52]Volker Sorge, Mark Lee
End-to-end solution for accessible chemical diagrams. W4A 2015: 6:1-6:10 - [e5]Manfred Kerber, Jacques Carette
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Lecture Notes in Computer Science 9150, Springer 2015, ISBN 978-3-319-20614-1 [contents] - [e4]Manfred Kerber, Jacques Carette
CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. 2015 [contents] - 2014
- [j12]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): 239-255 (2014) - [c51]Volker Sorge:
Combining Systems for Mathematical Creativity (Invited Talk). AISC 2014: 7-8 - [c50]Behrang Sabeghi Saroui, Volker Sorge:
Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. Document Analysis Systems 2014: 91-95 - [c49]Volker Sorge, Charles L. Chen, T. V. Raman, David Tseng:
Towards making mathematics a first class citizen in general screen readers. W4A 2014: 40:1-40:10 - 2013
- [c48]Mohamed A. Alkalai, Volker Sorge:
A Histogram-Based Approach to Mathematical Line Segmentation. CIARP (1) 2013: 447-455 - [c47]Mohamed A. Alkalai, Josef B. Baker, Volker Sorge, Xiaoyan Lin:
Improving Formula Analysis with Line and Mathematics Identification. ICDAR 2013: 334-338 - [c46]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: 339-343 - 2012
- [j11]Randa Almomen, Alan P. Sexton, Volker Sorge:
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. 64(4): 343-368 (2012) - [c45]Josef B. Baker, Alan P. Sexton, Volker Sorge:
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus 2012: 422-426 - [c44]Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge:
MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) 2012 - [c43]Noureddin M. Sadawi
Chemical structure recognition: a rule-based approach. DRR 2012: 82970E - [c42]Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen
A Term Rewriting System for Kuratowski's Closure-Complement Problem. RTA 2012: 38-52 - [c41]Quratul-ain Mahesar, Volker Sorge:
Algebraic Theory Exploration: A Comparison of Technologies. SYNASC 2012: 70-77 - [e3]Johan Jeuring, John A. Campbell, Jacques Carette
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science 7362, Springer 2012, ISBN 978-3-642-31373-8 [contents] - 2011
- [c40]Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki:
Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR 2011: 463-467 - [c39]Andreas Distler, Muhammad Shah, Volker Sorge:
Enumeration of AG-Groupoids. Calculemus/MKM 2011: 1-14 - [c38]Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge:
Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC 2011 - 2010
- [c37]Jacques Carette
Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188 - [c36]Josef B. Baker, Alan P. Sexton, Volker Sorge:
Faithful mathematical formula recognition from PDF documents. Document Analysis Systems 2010: 485-492 - [i2]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. CoRR abs/1004.5549 (2010)
2000 – 2009
- 2009
- [j10]Jacques Calmet, Volker Sorge:
Preface. Ann. Math. Artif. Intell. 56(1): 1-2 (2009) - [c35]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Computing with abstract matrix structures. ISSAC 2009: 325-332 - [c34]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153 - [c33]Josef B. Baker, Alan P. Sexton, Volker Sorge:
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM 2009: 201-216 - [i1]Christoph Benzmüller, Volker Sorge:
Resource Adaptive Agents in Interactive Theorem Proving. CoRR abs/0901.3585 (2009) - 2008
- [j9]Christoph Benzmüller
Combined reasoning by automated cooperation. J. Appl. Log. 6(3): 318-342 (2008) - [j8]Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40(2-3): 221-243 (2008) - [c32]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Abstract Matrix Arithmetic. SYNASC 2008: 61-68 - [e2]Serge Autexier
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Lecture Notes in Computer Science 5144, Springer 2008, ISBN 978-3-540-85109-7 [contents] - 2007
- [c31]Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. International Conference on Computational Science (1) 2007: 1098-1105 - [c30]Jacques Carette
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26 - 2006
- [c29]Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51 - [c28]Alan P. Sexton, Volker Sorge:
Abstract matrices in symbolic computation. ISSAC 2006: 318-325 - [c27]Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki:
Capturing Abstract Matrices from Paper. MKM 2006: 124-138 - [c26]Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge:
Towards a Parser for Mathematical Formula Recognition. MKM 2006: 139-151 - [c25]Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge:
Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250 - 2005
- [j7]Andreas Meier, Volker Sorge:
Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reason. 35(1-3): 201-235 (2005) - [j6]Olga Caprotti
Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39(5): 501-502 (2005) - [c24]Christoph Benzmüller, Andreas Meier, Volker Sorge:
Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296 - [c23]Alan P. Sexton, Volker Sorge:
Database-Driven Mathematical Character Recognition. GREC 2005: 218-230 - [c22]Alan P. Sexton, Volker Sorge:
Semantic Analysis of Matrix Structures. ICDAR 2005: 1141-1145 - [c21]Alan P. Sexton, Volker Sorge:
Processing Textbook-Style Matrices. MKM 2005: 111-125 - [c20]Alan P. Sexton, Volker Sorge:
A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216 - [c19]Andreas Meier, Volker Sorge:
A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005: 459-466 - [c18]Martin Pollet, Volker Sorge:
Connecting Logical Representations and Efficient Computations. Calculemus 2005: 127-142 - 2004
- [c17]Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland:
Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414 - [c16]Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber:
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431 - [c15]Martin Pollet, Volker Sorge, Manfred Kerber:
Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331 - 2003
- [c14]Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge:
Certifying Solutions to Permutation Group Problems. CADE 2003: 258-273 - 2002
- [j5]Andreas Meier, Martin Pollet, Volker Sorge:
Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34(4): 287-306 (2002) - [c13]Andreas Meier, Volker Sorge, Simon Colton:
Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289 - [c12]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: 144-149 - [e1]Jacques Calmet, Belaid Benhamou, Olga Caprotti
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Lecture Notes in Computer Science 2385, Springer 2002, ISBN 3-540-43865-3 [contents] - 2001
- [b1]Volker Sorge:
Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. Saarland University, Saarbrücken, Germany, 2001, pp. 1-197 - [c11]Andreas Meier, Martin Pollet, Volker Sorge:
Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508 - [c10]Christoph Benzmüller, Mateja Jamnik
Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424 - 2000
- [c9]Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Resource Guided Concurrent Deduction. ARW 2000 - [c8]Simon Colton, Volker Sorge, Ursula Martin:
Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517 - [c7]Volker Sorge:
Non-Trivial Symbolic Computations in Proof Planning. FroCoS 2000: 121-135
1990 – 1999
- 1999
- [j4]Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller
L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Aspects Comput. 11(3): 326-342 (1999) - [j3]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): 156-187 (1999) - [j2]Christoph Benzmüller, Matthew Bishop, Volker Sorge:
Integrating Tps and Omega. J. Univers. Comput. Sci. 5(3): 188-207 (1999) - [c6]Christoph Benzmüller
Critical Agents Supporting Interactive Theorem Proving. EPIA 1999: 208-221 - [c5]Christoph Benzmüller
Agent based mathematical reasoning. Calculemus 1999: 340-351 - [c4]Erica Melis, Volker Sorge:
Employing external reasoners in proof planning. Calculemus 1999: 440-450 - 1998
- [j1]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra into Proof Planning. J. Autom. Reason. 21(3): 327-355 (1998) - [c3]Christoph Benzmüller, Volker Sorge:
A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114 - 1997
- [c2]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: 252-255 - 1996
- [c1]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: