Concepedia

Nullstellensatz Proof Systems

Nullstellensatz Proof Systems is a proof system in propositional logic based on algebraic reasoning, wherein proofs are represented as polynomial families over a field certifying the unsatisfiability of propositional formulas via Hilbert’s Nullstellensatz.

17

Publications

810

Citations

25

Authors

24

Institutions

Publications per year

2017–2026

0

Variants

Nullstellensatz Proof System

Parents

Publications

17

Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs

Paul Beame, Russell Impagliazzo, Jan Krajı́ček et al. · Proceedings of the London Mathematical Society · 1996 · 165 citations

, , +10

Complexity of Null- and Positivstellensatz proofs

Dima Grigoriev, Nicolai Vorobjov · Annals of Pure and Applied Logic · 2001 · 101 citations

, , +12

Geometry theorem proving using Hilbert's Nullstellensatz

Deepak Kapur · 1986 · 90 citations · Full text

, , +10

Lower bounds on Hilbert's Nullstellensatz and propositional proofs

Paul Beame, Russell Impagliazzo, Toniann Pitassi et al. · 2002 · 57 citations

, , +10

Uniform Families of Polynomial Equations Over a Finite Field and Structures Admitting an Euler Characteristic of Definable Sets

Jan Krajı́ček · Proceedings of the London Mathematical Society · 2000 · 48 citations

, , +14

1–5 of 17

Authors

25

  1. RI
    Russell Impagliazzo

    University of California San Diego, United States

    5 publications · 325 citations

    5

    h-index

  2. NS
    Nathan Segerlind

    University of California San Diego, United States

    3 publications · 103 citations

    3

    h-index

  3. TM
    Tsuyoshi Morioka

    University of Toronto, Canada

    3 publications · 67 citations

    3

    h-index

  4. SR
    Samuel R. Buss

    University of California San Diego, United States

    2 publications · 75 citations

    2

    h-index

  5. PB
    Paul Beame

    University of Washington, United States

    2 publications · 222 citations

    2

    h-index

1–5 of 25

Institutions

24

  1. University of California San Diego

    San Diego, United States

    4 h-index

    6 publications

    251 citations

  2. University of Toronto

    Toronto, Canada

    2 h-index

    3 publications

    64 citations

  3. University of Washington

    Seattle, United States

    2 h-index

    2 publications

    222 citations

  4. University of Pittsburgh

    Pittsburgh, United States

    2 h-index

    3 publications

    387 citations

  5. Mathematical Institute of the Slovak Academy of Sciences

    Bratislava, Slovakia

    1 h-index

    1 publications

    48 citations

  6. University of Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    48 citations

  7. General Electric (United States)

    Boston, United States

    1 h-index

    1 publications

    90 citations

  8. Rice University

    Houston, United States

    1 h-index

    1 publications

    25 citations

1–8 of 24

Venues

  1. Journal of Symbolic Computation

    2 publications · 41 citations

    2

    h-index

  2. Proceedings of the London Mathematical Society

    2 publications · 213 citations

    2

    h-index

  3. Linear Algebra and its Applications

    1 publications · 19 citations

    1

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 1 publications · 46 citations

    1

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 1 publications · 33 citations

    1

    h-index

1–5