dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

W. Böge Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1986
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Böge, Rüdiger Gebauer, Heinz Kredel: Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases. J. Symb. Comput. 2(1): 83-98 (1986)
1985
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Böge: Quantifier Elimination for Real Closed Fields. AAECC 1985: 247-261
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Böge, Rüdiger Gebauer, Heinz Kredel: Gröbner Bases Using SAC-2. European Conference on Computer Algebra (2) 1985: 272-274

Coauthor Index

1Rüdiger Gebauer [1] [3]
2Heinz Kredel [1] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page