[1]
Limongelli, C. and Pirastu, R. 2012. p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals. COMPUTING AND INFORMATICS. 15, 1 (Mar. 2012), 35–62.