W.M. Seiler

Identifiers

No identifiers captured yet.

Papers (3)

1. Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #14
2. Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #14
3. Quantization of the Reduced Phase Space of Two-Dimensional Dilaton Gravity gr-qc · 1995 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• A. Cimatti 2 shared papers
• A. Griggio 2 shared papers
• A.M. Bigatti 2 shared papers
• B. Becker 2 shared papers
• B. Buchberger 2 shared papers
• D. Kroening 2 shared papers
• E. Abraham 2 shared papers
• J. Abbott 2 shared papers
• J.H. Davenport 2 shared papers
• M. Brain 2 shared papers
• M. England 2 shared papers
• P. Fontaine 2 shared papers
• S. Forrest 2 shared papers
• T. Sturm 2 shared papers
• R.W. Tucker (Lancaster) 1 shared papers