✦ LIBER ✦

Quantifier elimination for a class of exponential polynomial formulas

✍ Scribed by Xu, Ming; Li, Zhi-Bin; Yang, Lu

Book ID: 126829237
Publisher: Elsevier Science
Year: 2015
Tongue: English
Weight: 452 KB
Volume: 68
Category: Article
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2014.09.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the zeros of a class of exponential p

On the zeros of a class of exponential polynomials

✍ Dorothy L Bernstein; Geraldine A Coon 📂 Article 📅 1965 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Incompleteness of a Formal System for In

Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas

✍ John Gregory 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 980 KB

Representation Formulas for the Class of

Representation Formulas for the Class of Typically Real Polynomials

✍ M. Brandt 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 285 KB

Let Qn denote the class of polynomials of degree less than or equal to n that are univalent in the unit disk D and which are of the form (1) with real coefficients. The class Qn is a subclass of T,, of polynomials of degree les8 than or equal to n normalized by (1) which are real if and only if z is

A class of polynomials defined by genera

A class of polynomials defined by generalized Rodrigues’ formula

✍ H. M. Srivastava; J. P. Singhal 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 399 KB

A class of bivariate orthogonal polynomi

A class of bivariate orthogonal polynomials and cubature formula

✍ Yuan Xu 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 154 KB

A quantifier elimination for the theory

A quantifier elimination for the theory of p-adic numbers

✍ L. Egidi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 651 KB