Nusschecker

MaRDI QIDQ5973009swMATHFDO

Official website http://fmv.jku.at/nussproofs/

Described by source

• Nullstellensatz-proofs for multiplier verification

Cited in

(6)

• petBoss
• PolyCleaner
• RevSCA
• AMulet
• Bosphorus
• Pacheck

This page was built for software: Nusschecker