Pacheck

swMATH43992MaRDI QIDQ5974302FDOQ5974302

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

Cited in

(7)

• Nusschecker
• petBoss
• PolyCleaner
• RevSCA
• Nullstellensatz-proofs for multiplier verification
• AMulet
• Bosphorus

This page was built for software: Pacheck