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: Sorge:Volker
Contributed to:
2013
2012
20122011
20062005
20052004
200320021997Wrote 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.