PREVAIL

swMATH2114MaRDI QIDQ14658FDOQ14658

Author name not available (Why is that?)

Cited In (4)

• Functional verification of high performance adders in \textsc{Coq}
• Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
• The automation of proof by mathematical induction
• Title not available (Why is that?)

This page was built for software: PREVAIL