We have implemented 16 small formulas for
is implemented by a routine which returns a certificate
|
|
Small Formulas
|
where
and
are small. For example, this
formula
whose components are
