B. Buchberger

Identifiers

• name variant B. Buchberger 0.60 · backfill

Papers (3)

1. Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #6
2. Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #6
3. Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates math.CA · 2015 · author #4

Mentions

• 1505.01956 #4 · backfill · confidence 0.70 B. Buchberger

Frequent Coauthors

• A. Cimatti 2 shared papers
• A. Griggio 2 shared papers
• A.M. Bigatti 2 shared papers
• B. Becker 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
• W.M. Seiler 2 shared papers
• A. Maletzky 1 shared papers
• J. Liu 1 shared papers
• M. Rosenkranz 1 shared papers