Height Bounds, Nullstellensatz and Primality
Résumé
In this study, we find height bounds in the polynomial ring over the field of algebraic numbers
to test the primality of an ideal. We also obtain height bounds in the arithmetic Nullstellensatz.
We apply nonstandard analysis and hence our constants will be ineffective.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...