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

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2006

    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)
  • 2009

    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)
  • 2010

    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)
  • 2011

    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)
  • 2014

    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

  • 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)
  • 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)
  • 2015

    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)
  • 2016

    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
    74 Downloads (Pure)
  • 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)
  • 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)
  • 2017

    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)
    323 Downloads (Pure)