A method for deriving lower bounds for the complexity of monotone arithmetic circuits computing real polynomials

From MaRDI portal
Publication:4907594