Edinburgh Research Explorer

Solving integrals at the method level

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Solving integrals at the method level. / Heneveld, Alex; Maclean, Ewen; Bundy, Alan; Fleuriot, Jacques; Smaill, Alan.

Symbolic Computation and Automated Reasoning 2000. ed. / Manfred Kerber; Michael Kohlhase. Natick, MA, USA : A. K. Peters, Ltd., 2001. p. 251-252.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Heneveld, A, Maclean, E, Bundy, A, Fleuriot, J & Smaill, A 2001, Solving integrals at the method level. in M Kerber & M Kohlhase (eds), Symbolic Computation and Automated Reasoning 2000. A. K. Peters, Ltd., Natick, MA, USA, pp. 251-252.

APA

Heneveld, A., Maclean, E., Bundy, A., Fleuriot, J., & Smaill, A. (2001). Solving integrals at the method level. In M. Kerber, & M. Kohlhase (Eds.), Symbolic Computation and Automated Reasoning 2000 (pp. 251-252). Natick, MA, USA: A. K. Peters, Ltd..

Vancouver

Heneveld A, Maclean E, Bundy A, Fleuriot J, Smaill A. Solving integrals at the method level. In Kerber M, Kohlhase M, editors, Symbolic Computation and Automated Reasoning 2000. Natick, MA, USA: A. K. Peters, Ltd.2001. p. 251-252.

Author

Heneveld, Alex ; Maclean, Ewen ; Bundy, Alan ; Fleuriot, Jacques ; Smaill, Alan. / Solving integrals at the method level. Symbolic Computation and Automated Reasoning 2000. editor / Manfred Kerber ; Michael Kohlhase. Natick, MA, USA : A. K. Peters, Ltd., 2001. pp. 251-252