𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Special Issue on Applications of Gröbner Bases: Foreword of the Guest Editors

✍ Scribed by Quoc-Nam Tran; Franz Winkler

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
70 KB
Volume
30
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Polynomial Elimination:
Special Issue on Polynomial Elimination: Foreword of the Guest Editors
✍ Michael Kalkbrener; Dongming Wang 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Algorithms for eliminating variables from systems of multivariate polynomials are essential tools in constructive algebra and algebraic geometry. The reason is that a number of important computational problems in these areas can be tackled by elimination techniques. In particular, elimination method

On the Stability of Gröbner Bases Under
On the Stability of Gröbner Bases Under Specializations
✍ MICHAEL KALKBRENER 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Let R be a Noetherian commutative ring with identity, K a field and π a ring homomorphism from R to K. We investigate for which ideals in R[x 1 , . . . , xn] and admissible orders the formation of leading monomial ideals commutes with the homomorphism π.

Special Issue on Order-sorted Rewriting:
Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor
✍ G. Smolka 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 89 KB

Equational logic is ubiquitous in computer science. It is the basis for algebraic specification, rewriting, unification, and equational programming. These techniques evolved in a many-sorted setting, where different sorts are disjoint. Joseph Goguen observed that an order-sorted equational logic mod

Special Issue on Algorithmic Methods in
Special Issue on Algorithmic Methods in Galois Theory Foreword of the Guest Editors
✍ B.H. Matzat; J. McKay; K. Yokoyama 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 141 KB

Galois theory is a standard topic in every algebra course. Computational and constructive methods in Galois theory have not yet attained this status. Algorithms to compute Galois groups go back as far as the nineteenth century and are described in the classical monograph of Tschebotaröw and Schwerd