✦ LIBER ✦

Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors

✍ Scribed by Hoon Hong; Richard Liska

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 113 KB
Volume: 24
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.1997.0117

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

Special Issue on Applications of Gröbner

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

✍ Quoc-Nam Tran; Franz Winkler 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 70 KB

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

Special Issue on Symbolic Numeric Algebr

Special Issue on Symbolic Numeric Algebra for Polynomials: Foreword of the Guest Editors

✍ SM Watt; HJ Stetter 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 142 KB

Special Issue on Orthogonal Polynomials

Special Issue on Orthogonal Polynomials and Computer Algebra Foreword of the Guest Editors

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 97 KB

In the last decade major steps toward an algorithmic treatment of orthogonal polynomials and special functions have been made, notably Zeilberger's brilliant extension of Gosper's algorithm on algorithmic definite hypergeometric summation. By implementations of these and other algorithms, symbolic c