Volker Sorge

Prof

Accepting PhD Students

PhD projects

Volker Sorge’s research interests include:

Computer algebra
Scientific document analysis
Logic and automated reasoning
He is also involved in the Scientific Document Analysis Group.

20012017

Research activity per year

Filter
Conference contribution

Search results

  • Conference contribution

    A Linear Grammar Approach to Mathematical Formula Recognition from PDF

    Baker, J., Sexton, A. & Sorge, V., 6 Jul 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, SM. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5625).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    22 Citations (Scopus)
  • Automatic construction and verification of isotopy invariants

    Sorge, V., Meier, A., McCasland, R., Colton, S., Furbach, U. & Shankar, N., 1 Jan 2006, Automated Reasoning: Third International Joint Conference. Springer, p. 36-51 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Combining systems for mathematical creativity (invited talk)

    Sorge, V., 2014, Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Aranda-Corral, G. A., Cal;met, J. & Martin-Mateos, F. J. (eds.). Springer, Vol. 8884. p. 7-8 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • End-to-end Solution for Accessible Chemical Diagrams

    Sorge, V., Lee, M. & Wilkinson, S., 18 May 2015, W4A '15 - Proceedings of the 12th Web for All Conference . Association for Computing Machinery , 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    14 Citations (Scopus)
  • Enumeration of AG-Groupoids

    Distler, A., Shah, M. & Sorge, V., 1 Jul 2011, Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Davenport, J., Farmer, WM., Urban, J. & Rabe, F. (eds.). Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 6824).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • New Accessibility Features in MathJax

    Cervone, D., Krautzberger, P. & Sorge, V., 2016, 31st Annual International Technology and Persons with Disabilities Conference Scientific/Research Proceedings. California State University Press, Vol. 4. p. 167-175 (Journal on Technology & Persons with Disabilities; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    93 Downloads (Pure)
  • Producing Accessible Statistics Diagrams in R

    Fitzpatrick, D., Godfrey, A. J. R. & Sorge, V., 2 Apr 2017, Proceedings of the 14th Web for All Conference, W4A 2017: The Future of Accessible Work. Association for Computing Machinery , 4 p. 22

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    7 Citations (Scopus)
    427 Downloads (Pure)
  • Recognition of handwritten mathematical characters on whiteboards using colour images

    Saroui, B. S. & Sorge, V., 2014, Proceedings - 11th IAPR International Workshop on Document Analysis Systems, DAS 2014. IEEE Computer Society Press, p. 91-95 5 p. 6830976

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Supporting Visual Impaired Learners in Editing Mathematics

    Sorge, V., 23 Oct 2016, ASSETS '16 - Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility . Association for Computing Machinery , p. 323-324

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Symbolic Domain Decomposition

    Carette, J., Sexton, A., Sorge, V. & Watt, S., 1 Jan 2010, Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Sexton, AP. (eds.). Springer, p. 172-188 17 p. (Lecture Notes in Computer Science; vol. 6167).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Towards making mathematics a first class citizen in general screen readers

    Sorge, V., Chen, C., Raman, T. V. & Tseng, D., 7 Apr 2014, W4A 2014 - Proceedings of the 11th Web for All Conference. Association for Computing Machinery , p. 1-10 10 p. 40

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    17 Citations (Scopus)
  • Towards universal rendering in MathJax

    Cervone, D., Krautzberger, P. & Sorge, V., 11 Apr 2016, W4A '16 - Proceedings of the 13th Web for All Conference . Association for Computing Machinery , 4 p. 4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)