In this paper, we will show how to use a computer algebra system (CAS) to study the center of gravity of several classes of three dimensional cylinders. Today many mathematics instructors and researchers are using CAS to enhance their teaching and research. Some of the popular CAS include, Derive, Matlab, Maple, Axiom, and Mathematica. Even though this paper uses Mathematica as the CAS of choice, other systems can be used as well.
Mathematica is a general purpose CAS. It is capable of performing numerical or algebraic calculations, and two or three dimensional graphing. The graphics capabilities of Mathematica combined with its powerful programming language makes it an ideal medium to visualize mathematical or physical phenomena (see , , , ,  and  ). Because of its animation and sound generation capabilities, Mathematica can also be used as a multimedia studio (see ,  and  ). The paper also illustrates this aspect, in the context of studying the center of gravity of several classes of cylinders. For general references on Mathematica, the reader can refer to , , , and .
As our first example, consider the solid bounded by the -plane, the fixed elliptic cylinder x^2/a^2 +y^2/b^2 = 1 where a and b are positive constants, and the plane through the point (0, 0, c) where c is a positive constant, with variable normal vector
where s and t are real parameters. Observe that the variable plane just described forms the "roof" of the solid. As the parameters s and t change, the solid changes, and hence its center of gravity G changes (see ,  and  ). One can calculate the coordinates of G using the symbolic integration capabilities of Mathematica. Further, the "Eliminate" command of Mathematica can be used to find the locus of the center of gravity G, for changing s and t. Motivated by these computer experiments, an interesting theorem was discovered:
Theorem: Consider the solid bounded by the XY-plane, fixed elliptic cylinder x^2/a^2 + y^2/b^2 = 1, and the plane through the fixed point (0,0, c) c>0, with variable normal vector
where s and t are real parameters. Then the center of gravity G of the solid is given by G = ( -a^2*s/(4c), -b^2*t/(4c), (4c^2 + a^2*s^2 + b^2*t^2)/(8c) ). Furthermore, for changing s and t, the locus of G is an elliptic paraboloid, given by the equation z = (c/2) + 2c(x^2/a^2 +y^2/b^2).
The paper also describes how to use the Mathematica programming language to create an animation of the center of gravity G. When the animation is run, one can observe the point G traversing along an elliptic paraboloid, reinforcing our theorem.
Our second example investigates another, more general class of cylindrical solids. This time we will consider the solid bounded by the -plane, the fixed astroidal cylinder x^(2/n)/a^2 +y^(2/n)/b^2 = 1 where a and b are positive constants, n>1 is an odd integer, and the plane through the point (0, 0, c) where c is a positive constant, with variable normal vector
where s and t are real parameters. A third class of cylindrical solid one can consider is bounded by the XY-plane, the parabolic cylinder y^2 = 4a*x where a is a positive constant, the plane x = b where b is a constant, and the plane through the point (0, 0, c) where c is a positive constant, with variable normal vector where s and t are real parameters. In each case, Mathematica can be used to investigate the behavior of the center of gravity of the corresponding solid. Further details, and the theorems one can obtain, are omitted in this abstract.
 Anton, H. (1999). Calculus, Brief Edition. New York, NY: John Wiley & Sons.
 Bahder, T (1995). Mathematica for Scientists and Engineers. Redwood City, CA: Addison-Wesley.
 de Alwis, T. (1993). Mathematica and the Power Method. International Journal of Mathematics Education in Science and Technology, 24(6), 813-824.
 de Alwis, T. (1995). Projectile Motion with Arbitrary Resistance. College Mathematics Journal, 26(5), 361-367.
 de Alwis, T. (1995). Families of Plane Curves Bounding a Constant Area. Proceedings of the First Asian Technology Conference in Mathematics, Nanyang Technological University, Singapore.
 de Alwis, T. (1997). The Power of Animation in Visualizing Mathematics. Proceedings on the World Conference on Educational Multimedia and Hypermedia, Calgary, Canada.
 de Alwis, T. (1997). Families of Plane Curves with a Constant Arc Length. Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium,Rovaniemi Institute of Technology, Finland.
 de Alwis, T. (1998). Normal Lines Drawn to a Parabola and Geometric Constructions. Proceedings of the Third Asian Technology Conference in Mathematics, University of Tsukuba, Japan.
 de Alwis, T. (1999). Iterative Tangents of Third Degree Polynomials. Proceedings of the International Conference on M/SET 99, San Antonio, USA.
 de Alwis, T. (1999). Normal Lines Drawn to Ellipses and Elliptic Integrals. Proceedings of the Third International Mathematica Symposium, Research Institute of Symbolic Computation, Hagenburg, Austria.
 de Alwis, T. (1999). Ellipses, Normal Lines, and Related Locus Problems. Journal of Computing in Small Colleges, 15(1), 204-215.
 de Alwis, T. (2000). Weighted Averaging Games and Difference Equations. Mathematics and Computer Education Journal, 34(1), 24-34.
 Gray, T. and Glynn, J. (1991). Exploring Mathematics with Mathematica. Redwood City,CA: Addison Wesley.
 Larson, H., Hostetler, R., and Edwards, B. (1994). Calculus. Lexington, MA:D. C. Heath.
 Swokowski, E., Olinick, M., Pence D., and Cole, J. (1994). Calculus. Boston, MA: PWS Publishing Company.
 Wagon, S. (1991). Mathematica in Action. New York, NY: W. H. Freeman.
 Wolfram, S. (1996). Mathematica Book, 3rd ed. Cambridge, UK: Cambridge University Press.