Indefinite integration as term rewriting: integrals containing tangent

From MaRDI portal
Publication:2017750