#### Filter Results:

#### Publication Year

1979

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Albert D. Rich, David J. Jeffrey
- Calculemus/MKM
- 2009

Taking the specific problem domain of indefinite integration, we describe the ongoing development of a repository of mathematical knowledge based on transformation rules. It is important that the repository be not confused with a look-up table. The database of transformation rules is at present encoded in Mathematica, but this is only one convenient form of… (More)

- David J. Jeffrey, Albert D. Rich
- ACM Trans. Math. Softw.
- 1994

The tan(x/2) substitution, also called the Weierstrass substitution, is one method currently used by computer-algebra systems for the evaluation of trigonometric integrals. The method needs to be improved, because the expressions obtained using it sometimes contain discontinuities, which unnecessarily limit the domains over which the expressions are… (More)

- Albert D. Rich, David R. Stoutemyer
- EUROSAM
- 1979

- Albert D. Rich, David J. Jeffrey
- SIGS
- 1996

1 I n t r o d u c t i o n Once it is decided that a CAS will evaluate multivalued functions on their principal branches, questions arise concerning the branch definitions. The first questions concern the standardization of the positions of the branch cuts. These questions have largely been resolved between the various algebra systems and the numerical… (More)

When a computer algebra system has an assumption facility, it is possible to distinguish between integration problems with respect to a real variable, and those with respect to a complex variable. Here, a class of integration problems is deened in which the integrand consists of compositions of continuous functions and signum functions, and integration is… (More)

- David J. Jeffrey, Albert D. Rich
- ISSAC
- 1998

An algorithm is given for the integration of a class of piecewise-continuous functions. The integration is with respect to a real variable, because the functions considered do not in general allow i n tegration in the complex plane to be deened. The class of integrands includes commonly occurring waveforms, such a s s q u a r e w aves, triangular waves, and… (More)

- David J. Jeffrey, Albert D. Rich
- AISC/MKM/Calculemus
- 2010

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… (More)

- J. Hu, Y. Hou, Albert D. Rich, David J. Jeffrey
- Programming and Computer Software
- 2013

We describe the development of a term-rewriting system for indefinite integration; it is also called a rule-based evaluation system. The development is separated into modules, and we describe the module for a wide class of integrands containing the tangent function.

- Albert D. Rich, David R. Stoutemyer
- ArXiv
- 2013

Simplification of fractional powers of positive rational numbers and of sums, products and powers of such numbers is taught in beginning algebra. Such numbers can often be expressed in many ways, as this article discusses in some detail. Since they are such a restricted subset of algebraic numbers, it might seem that good simplification of them must already… (More)

- A. D. Rich
- 2009

We describe the development of a repository of mathematical knowledge based on transformation rules. The specific mathematical problem is indefinite integration. It is important that the repository be not confused with a look-up table. The database of transformation rules is at present encoded in Mathematica, but this is only one convenient form of the… (More)