Nullstellensatz-proofs for multiplier verification
From MaRDI portal
Publication:2110233
DOI10.1007/978-3-030-60026-6_21MaRDI QIDQ2110233
Publication date: 21 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-60026-6_21
68W30: Symbolic computation and algebraic computation
Related Items
Uses Software