W. Böge

Publication Activity (10 Years)

Years Active: 1985-1986
Publications (10 Years): 0

Publications

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) (1986)
W. Böge, Rüdiger Gebauer, Heinz Kredel
Gröbner Bases Using SAC-2. European Conference on Computer Algebra (2) (1985)
W. Böge
Quantifier Elimination for Real Closed Fields. AAECC (1985)