Author: Sorge, Volker

Baker, Josef B.; Sexton, Alan P.; Sorge, Volker: Towards Reverse Engineering of PDF Documents. (English). In: Sojka, Petr and Bouche, Thierry (eds.): Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011. Masaryk University Press, Brno, Czech Republic, 2011. pp. 65-75
Sexton, Alan; Sorge, Volker; Suzuki, Masakazu: Designing a Semantic Ground Truth for Mathematical Formulae. (English). In: Sojka, Petr (ed.): Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010. Masaryk University Press, Brno, Czech Republic, 2010. pp. 37-42
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker: An Online Repository of Mathematical Samples. (English). In: Sojka, Petr (ed.): Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8-9th, 2009. Masaryk University Press, Brno, 2009. pp. 49-57
Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas: Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 2, pp. 319-339
Baker, Josef B.; Sexton, Alan P.; Sorge, Volker: Extracting Precise Data on the Mathematical Content of PDF Documents. (English). In: Sojka, Petr (ed.): Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008. Masaryk University, Brno, 2008. pp. 75-79

Partner of