p-adic arithmetic: a tool for error-free computations

  • A. Colagrossi
  • C. Limongelli
  • A. Miola
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


In this paper we propose the use of the p-adic arithmetic as a basic computational tool for a symbolic computation system in the framework of the TASSO project. This arithmetic has been chosen for two main reasons.


Rational Number Arithmetic Operation Operational Behavior Division Operation Code Result 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Colagrossi, A., Miola, A. (1987): A normalization algorithm for truncated p-adic arithmetic. In: Irwin, H. J., Stefanelli, R. (eds.): Proceedings of 8th IEEE Symposium on Computation Arithmetic, May 19–21 1987, Villa Olmo, Como, Italy, pp. 212–216.CrossRefGoogle Scholar
  2. Dittenberger, K. (1987): An efficient method for exact numerical computation. Diploma thesis, Johannes Kepler University, Linz, Austria.Google Scholar
  3. Gregory, R., Krishnamurthy, E. (1984): Methods and applications of error-free computation. Springer, New York Berlin Heidelberg.zbMATHCrossRefGoogle Scholar
  4. Knuth, D. E. (1981): The art of computer programming, vol. 2, seminumerical algorithms, 2nd edn. Addison-Wesley, Reading, MA.zbMATHGoogle Scholar
  5. Koblitz, N. (1977): p-adic numbers,p-adic analysis and Zeta functions. Springer, New York Berlin Heidelberg (Graduate texts in mathematics, vol. 58).CrossRefGoogle Scholar
  6. Limongelli, C. (1993a): The integration of symbolic and numeric computation by p-adic construction methods. Ph.D. thesis, University of Rome “La Sapienza”, Rome, Italy.Google Scholar
  7. Limongelli, C. (1993b): On an efficient algorithm for big rational number computations by parallel p-adics. J. Symb. Comput. 15: 181–197.MathSciNetzbMATHCrossRefGoogle Scholar
  8. Limongelli, C. (1997): Exact solution of computational problems via parallel p-adic arithmetic. In: Miola, A., Temperini, M. (eds.): Advances in the design of symbolic computation systems. Springer, Wien New York, pp. 68–83 (this volume).CrossRefGoogle Scholar
  9. Limongelli, C., Temperini, M. (1997): The uniform representation of mathematical objects by truncated power series. In: Miola, A., Temperini, M. (eds.): Advances in the design of symbolic computation systems. Springer, Wien New York, pp. 32–52 (this volume).CrossRefGoogle Scholar
  10. Miola, A. (1984): Algebraic approach to p-adic conversion of rational numbers. Inf. Process. Lett. 18: 167–171.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Wien 1997

Authors and Affiliations

  • A. Colagrossi
  • C. Limongelli
  • A. Miola

There are no affiliations available

Personalised recommendations