Displaying 2521 – 2540 of 2843

Showing per page

Totally indefinite Euclidean quaternion fields

Jean-Paul Cerri, Jérôme Chaubert, Pierre Lezowski (2014)

Acta Arithmetica

We study the Euclidean property for totally indefinite quaternion fields. In particular, we establish a complete list of norm-Euclidean such fields over imaginary quadratic number fields. This enables us to exhibit an example which gives a negative answer to a question asked by Eichler. The proofs are both theoretical and algorithmic.

Towards a theory of Bass numbers with application to Gorenstein algebras

Shiro Goto, Kenji Nishida (2002)

Colloquium Mathematicae

The notion of Gorenstein rings in the commutative ring theory is generalized to that of Noetherian algebras which are not necessarily commutative. We faithfully follow in the steps of the commutative case: Gorenstein algebras will be defined using the notion of Cousin complexes developed by R. Y. Sharp [Sh1]. One of the goals of the present paper is the characterization of Gorenstein algebras in terms of Bass numbers. The commutative theory of Bass numbers turns out to carry over with no extra changes....

Towards the automated synthesis of a Gröbner bases algorithm.

Bruno Buchberger (2004)

RACSAM

We discuss the question of whether the central result of algorithmic Gröbner bases theory, namely the notion of S?polynomials together with the algorithm for constructing Gröbner bases using S?polynomials, can be obtained by ?artificial intelligence?, i.e. a systematic (algorithmic) algorithm synthesis method. We present the ?lazy thinking? method for theorem and algorithm invention and apply it to the ?critical pair / completion? algorithm scheme. We present a road map that demonstrates that, with...

Currently displaying 2521 – 2540 of 2843