Sciweavers

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