| 1996 | |
| [2] | P-adic arithmetic and parallel symbolic computation: An implementation for solving linear systems over rationals (), In Computers and Artificial Intelligence, volume 15, 1996. |
| 1994 | |
| [1] | Exact solution of linear systems over rational numbers by parallel p-adic arithmetic (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 854 LNCS, 1994. |