Volker Sorge

Identifiers

• name variant Volker Sorge 0.60 · backfill

Papers (3)

1. The Multiplication Group of an AG-group math.GR · 2014 · author #4
2. Symbolic Domain Decomposition cs.SC · 2010 · author #3
3. Resource Adaptive Agents in Interactive Theorem Proving cs.LO · 2009 · author #2

Mentions

• 1004.5549 #3 · arxiv_oai · confidence 0.70 Volker Sorge
• 1403.0507 #4 · backfill · confidence 0.70 Volker Sorge
• 1004.5549 #3 · backfill · confidence 0.70 Volker Sorge
• 0901.3585 #2 · backfill · confidence 0.70 Volker Sorge

Frequent Coauthors

• Alan P. Sexton 1 shared papers
• Asif Ali 1 shared papers
• Christoph Benzmueller 1 shared papers
• Imtiaz Ahmad 1 shared papers
• Jacques Carette 1 shared papers
• Muhammad Shah 1 shared papers
• Stephen M. Watt 1 shared papers