Quantifier Elimination in p-adic Fields | Zendy

Devdatt Dubhashi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Quantifier Elimination in p-adic Fields

Author(s) -

Devdatt Dubhashi

Publication year - 1993

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/36.5.419

Subject(s) - quantifier elimination , formalism (music) , quantifier (linguistics) , algebraic number , affine transformation , algebra over a field , mathematics , pure mathematics , field (mathematics) , computer science , discrete mathematics , artificial intelligence , mathematical analysis , art , musical , visual arts

We present a tutorial survey of quantifier elimination and decision procedures in p-adic fields. The p-adic fields are studied in the (so-called) P n -formalism of Angus Macintyre, for which motivation in provided through a rich body of analogies with real-cloned fields. Quantifier elimination and decidion procedures are described proceeding via a Cylindrical Algebraic Decomposition of affine p-adic space. effective complexity analyses are also provided

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research