Assertion: circuit | /r/HasProperty | given by strassen
Facets:
Source sentences:
text: This is one example where some upper bound helps in proving lower bounds; the construction of a circuit given by Baur and Strassen implies a lower bound for more general polynomials.