Concepedia

Polynomial Calculus

Polynomial Calculus is a propositional proof system based on algebraic reasoning, in which clauses are represented as polynomial equations over a field and derivations proceed via Gröbner-style elimination to establish unsatisfiability.

228

Publications

8.1K

Citations

353

Authors

247

Institutions

Publications per year

2017–2026

17

Parents

Publications

228

Some algebraic and geometric computations in PSPACE

John Canny · 1988 · 581 citations · Full text

, , +15

Direct optimization using collocation based on high-order Gauss-Lobatto quadrature rules

Albert L. Herman, Bruce A. Conway · Journal of Guidance Control and Dynamics · 1996 · 338 citations

, , +14

Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems.

Werner C. Rheinboldt, Alexander B. Morgan · Mathematics of Computation · 1988 · 242 citations

, , +14

Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity

Dima Grigoriev · Theoretical Computer Science · 2001 · 210 citations

, , +4

Lower bounds for the polynomial calculus

Alexander Razborov · Computational Complexity · 1998 · 160 citations

, , +8

1–5 of 228

Authors

353

  1. JN
    Jakob Nordstr”öm

    KTH Royal Institute of Technology, Sweden

    9 publications · 323 citations

    9

    h-index

  2. RI
    Russell Impagliazzo

    University of California San Diego, United States

    8 publications · 370 citations

    8

    h-index

  3. DS
    Dae San Kim

    Sogang University, South Korea

    6 publications · 116 citations

    6

    h-index

  4. ML
    Massimo Lauria

    KTH Royal Institute of Technology, Sweden

    6 publications · 191 citations

    6

    h-index

  5. AR
    Alexander Razborov

    Steklov Mathematical Institute, Russia

    5 publications · 477 citations

    5

    h-index

1–5 of 353

Institutions

247

  1. University of California San Diego

    San Diego, United States

    10 h-index

    13 publications

    526 citations

  2. KTH Royal Institute of Technology

    Stockholm, Sweden

    9 h-index

    14 publications

    482 citations

  3. University of California, Berkeley

    Berkeley, United States

    7 h-index

    9 publications

    824 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    11 publications

    181 citations

  5. Sapienza University of Rome

    Rome, Italy

    5 h-index

    8 publications

    157 citations

  6. Shanghai Jiao Tong University

    Shanghai, China

    5 h-index

    6 publications

    178 citations

  7. Institute for Advanced Study

    Princeton, United States

    5 h-index

    5 publications

    263 citations

  8. Sogang University

    Seoul, South Korea

    5 h-index

    5 publications

    106 citations

1–8 of 247

Venues

  1. Proceedings of the American Mathematical Society

    PROC · 10 publications · 208 citations

    10

    h-index

  2. Mathematics of Computation

    MCOM · 7 publications · 429 citations

    7

    h-index

  3. arXiv (Cornell University)

    Repository · 6 publications · 93 citations

    6

    h-index

  4. Computational Complexity

    CC · 5 publications · 369 citations

    5

    h-index

  5. Communications in Algebra

    4 publications · 79 citations

    4

    h-index

1–5