Sciweavers

10 search results - page 2 / 2
» Computing Pro-P Galois Groups
Sort
View
ANTS
2004
Springer
93views Algorithms» more  ANTS 2004»
14 years 29 days ago
Nonic 3-adic Fields
We compute all nonic extensions of Q3 and find that there are 795 of them up to isomorphism. We describe how to compute the associated Galois group of such a field, and also the ...
John W. Jones, David P. Roberts
ANTS
2006
Springer
105views Algorithms» more  ANTS 2006»
13 years 11 months ago
A Modular Method for Computing the Splitting Field of a Polynomial
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
Guénaël Renault, Kazuhiro Yokoyama
ISSAC
2007
Springer
99views Mathematics» more  ISSAC 2007»
14 years 1 months ago
Computing monodromy via parallel homotopy continuation
Numerical homotopy continuation gives a powerful tool for the applied scientist who seeks solutions to a system of polynomial equations. Techniques from numerical homotopy continu...
Anton Leykin, Frank Sottile
ISSAC
1991
Springer
89views Mathematics» more  ISSAC 1991»
13 years 11 months ago
On the Resolution of Index Form Equations
In the present paper we describe a new algorithm to determine the minimal index and all elements with minimal index in totally real biquadratic fields with Galois group D8. The m...
István Gaál, Attila Pethö, Mich...
SEFM
2007
IEEE
14 years 1 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook