Sciweavers

21 search results - page 2 / 5
» jsc 2000
Sort
View
JSC
2000
49views more  JSC 2000»
13 years 5 months ago
Computing Global Extension Modules
Gregory G. Smith
JSC
2000
66views more  JSC 2000»
13 years 5 months ago
Cut-elimination and Redundancy-elimination by Resolution
Matthias Baaz, Alexander Leitsch
JSC
2000
49views more  JSC 2000»
13 years 5 months ago
Using Galois Ideals for Computing Relative Resolvents
Philippe Aubry, Annick Valibouze
JSC
2000
62views more  JSC 2000»
13 years 5 months ago
Galois Group Computation for Rational Polynomials
Katharina Geissler, Jürgen Klüners