The Buchberger Algorithm as a Tool for Ideal Theory of Polynomial Rings in Constructive Mathematics

doi 10.1017/cbo9780511565847.023
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press

Related search

Prime Rings With a One-Sided Ideal Satisfying a Polynomial Identity

Pacific Journal of Mathematics
Mathematics
1968English

RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2009English

On the Structure and Ideal Theory of Complete Local Rings

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1946English

The Noetherian Property for Quotient Rings of Infinite Polynomial Rings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1979English

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

Foundations of Science
MultidisciplinaryPhilosophy of ScienceHistory
2005English

Classification of Finite Rings: Theory and Algorithm

Czechoslovak Mathematical Journal
Mathematics
2014English

Generalizations of Multiplicative Ideal Theory to Commutative Rings With Zerodivisors

Bulletin of the Faculty of Science, Ibaraki University. Series A, Mathematics
1985English

A Generalization of Polynomial Identities in Rings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1957English

Norms in Polynomial Rings

Bulletin of the Australian Mathematical Society
Mathematics
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy