PreTeXt as Authoring Format for Accessible Alternative Media.

Volker Sorge https://www.cs.bham.ac.uk/~vxs/ https://scholar.google.com/citations?user=3EYdp4oAAAAJ The University of Birmingham, UK David Austin Robert Beezer Michael Cantino Alexei Kolesnikov Al Maneki Volker Sorge PreTeXt as Authoring Format for Accessible Alternative Media. 184-191 2024 ICCHP (1) https://doi.org/10.1007/978-3-031-62846-7_22 conf/icchp/2024-1 db/conf/icchp/icchp2024-1.html#AustinBCKMS24 streams/conf/icchp David Austin Volker Sorge Authoring Web-accessible Mathematical Diagrams. 148-152 2023 W4A https://doi.org/10.1145/3587281.3587297 conf/w4a/2023 db/conf/w4a/w4a2023.html#AustinS23 David Austin Volker Sorge Authoring Web-accessible Mathematical Diagrams. 175-177 2023 W4A https://doi.org/10.1145/3587281.3588146 https://www.wikidata.org/entity/Q130824072 conf/w4a/2023 db/conf/w4a/w4a2023.html#AustinS23a Shivansh Juyal Sanjeev Sharma Neha Jadhav Volker Sorge Meenakshi Balakrishnan Making Equations Accessible in Scientific Documents. 22-29 2022 ICCHP-AAATE (1) https://doi.org/10.1007/978-3-031-08648-9_4 conf/icchp/2022-1 db/conf/icchp/icchp2022-1.html#JuyalSJSB22 Akashdeep Bansal Volker Sorge Meenakshi Balakrishnan Aayush Aggarwal Towards Semantically Enhanced Audio Rendering of Equations. 30-37 2022 ICCHP-AAATE (1) https://doi.org/10.1007/978-3-031-08648-9_5 conf/icchp/2022-1 db/conf/icchp/icchp2022-1.html#BansalSBA22

Akashdeep Bansal Meenakshi Balakrishnan Volker Sorge Comprehensive accessibility of equations by visually impaired. 1 2020 126 ACM SIGACCESS Access. Comput. https://doi.org/10.1145/3386280.3386281 db/journals/sigaccess/sigaccess126.html#BansalBS20

Volker Sorge Session details: Standards and policy. 2020 W4A https://doi.org/10.1145/3395936 conf/w4a/2020 db/conf/w4a/w4a2020.html#Sorge20 Volker Sorge Akashdeep Bansal Neha M. Jadhav Himanshu Garg Ayushi Verma Meenakshi Balakrishnan Towards generating web-accessible STEM documents from PDF. 19:1-19:5 2020 W4A https://doi.org/10.1145/3371300.3383351 https://www.wikidata.org/entity/Q130830934 conf/w4a/2020 db/conf/w4a/w4a2020.html#SorgeBJGVB20 Davide Cervone Volker Sorge Adaptable Accessibility Features for Mathematics on the Web. 17:1-17:4 2019 W4A https://doi.org/10.1145/3315002.3317567 https://www.wikidata.org/entity/Q130867351 conf/w4a/2019 db/conf/w4a/w4a2019.html#CervoneS19 Volker Sorge Dragan Ahmetovic Cristian Bernareggi John Gardner Scientific Documents. 397-415 2019 Web Accessibility (2nd Ed.) https://doi.org/10.1007/978-1-4471-7440-0_22 series/hci/YesiladaH19 db/series/hci/YesiladaH19.html#SorgeABG19 A. Jonathan R. Godfrey Paul Murrell Volker Sorge An Accessible Interaction Model for Data Visualisation in Statistics. 590-597 2018 ICCHP (1) https://doi.org/10.1007/978-3-319-94277-3_92 conf/icchp/2018-1 db/conf/icchp/icchp2018-1.html#GodfreyMS18 Dorine in 't Veld Volker Sorge The Dutch Best Practice for Teaching Chemistry Diagrams to the Visually Impaired. 644-647 2018 ICCHP (1) https://doi.org/10.1007/978-3-319-94277-3_99 conf/icchp/2018-1 db/conf/icchp/icchp2018-1.html#VeldS18 Elaine Pearson Volker Sorge The 15th Web for All Conference, W4A 2018, Lyon, France, April 23-25, 2018, Proceedings ACM W4A 2018 978-1-4503-5651-0 https://doi.org/10.1145/3192714 db/conf/w4a/w4a2018.html Donal Fitzpatrick A. Jonathan R. Godfrey Volker Sorge Producing Accessible Statistics Diagrams in R. 22:1-22:4 2017 W4A https://doi.org/10.1145/3058555.3058564 conf/w4a/2017 db/conf/w4a/w4a2017.html#FitzpatrickGS17 Volker Sorge Supporting Visual Impaired Learners in Editing Mathematics. 323-324 2016 ASSETS https://doi.org/10.1145/2982142.2982212 conf/assets/2016 db/conf/assets/assets2016.html#Sorge16 Davide Cervone Peter Krautzberger Volker Sorge Employing semantic analysis for enhanced accessibility features in MathJax. 1129-1134 2016 CCNC https://doi.org/10.1109/CCNC.2016.7444948 conf/ccnc/2016 db/conf/ccnc/ccnc2016.html#CervoneKS16 Volker Sorge Polyfilling Accessible Chemistry Diagrams. 43-50 2016 ICCHP (1) https://doi.org/10.1007/978-3-319-41264-1_6 conf/icchp/2016-1 db/conf/icchp/icchp2016-1.html#Sorge16 Davide Cervone Peter Krautzberger Volker Sorge Towards universal rendering in MathJax. 4:1-4:4 2016 W4A https://doi.org/10.1145/2899475.2899494 https://www.wikidata.org/entity/Q131128919 conf/w4a/2016 db/conf/w4a/w4a2016.html#CervoneKS16 Behrang Sabeghi Saroui Volker Sorge Trajectory recovery and stroke reconstruction of handwritten mathematical symbols. 1051-1055 2015 ICDAR https://doi.org/10.1109/ICDAR.2015.7333922 https://doi.ieeecomputersociety.org/10.1109/ICDAR.2015.7333922 conf/icdar/2015 db/conf/icdar/icdar2015.html#SarouiS15 Volker Sorge Mark Lee 0001 Sandy Wilkinson End-to-end solution for accessible chemical diagrams. 6:1-6:10 2015 W4A https://doi.org/10.1145/2745555.2746667 conf/w4a/2015 db/conf/w4a/w4a2015.html#SorgeLW15 Manfred Kerber Jacques Carette Cezary Kaliszyk Florian Rabe 0001 Volker Sorge Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings CICM Springer 2015 Lecture Notes in Computer Science 9150 978-3-319-20614-1 https://doi.org/10.1007/978-3-319-20615-8 https://www.wikidata.org/entity/Q60712716 db/conf/mkm/cicm2015.html Manfred Kerber Jacques Carette Cezary Kaliszyk Florian Rabe 0001 Volker Sorge CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015 CICM (Work in Progress) 2015 https://cicm-conference.org/2015/CICM2015-wip.pdf db/conf/mkm/cicm2015wip.html

Xiaoyan Lin Liangcai Gao Zhi Tang 0001 Josef B. Baker Volker Sorge Mathematical formula identification and performance evaluation in PDF documents. 239-255 2014 17 Int. J. Document Anal. Recognit. 3 https://doi.org/10.1007/s10032-013-0216-1 db/journals/ijdar/ijdar17.html#LinGTBS14

Volker Sorge Combining Systems for Mathematical Creativity (Invited Talk). 7-8 2014 AISC https://doi.org/10.1007/978-3-319-13770-4_2 conf/aisc/2014 db/conf/aisc/aisc2014.html#Sorge14 Behrang Sabeghi Saroui Volker Sorge Recognition of Handwritten Mathematical Characters on Whiteboards Using Colour Images. 91-95 2014 Document Analysis Systems https://doi.org/10.1109/DAS.2014.66 https://doi.ieeecomputersociety.org/10.1109/DAS.2014.66 conf/das/2014 db/conf/das/das2014.html#SarouiS14 Volker Sorge Charles L. Chen T. V. Raman 0001 David Tseng Towards making mathematics a first class citizen in general screen readers. 40:1-40:10 2014 W4A https://doi.org/10.1145/2596695.2596700 https://www.wikidata.org/entity/Q56532302 conf/w4a/2014 db/conf/w4a/w4a2014.html#SorgeCRT14 Mohamed A. Alkalai Volker Sorge A Histogram-Based Approach to Mathematical Line Segmentation. 447-455 2013 CIARP (1) https://doi.org/10.1007/978-3-642-41822-8_56 conf/ciarp/2013-1 db/conf/ciarp/ciarp2013-1.html#AlkalaiS13 Mohamed A. Alkalai Josef B. Baker Volker Sorge Xiaoyan Lin Improving Formula Analysis with Line and Mathematics Identification. 334-338 2013 ICDAR https://doi.org/10.1109/ICDAR.2013.74 https://doi.ieeecomputersociety.org/10.1109/ICDAR.2013.74 conf/icdar/2013 db/conf/icdar/icdar2013.html#AlkalaiBSL13 Xiaoyan Lin Liangcai Gao Zhi Tang 0001 Josef B. Baker Mohamed A. Alkalai Volker Sorge A Text Line Detection Method for Mathematical Formula Recognition. 339-343 2013 ICDAR https://doi.org/10.1109/ICDAR.2013.75 https://doi.ieeecomputersociety.org/10.1109/ICDAR.2013.75 conf/icdar/2013 db/conf/icdar/icdar2013.html#LinGTBAS13

Randa Almomen Alan P. Sexton Volker Sorge Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. 343-368 2012 64 Ann. Math. Artif. Intell. 4 https://doi.org/10.1007/s10472-012-9299-5 db/journals/amai/amai64.html#AlmomenSS12

Josef B. Baker Alan P. Sexton Volker Sorge MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. 422-426 2012 AISC/MKM/Calculemus https://doi.org/10.1007/978-3-642-31374-5_29 conf/aisc/2012 db/conf/aisc/aisc2012.html#BakerSS12 Noureddin M. Sadawi Alan P. Sexton Volker Sorge MolRec at CLEF 2012 - Overview and Analysis of Results. 2012 CLEF (Online Working Notes/Labs/Workshop) https://ceur-ws.org/Vol-1178/CLEF2012wn-CLEFIP-SadawiEt2012.pdf http://www.clef-initiative.eu/documents/71612/95439b4f-4804-44ad-b462-8d1d97c77f24 conf/clef/2012w db/conf/clef/clef2012w.html#SadawiSS12 Noureddin M. Sadawi Alan P. Sexton Volker Sorge Chemical structure recognition: a rule-based approach. 2012 DRR https://doi.org/10.1117/12.912185 conf/drr/2012 db/conf/drr/drr2012.html#SadawiSS12 82970E Osama Al-Hassani Quratul-ain Mahesar Claudio Sacerdoti Coen Volker Sorge A Term Rewriting System for Kuratowski's Closure-Complement Problem. 38-52 2012 RTA https://doi.org/10.4230/LIPIcs.RTA.2012.38 conf/rta/2012 db/conf/rta/rta2012.html#Al-HassaniMCS12 Quratul-ain Mahesar Volker Sorge Algebraic Theory Exploration: A Comparison of Technologies. 70-77 2012 SYNASC https://doi.org/10.1109/SYNASC.2012.25 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2012.25 conf/synasc/2012 db/conf/synasc/synasc2012.html#MahesarS12 Johan Jeuring John A. Campbell Jacques Carette Gabriel Dos Reis Petr Sojka Makarius Wenzel Volker Sorge 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 7362 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-31374-5 https://www.wikidata.org/entity/Q60712725 978-3-642-31373-8 AISC/MKM/Calculemus db/conf/aisc/aisc2012.html Josef B. Baker Alan P. Sexton Volker Sorge Masakazu Suzuki Comparing Approaches to Mathematical Document Analysis from PDF. 463-467 2011 ICDAR https://doi.org/10.1109/ICDAR.2011.99 https://doi.ieeecomputersociety.org/10.1109/ICDAR.2011.99 conf/icdar/2011 db/conf/icdar/icdar2011.html#BakerSSS11 Andreas Distler Muhammad Shah Volker Sorge Enumeration of AG-Groupoids. 1-14 2011 Calculemus/MKM https://doi.org/10.1007/978-3-642-22673-1_1 conf/mkm/2011 db/conf/mkm/mkm2011.html#DistlerSS11 Noureddin M. Sadawi Alan P. Sexton Volker Sorge Performance of MolRec at TREC 2011 Overview and Analysis of Results. 2011 TREC http://trec.nist.gov/pubs/trec20/papers/UoB.chem.update.pdf conf/trec/2011 db/conf/trec/trec2011.html#SadawiSS11 Jacques Carette Alan P. Sexton Volker Sorge Stephen M. Watt Symbolic Domain Decomposition. 172-188 2010 AISC/MKM/Calculemus https://doi.org/10.1007/978-3-642-14128-7_16 https://www.wikidata.org/entity/Q60712736 conf/aisc/2010 db/conf/aisc/aisc2010.html#CaretteSSW10 Josef B. Baker Alan P. Sexton Volker Sorge Faithful mathematical formula recognition from PDF documents. 485-492 2010 Document Analysis Systems https://doi.org/10.1145/1815330.1815393 conf/das/2010 db/conf/das/das2010.html#BakerSS10

Jacques Carette Alan P. Sexton Volker Sorge Stephen M. Watt Symbolic Domain Decomposition. 2010 abs/1004.5549 CoRR http://arxiv.org/abs/1004.5549 db/journals/corr/corr1004.html#CaretteSSW10

Jacques Calmet Volker Sorge Preface. 1-2 2009 56 Ann. Math. Artif. Intell. 1 https://doi.org/10.1007/s10472-009-9139-4 db/journals/amai/amai56.html#CalmetS09

Alan P. Sexton Volker Sorge Stephen M. Watt Computing with abstract matrix structures. 325-332 2009 ISSAC https://doi.org/10.1145/1576702.1576747 https://www.wikidata.org/entity/Q131136606 conf/issac/2009 db/conf/issac/issac2009.html#SextonSW09 Alan P. Sexton Volker Sorge Stephen M. Watt Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. 138-153 2009 Calculemus/MKM https://doi.org/10.1007/978-3-642-02614-0_15 conf/mkm/2009 db/conf/mkm/mkm2009.html#SextonSW09 Josef B. Baker Alan P. Sexton Volker Sorge A Linear Grammar Approach to Mathematical Formula Recognition from PDF. 201-216 2009 Calculemus/MKM https://doi.org/10.1007/978-3-642-02614-0_19 conf/mkm/2009 db/conf/mkm/mkm2009.html#BakerSS09

Christoph Benzmüller Volker Sorge Resource Adaptive Agents in Interactive Theorem Proving http://arxiv.org/abs/0901.3585 2009 CoRR abs/0901.3585 db/journals/corr/corr0901.html#abs-0901-3585

Christoph Benzmüller Volker Sorge Mateja Jamnik Manfred Kerber Combined reasoning by automated cooperation. 318-342 2008 6 J. Appl. Log. 3 https://doi.org/10.1016/j.jal.2007.06.003 https://www.wikidata.org/entity/Q62046884 db/journals/japll/japll6.html#BenzmullerSJK08

Volker Sorge Andreas Meier 0002 Roy L. McCasland Simon Colton Automatic Construction and Verification of Isotopy Invariants. 221-243 2008 40 J. Autom. Reason. 2-3 https://doi.org/10.1007/s10817-007-9093-y db/journals/jar/jar40.html#SorgeMMC08

Alan P. Sexton Volker Sorge Stephen M. Watt Abstract Matrix Arithmetic. 61-68 2008 SYNASC https://doi.org/10.1109/SYNASC.2008.85 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.85 conf/synasc/2008 db/conf/synasc/synasc2008.html#SextonSW08 Serge Autexier John A. Campbell Julio Rubio 0001 Volker Sorge Masakazu Suzuki Freek Wiedijk 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 5144 2008 978-3-540-85109-7 AISC/MKM/Calculemus Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-85110-3 db/conf/aisc/aisc2008.html Catriona M. Kennedy Georgios Theodoropoulos 0001 Volker Sorge Edward Ferrari Peter Lee 0003 Chris Skelcher AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. 1098-1105 2007 conf/iccS/2007-1 International Conference on Computational Science (1) https://doi.org/10.1007/978-3-540-72584-8_144 db/conf/iccS/iccS2007-1.html#KennedyTSFLS07 Jacques Carette William M. Farmer Volker Sorge A Rational Reconstruction of a System for Experimental Mathematics. 13-26 2007 conf/mkm/2007 Calculemus/MKM https://doi.org/10.1007/978-3-540-73086-6_2 https://www.wikidata.org/entity/Q60712752 db/conf/mkm/mkm2007.html#CaretteFS07 Volker Sorge Andreas Meier 0002 Roy L. McCasland Simon Colton Automatic Construction and Verification of Isotopy Invariants. 36-51 2006 conf/cade/2006 IJCAR https://doi.org/10.1007/11814771_5 db/conf/cade/ijcar2006.html#SorgeMMC06 Alan P. Sexton Volker Sorge Abstract matrices in symbolic computation. 318-325 2006 conf/issac/2006 ISSAC https://doi.org/10.1145/1145768.1145820 https://www.wikidata.org/entity/Q131121764 db/conf/issac/issac2006.html#SextonS06 Toshihiro Kanahori Alan P. Sexton Volker Sorge Masakazu Suzuki Capturing Abstract Matrices from Paper. 124-138 2006 conf/mkm/2006 MKM https://doi.org/10.1007/11812289_11 db/conf/mkm/mkm2006.html#KanahoriSSS06 Amar Raja Matthew Rayner Alan P. Sexton Volker Sorge Towards a Parser for Mathematical Formula Recognition. 139-151 2006 conf/mkm/2006 MKM https://doi.org/10.1007/11812289_12 db/conf/mkm/mkm2006.html#RajaRSS06 Simon Colton Pedro Torres 0001 Paul A. Cairns Volker Sorge Managing Automatically Formed Mathematical Theories. 237-250 2006 conf/mkm/2006 MKM https://doi.org/10.1007/11812289_19 db/conf/mkm/mkm2006.html#ColtonTCS06

Andreas Meier 0002 Volker Sorge Applying SAT Solving in Classification of Finite Algebras. 201-235 2005 35 J. Autom. Reason. 1-3 https://doi.org/10.1007/s10817-005-9003-0 db/journals/jar/jar35.html#MeierS05

Olga Caprotti Volker Sorge Integration of automated reasoning and computer algebra systems. 501-502 2005 39 J. Symb. Comput. 5 https://doi.org/10.1016/j.jsc.2004.12.001 db/journals/jsc/jsc39.html#CaprottiS05

Christoph Benzmüller Andreas Meier 0002 Volker Sorge Bridging Theorem Proving and Mathematical Knowledge Retrieval. 277-296 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning https://doi.org/10.1007/978-3-540-32254-2_17 db/conf/birthday/siekmann2005.html#BenzmullerMS05 Alan P. Sexton Volker Sorge Database-Driven Mathematical Character Recognition. 218-230 2005 conf/grec/2005 GREC https://doi.org/10.1007/11767978_20 db/conf/grec/grec2005.html#SextonS05 Alan P. Sexton Volker Sorge Semantic Analysis of Matrix Structures. 1141-1145 2005 conf/icdar/2005 ICDAR https://doi.org/10.1109/ICDAR.2005.214 https://doi.ieeecomputersociety.org/10.1109/ICDAR.2005.214 db/conf/icdar/icdar2005.html#SextonS05 Alan P. Sexton Volker Sorge Processing Textbook-Style Matrices. 111-125 2005 conf/mkm/2005 MKM https://doi.org/10.1007/11618027_8 db/conf/mkm/mkm2005.html#SextonS05 Alan P. Sexton Volker Sorge A Database of Glyphs for OCR of Mathematical Documents. 203-216 2005 conf/mkm/2005 MKM https://doi.org/10.1007/11618027_14 db/conf/mkm/mkm2005.html#SextonS05a Andreas Meier 0002 Volker Sorge A New Set of Algebraic Benchmark Problems for SAT Solvers. 459-466 2005 conf/sat/2005 SAT https://doi.org/10.1007/11499107_39 db/conf/sat/sat2005.html#MeierS05 Martin Pollet Volker Sorge Connecting Logical Representations and Efficient Computations. 127-142 2005 conf/calculemus/2005 Calculemus https://doi.org/10.1016/j.entcs.2005.11.027 db/conf/calculemus/calculemus2005.html#PolletS06 Simon Colton Andreas Meier 0002 Volker Sorge Roy L. McCasland Automatic Generation of Classification Theorems for Finite Algebras. 400-414 https://doi.org/10.1007/978-3-540-25984-8_30 2004 conf/cade/2004 IJCAR db/conf/cade/ijcar2004.html#ColtonMSM04 Christoph Benzmüller Volker Sorge Mateja Jamnik Manfred Kerber Can a Higher-Order and a First-Order Theorem Prover Cooperate?. 415-431 https://doi.org/10.1007/978-3-540-32275-7_27 2004 conf/lpar/2004 LPAR db/conf/lpar/lpar2004.html#BenzmullerSJK04 Martin Pollet Volker Sorge Manfred Kerber Intuitive and Formal Representations: The Case of Matrices. 317-331 https://doi.org/10.1007/978-3-540-27818-4_23 2004 conf/mkm/2004 MKM db/conf/mkm/mkm2004.html#PolletSK04 Arjeh M. Cohen Scott H. Murray Martin Pollet Volker Sorge Certifying Solutions to Permutation Group Problems. 258-273 https://doi.org/10.1007/978-3-540-45085-6_20 2003 conf/cade/2003 CADE db/conf/cade/cade2003.html#CohenMPS03

Andreas Meier 0002 Martin Pollet Volker Sorge Comparing Approaches to the Exploration of the Domain of Residue Classes. 287-306 2002 34 J. Symb. Comput. 4 https://doi.org/10.1006/jsco.2002.0550 db/journals/jsc/jsc34.html#MeierPS02

Andreas Meier 0002 Volker Sorge Simon Colton Employing Theory Formation to Guide Proof Planning. 275-289 2002 conf/aisc/2002 AISC https://doi.org/10.1007/3-540-45470-5_25 db/conf/aisc/aisc2002.html#MeierSC02 Jörg H. Siekmann Christoph Benzmüller Vladimir Brezhnev Lassaad Cheikhrouhou Armin Fiedler Andreas Franke 0001 Helmut Horacek Michael Kohlhase Andreas Meier 0002 Erica Melis Markus Moschner Immanuel Normann Martin Pollet Volker Sorge Carsten Ullrich Claus-Peter Wirth Jürgen Zimmer Proof Development with OMEGA. 144-149 2002 conf/cade/2002 CADE https://doi.org/10.1007/3-540-45620-1_12 db/conf/cade/cade2002.html#SiekmannBBCFFHKMMMNPSUWZ02 Jacques Calmet Belaid Benhamou Olga Caprotti Laurent Henocque Volker Sorge Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings AISC Lecture Notes in Computer Science 2385 Springer 2002 3-540-43865-3 https://doi.org/10.1007/3-540-45470-5 https://www.wikidata.org/entity/Q62041415 db/conf/aisc/aisc2002.html Volker Sorge Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning. 2001 1-197 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2004/237/index.html https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2375 https://d-nb.info/964264994 https://d-nb.info/972325425 Andreas Meier 0002 Martin Pollet Volker Sorge Classifying Isomorphic Residue Classes. 494-508 https://doi.org/10.1007/3-540-45654-6_39 2001 conf/eurocast/2001 EUROCAST db/conf/eurocast/eurocast2001.html#MeierPS01 Christoph Benzmüller Mateja Jamnik Manfred Kerber Volker Sorge Experiments with an Agent-Oriented Reasoning System. 409-424 2001 conf/ki/2001 KI/ÖGAI https://doi.org/10.1007/3-540-45422-5_29 https://www.wikidata.org/entity/Q62046896 db/conf/ki/ki2001.html#BenzmullerJKS01 Christoph Benzmüller Mateja Jamnik Manfred Kerber Volker Sorge Resource Guided Concurrent Deduction. 2000 ARW https://ceur-ws.org/Vol-32/benzmueller.ps.gz conf/arw/2000 db/conf/arw/arw2000.html#BenzmullerJKS00 Simon Colton Volker Sorge Ursula Martin Workshop: The Role of Automated Deduction in Mathematics. 517 2000 conf/cade/2000 CADE db/conf/cade/cade2000.html#ColtonSM00 https://doi.org/10.1007/10721959_49 Volker Sorge Non-Trivial Symbolic Computations in Proof Planning. 121-135 2000 conf/frocos/2000 FroCoS db/conf/frocos/frocos2000.html#Sorge00 https://doi.org/10.1007/10720084_9

Jörg H. Siekmann Stephan M. Hess Christoph Benzmüller Lassaad Cheikhrouhou Armin Fiedler Helmut Horacek Michael Kohlhase Karsten Konrad Andreas Meier 0002 Erica Melis Martin Pollet Volker Sorge L<Omega>UI: Lovely <Omega>MEGA User Interface. 326-342 1999 11 Formal Aspects Comput. 3 https://doi.org/10.1007/s001650050053 db/journals/fac/fac11.html#SiekmannHBCFHKKMMPS99

Andreas Franke 0001 Stephan M. Hess Christoph G. Jung Michael Kohlhase Volker Sorge Agent-Oriented Integration of Distributed Mathematical Services. 156-187 1999 5 J. Univers. Comput. Sci. 3 db/journals/jucs/jucs5.html#FrankeHJKS99 https://doi.org/10.3217/jucs-005-03-0156

Christoph Benzmüller Matthew Bishop Volker Sorge Integrating Tps and Omega. 188-207 1999 5 J. Univers. Comput. Sci. 3 https://doi.org/10.3217/jucs-005-03-0188 db/journals/jucs/jucs5.html#BenzmullerBS99

Christoph Benzmüller Volker Sorge Critical Agents Supporting Interactive Theorem Proving. 208-221 1999 conf/epia/1999 EPIA db/conf/epia/epia99.html#BenzmullerS99 https://doi.org/10.1007/3-540-48159-1_15 Christoph Benzmüller Mateja Jamnik Manfred Kerber Volker Sorge Agent based mathematical reasoning. 1999 conf/calculemus/1999 Calculemus https://doi.org/10.1016/S1571-0661(05)82522-8 db/conf/calculemus/calculemus1999.html#BenzmullerJKS99 340-351 Erica Melis Volker Sorge Employing external reasoners in proof planning. 1999 conf/calculemus/1999 Calculemus https://doi.org/10.1016/S1571-0661(05)80614-0 db/conf/calculemus/calculemus1999.html#MelisS99 440-450

Manfred Kerber Michael Kohlhase Volker Sorge Integrating Computer Algebra into Proof Planning. 327-355 1998 21 J. Autom. Reason. 3 db/journals/jar/jar21.html#KerberKS98 https://doi.org/10.1023/A:1006059810729

Christoph Benzmüller Volker Sorge A Blackboard Architecture for Guiding Interactive Proofs. 102-114 https://doi.org/10.1007/BFb0057438 1998 conf/aimsa/1998 AIMSA db/conf/aimsa/aimsa1998.html#BenzmullerS98 Christoph Benzmüller Lassaad Cheikhrouhou Detlef Fehrer Armin Fiedler Xiaorong Huang Manfred Kerber Michael Kohlhase Karsten Konrad Andreas Meier 0002 Erica Melis Wolf Schaarschmidt Jörg H. Siekmann Volker Sorge Omega: Towards a Mathematical Assistant. 252-255 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#BenzmullerCFFHKKKMMSSS97 https://doi.org/10.1007/3-540-63104-6_23 Manfred Kerber Michael Kohlhase Volker Sorge Integrating Computer Algebra with Proof Planning. 204-215 1996 conf/disco/1996 DISCO db/conf/disco/disco1996.html#KerberKS96 https://doi.org/10.1007/3-540-61697-7_22 Aayush Aggarwal Dragan Ahmetovic Osama Al-Hassani Mohamed A. Alkalai Randa Almomen David Austin Serge Autexier Josef B. Baker Meenakshi Balakrishnan Akashdeep Bansal Robert Beezer Belaid Benhamou Christoph Benzmüller Cristian Bernareggi Matthew Bishop Vladimir Brezhnev Paul A. Cairns Jacques Calmet John A. Campbell Michael Cantino Olga Caprotti Jacques Carette Davide Cervone Lassaad Cheikhrouhou Charles L. Chen Claudio Sacerdoti Coen Arjeh M. Cohen Simon Colton Andreas Distler William M. Farmer Detlef Fehrer Edward Ferrari Armin Fiedler Donal Fitzpatrick Andreas Franke 0001 Liangcai Gao John Gardner Himanshu Garg A. Jonathan R. Godfrey Laurent Henocque Stephan M. Hess Helmut Horacek Xiaorong Huang Neha JadhavNeha M. Jadhav Mateja Jamnik Johan Jeuring Christoph G. Jung Shivansh Juyal Cezary Kaliszyk Toshihiro Kanahori Catriona M. Kennedy Manfred Kerber Michael Kohlhase Alexei Kolesnikov Karsten Konrad Peter Krautzberger Mark Lee 0001 Peter Lee 0003 Xiaoyan Lin Quratul-ain Mahesar Al Maneki Ursula Martin Roy L. McCasland Andreas Meier 0002 Erica Melis Markus Moschner Scott H. Murray Paul Murrell Immanuel Normann Elaine Pearson Martin Pollet Florian Rabe 0001 Amar Raja T. V. Raman 0001 Matthew Rayner Gabriel Dos Reis Julio Rubio 0001 Noureddin M. Sadawi Behrang Sabeghi Saroui Wolf Schaarschmidt Alan P. Sexton Muhammad Shah Sanjeev Sharma Jörg H. Siekmann Chris Skelcher Petr Sojka Masakazu Suzuki Zhi Tang 0001 Georgios Theodoropoulos 0001 Pedro Torres 0001 David Tseng Carsten Ullrich Dorine in 't Veld Ayushi Verma Stephen M. Watt Markus Wenzel 0001Makarius Wenzel Freek Wiedijk Sandy Wilkinson Claus-Peter Wirth Jürgen Zimmer