Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic. - Carla Limongelli; Roberto Pirastu (CONPAR, 1994)

Parallel Computation and Indefinite Summation: A MAPLE Application for the Rational Case. - Roberto Pirastu; Kurt Siegl (J. Symb. Comput., 1995)

Rational Summation and Gosper-Petkovsek Representation. - Roberto Pirastu; Volker Strehl (J. Symb. Comput., 1995)

p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. - Carla Limongelli; Roberto Pirastu (Comput. Artif. Intell., 1996)