Nullstellensatz-proofs for multiplier verification
From MaRDI portal
Publication:2110233
DOI10.1007/978-3-030-60026-6_21OpenAlexW3097700653MaRDI QIDQ2110233
Publication date: 21 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-60026-6_21
Related Items (3)
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares ⋮ Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey ⋮ Nusschecker
Uses Software
This page was built for publication: Nullstellensatz-proofs for multiplier verification
