BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
1 × Denmark
1 × Ireland
1 × Japan
1 × Korea
1 × United Kingdom
4 × USA
Collaborated with:
A.Meier A.P.Sexton J.B.Baker R.L.McCasland S.Colton M.Alkalai X.Lin N.M.Sadawi M.Pollet O.Al-Hassani Q.Mahesar C.S.Coen M.Suzuki A.M.Cohen S.H.Murray L.Gao Z.Tang J.H.Siekmann C.Benzmüller L.Cheikhrouhou A.Fiedler M.Kohlhase E.Melis D.Fehrer X.Huang M.Kerber K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann C.Ullrich C.Wirth J.Zimmer
Talks about:
mathemat (4) problem (3) analysi (3) structur (2) recognit (2) approach (2) formula (2) automat (2) algebra (2) omega (2)

Person: Volker Sorge

DBLP DBLP: Sorge:Volker

Contributed to:

ICDAR 20132013
DRR 20122012
RTA 20122012
ICDAR 20112011
IJCAR 20062006
ICDAR 20052005
SAT 20052005
IJCAR 20042004
CADE 20032003
CADE 20022002
CADE 19971997

Wrote 12 papers:

ICDAR-2013-AlkalaiBSL #analysis #identification
Improving Formula Analysis with Line and Mathematics Identification (MA, JBB, VS, XL), pp. 334–338.
ICDAR-2013-LinGTBAS #detection #recognition
A Text Line Detection Method for Mathematical Formula Recognition (XL, LG, ZT, JBB, MA, VS), pp. 339–343.
DRR-2012-SadawiSS #approach #recognition #rule-based
Chemical structure recognition: a rule-based approach (NMS, APS, VS).
RTA-2012-Al-HassaniMCS #problem #term rewriting
A Term Rewriting System for Kuratowski’s Closure-Complement Problem (OAH, QaM, CSC, VS), pp. 38–52.
ICDAR-2011-BakerSSS #analysis #documentation
Comparing Approaches to Mathematical Document Analysis from PDF (JBB, APS, VS, MS), pp. 463–467.
IJCAR-2006-SorgeMMC #automation #invariant #verification
Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
ICDAR-2005-SextonS #analysis #matrix #semantics
Semantic Analysis of Matrix Structures (APS, VS), pp. 1141–1145.
SAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set
A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
IJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem
Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.
CADE-2003-CohenMPS #permutation #problem
Certifying Solutions to Permutation Group Problems (AMC, SHM, MP, VS), pp. 258–273.
CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.