| |
| 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 | |
| 1 | Rüdiger Gebauer | [1] [3] |
| 2 | Heinz Kredel | [1] [3] |