Sciweavers

63 search results - page 1 / 13
» Isomorphisms of Algebraic Number Fields
Sort
View
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 2 months ago
Isomorphisms of Algebraic Number Fields
Let Q() and Q() be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, Q() Q(). The algorithm is particularly efficient if the number of i...
Mark van Hoeij, Vivek Pal
ANTS
2006
Springer
118views Algorithms» more  ANTS 2006»
13 years 9 months ago
Computation of Locally Free Class Groups
We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to prese...
Werner Bley, Robert Boltje
JSYML
2008
82views more  JSYML 2008»
13 years 5 months ago
The number of openly generated Boolean algebras
This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly -filtered Boolean algebras. We show that for ...
Stefan Geschke, Saharon Shelah
AAECC
2005
Springer
104views Algorithms» more  AAECC 2005»
13 years 5 months ago
Isomorphism Classes of Picard Curves over Finite Fields
In this paper we determine the number of isomorphism classes of Picard curves, i.e., superelliptic curves y3 = f(x) of genus three, over finite fields of characteristic different f...
Jong Won Lee
TYPES
2000
Springer
13 years 8 months ago
Constructive Reals in Coq: Axioms and Categoricity
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
Herman Geuvers, Milad Niqui