Nullstellensatz-Proofs for Multiplier Verification

Daniela Kaufmann; Armin Biere

doi:10.1007/978-3-030-60026-6_21

ScienceGate Book Chapters

BOOK-CHAPTER

Nullstellensatz-Proofs for Multiplier Verification

Daniela Kaufmann Armin Biere

Year: 2020 Lecture notes in computer science Pages: 368-389 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-030-60026-6_21

Get Full-Text PDF Get Analytical Report

Keywords:

Mathematical proof Proof complexity Computer science Multiplier (economics) Model checking Automated theorem proving Formal verification Calculus (dental) Algorithm Theoretical computer science Mathematics

Metrics

Cited By

3.99

FWCI (Field Weighted Citation Impact)

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

Nullstellensatz-Proofs for Multiplier Verification

Metrics

Citation History

Topics

Related Documents

On locally minimal Nullstellensatz proofs

Combinatorial Nullstellensatz: Various Proofs, Extensions and Applications

Two Model Theoretic Proofs of Ruckert's Nullstellensatz

Combinatorial Nullstellensatz: Various Proofs, Extensions and Applications

Two model theoretic proofs of Rückert’s Nullstellensatz