Abstract | ||
---|---|---|
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted to integration. Several optimization goals are being pursued, including achieving the best form for the output, reducing the size of the repository while retaining its scope, and minimizing the number of steps required for the evaluation process. New optimizations for expression size are presented. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-14128-7_20 | AISC/MKM/Calculemus |
Keywords | Field | DocType |
new optimizations,evaluation process,expression size,transformation rule,indefinite integration,best form,optimization goal,rule-based integration,rule based,formal verification,interval analysis | Test suite,Rule-based system,Algorithm,Theoretical computer science,Interval arithmetic,Mutually exclusive events,Mathematics,Formal verification | Conference |
Volume | ISSN | ISBN |
6167 | 0302-9743 | 3-642-14127-7 |
Citations | PageRank | References |
2 | 0.53 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
David J. Jeffrey | 1 | 1172 | 132.12 |
Albert D. Rich | 2 | 18 | 7.77 |