This work describes the creation of a university computing cluster and its integration with the SURAgrid. The project involved acquiring and installing a cluster and adding softwa...
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
We give a bivariate analog of the Micchelli-Rivlin quadrature for computing the integral of a function over the unit disk using its Radon projections. AMS subject classification:...