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

W. Böge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
3 W. 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
2 W. Böge: Quantifier Elimination for Real Closed Fields. AAECC 1985: 247-261
1 W. 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]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)