Generalization in maple

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

Generalization in maple. / Oancea, Cosmin Eugen; So, Clare; Watt, Stephen M.

Maple Conference. 2005. p. 277-382.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Oancea, CE, So, C & Watt, SM 2005, Generalization in maple. in Maple Conference. pp. 277-382.

APA

Oancea, C. E., So, C., & Watt, S. M. (2005). Generalization in maple. In Maple Conference (pp. 277-382)

Vancouver

Oancea CE, So C, Watt SM. Generalization in maple. In Maple Conference. 2005. p. 277-382

Author

Oancea, Cosmin Eugen ; So, Clare ; Watt, Stephen M. / Generalization in maple. Maple Conference. 2005. pp. 277-382

Bibtex

@inproceedings{aca2143f1018498fa81e2cc172a65d69,
title = "Generalization in maple",
abstract = "We explore the notion of generalization in the setting of symbolic mathematical computing. By {"}generalization{"} we mean the process of taking a number of instances of mathematical expressions and producing new expressions that may be specialized to all the instances. We first identify a number of ways in which generalization may be useful in the setting of computer algebra, and formalize this generalization as an antiunification problem. We present a single-pass algorithm for antiunification and give some examples.",
author = "Oancea, {Cosmin Eugen} and Clare So and Watt, {Stephen M.}",
note = "@article{oancea2005generalization, title={Generalization in maple}, author={Oancea, Cosmin and So, Clare and Watt, Stephen M}, publisher={Citeseer}, booktitle = {Maple Conference}, year = 2005, pages = {277-382}, location = {Waterloo, Canada} }",
year = "2005",
language = "English",
pages = "277--382",
booktitle = "Maple Conference",

}

RIS

TY - GEN

T1 - Generalization in maple

AU - Oancea, Cosmin Eugen

AU - So, Clare

AU - Watt, Stephen M.

N1 - @article{oancea2005generalization, title={Generalization in maple}, author={Oancea, Cosmin and So, Clare and Watt, Stephen M}, publisher={Citeseer}, booktitle = {Maple Conference}, year = 2005, pages = {277-382}, location = {Waterloo, Canada} }

PY - 2005

Y1 - 2005

N2 - We explore the notion of generalization in the setting of symbolic mathematical computing. By "generalization" we mean the process of taking a number of instances of mathematical expressions and producing new expressions that may be specialized to all the instances. We first identify a number of ways in which generalization may be useful in the setting of computer algebra, and formalize this generalization as an antiunification problem. We present a single-pass algorithm for antiunification and give some examples.

AB - We explore the notion of generalization in the setting of symbolic mathematical computing. By "generalization" we mean the process of taking a number of instances of mathematical expressions and producing new expressions that may be specialized to all the instances. We first identify a number of ways in which generalization may be useful in the setting of computer algebra, and formalize this generalization as an antiunification problem. We present a single-pass algorithm for antiunification and give some examples.

M3 - Article in proceedings

SP - 277

EP - 382

BT - Maple Conference

ER -

ID: 164444149