BOOK-CHAPTER

Nullstellensatz-Proofs for Multiplier Verification

Daniela KaufmannArmin Biere

Year: 2020 Lecture notes in computer science Pages: 368-389   Publisher: Springer Science+Business Media
Keywords:
Mathematical proof Proof complexity Computer science Multiplier (economics) Model checking Automated theorem proving Formal verification Calculus (dental) Algorithm Theoretical computer science Mathematics

Metrics

7
Cited By
3.99
FWCI (Field Weighted Citation Impact)
36
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Cryptographic Implementations and Security
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Two Model Theoretic Proofs of Ruckert's Nullstellensatz

Volker Weispfenning

Journal:   Transactions of the American Mathematical Society Year: 1975 Vol: 203 Pages: 331-331
JOURNAL ARTICLE

Two model theoretic proofs of Rückert’s Nullstellensatz

Volker Weispfenning

Journal:   Transactions of the American Mathematical Society Year: 1975 Vol: 203 (0)Pages: 331-342
© 2026 ScienceGate Book Chapters — All rights reserved.