Nusschecker

swMATH43989MaRDI QIDQ5973009FDOQ5973009

Author name not available (Why is that?)

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