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

W. Böge Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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
2EEW. 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)