Concepedia

Quantifier Elimination

Quantifier Elimination is a formal method in computational algebra that systematically removes quantifiers from logical formulas while preserving their truth value, thereby transforming them into equivalent quantifier-free expressions over algebraic structures.

450

Publications

28.2K

Citations

593

Authors

301

Institutions

Publications per year

2017–2026

33

Parents

Publications

450

Generalized quantifiers and natural language

Jon Barwise, Robin Cooper · Linguistics and Philosophy · 1981 · 1.9K citations

, , +12

A computational approach to fuzzy quantifiers in natural languages

Lotfi A. Zadeh · Computers & Mathematics with Applications · 1983 · 1.8K citations

, , +14

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Gary S. Collins · Medical Entomology and Zoology · 1975 · 902 citations

, , +9

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

, , +16

Restrictions on quantifier domains

Kai von Fintel · ScholarWorks@UMassAmherst (University of Massachusetts Amherst) · 1994 · 756 citations

, , +5

1–5 of 450

Authors

593

  1. HA
    Hirokazu Anai

    Fujitsu (Japan), Japan

    11 publications · 224 citations

    10

    h-index

  2. TS
    Thomas Sturm

    University of Passau, Germany

    8 publications · 269 citations

    8

    h-index

  3. SM
    Scott McCallum

    Macquarie University, Australia

    7 publications · 638 citations

    7

    h-index

  4. CW
    Christopher W. Brown

    National Oceanic and Atmospheric Administration, United States

    7 publications · 544 citations

    7

    h-index

  5. VW
    Volker Weispfenning

    University of Passau, Germany

    7 publications · 506 citations

    7

    h-index

1–5 of 593

Institutions

301

  1. Centre National de la Recherche Scientifique

    Paris, France

    14 h-index

    35 publications

    1K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    13 h-index

    20 publications

    915 citations

  3. University of California, Berkeley

    Berkeley, United States

    12 h-index

    19 publications

    2.7K citations

  4. Fujitsu (Japan)

    Kawasaki, Japan

    11 h-index

    20 publications

    415 citations

  5. University of Freiburg

    Freiburg im Breisgau, Germany

    10 h-index

    28 publications

    713 citations

  6. University of Passau

    Passau, Germany

    10 h-index

    18 publications

    812 citations

  7. Stanford University

    Stanford, United States

    10 h-index

    13 publications

    6K citations

  8. University of Bath

    Bath, United Kingdom

    10 h-index

    23 publications

    1.1K citations

1–8 of 301

Venues

  1. Journal of Symbolic Logic

    32 publications · 998 citations

    18

    h-index

  2. Journal of Symbolic Computation

    21 publications · 2.6K citations

    17

    h-index

  3. Theoretical Computer Science

    9 publications · 550 citations

    9

    h-index

  4. Journal of Automated Reasoning

    7 publications · 496 citations

    7

    h-index

  5. Transactions of the American Mathematical Society

    TRAN · 7 publications · 171 citations

    7

    h-index

1–5