Publications of A. Miola

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Miola A., in the category ALL (or show them all):   (Items found: 30)


1997 | 1996 | 1995 | 1992 | 1991 | 1990 | 1989 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979

1997  [top]
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1997

1996  [top]
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996

1995  [top]
  • Cioni G., Colagrossi A., Miola A.: A Sequent Calculus for Automated Reasoning in Symbolic Computation, Journal of Symbolic Computation, 175-199, 1995

1992  [top]
  • Carlucci Aiello L., Colagrossi A., Micarelli A., Miola A.: Education in Mathematics: An Artificial Intelligence Approach, in the Proceedings of IInd International Symposium on Artificial Intelligence and Mathematics, 1992
  • Limongelli C., Miola A., Temperini M.: Design and Implementation of Symbolic Computation Systems, in the Proceedings of Programming Environments for High-Level Scientific Problem Solving, Gaffney P.W., Houstis E.N. eds., North Holland, 217-226, 1992

1991  [top]
  • Cioni G., Miola A.: Specification and programming Methodologies for Axiomatizable Objects Manipulation: TASSO Project, in the Proceedings of Computer Algebra and Physical Research, Shirkov D.V., Rostovtsev V.A., Gerdt V.P. eds., World Scientific, 9-18, 1991

1990  [top]
  • Colagrossi A., Limongelli C., Miola A.: Scientific Computation by Error Free Arithmetic, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 27-35, 1990

1989  [top]
  • Miola A., Mora T.: Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods, Journal of Symbolic Computation 6 (2/3), 1989

1987  [top]
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987

1986  [top]
  • Cioni G., Miola A.: How to treat decision problems using different programming methodologies., IASI-CNR, R. 155, 05/1986
  • Mascari G., Miola A.: On the integration of numeric and symbolic computations, in the Proceedings of AAECC-4 Conference, Lecture Notes in Computer Science, 307, Springer-Verlag Karlsruhe, 1986
  • Miola A., Mora T.: Constructive lifting in graded structures: a unified view of Grobner and Hensel methods., IASI-CNR, R. 161, 06/1986

1985  [top]
  • Arcieri M., Miola A., Panasiti F.: A package of tools for manipulation of sums and series, in the Proceedings of EUROCAL 85, Buchberger B. ed., Lecture Notes in Computer Science, 203, Springer-Verlag, 1985
  • Cioni G., Miola A.: How to treat decisions problems using different programming methodologies, in the Proceedings of Mathematical Problems in Computation Theory, 1985

1984  [top]
  • Miola A.: An interactive system for manipulation of sums and series, in the Proceedings of International Conference in Artificial Intelligence, 1984
  • Miola A.: Complexity issues in algebraic algorithms, in the Proceedings of Mathematical Education, 1984
  • Miola A.: Mathematics and computer science - A case study: algebraic algorithms, Rivista Serdica 10, 216-222, 1984
  • Miola A.: Algebraic approach to p-adic conversion of rational numbers, Information Processing Letters 18, 167-171, 1984

1983  [top]
  • Mascari G., Miola A.: Computations on numerical and symbolic expressions: a semantic analysis., IASI-CNR, R. 65, 09/1983
  • Miola A.: Algebraic approach to P-adic conversion of rational numbers., IASI-CNR, R. 56, 02/1983
  • Miola A.: Design specifications for manipulation of sums and series., IASI-CNR, R. 66, 09/1983

1982  [top]
  • Bordoni L., Colagrossi A., Miola A.: Linear algebraic approach for computing polynomial resultant, in the Proceedings of Computer Algebra, Calmet J. ed., Lecture Notes in Computer Science, 144, Springer-Verlag, 1982
  • Miola A.: A unified view of approximate rational arithmetics and rational interpolation, in the Proceedings of 6-th Symposium on Computer Arithmetic, 1982
  • Miola A.: A unified view of approximate rational arithmetics and rational interpolation., IASI-CNR, R. 49, 12/1982

1981  [top]
  • Bordoni L., Colagrossi A., Miola A.: An improved linear algebraic method for computing polynomial resultants., IASI-CNR, R. 10, 05/1981
  • Bordoni L., Colagrossi A., Miola A.: Towards a unified method for computing polynomial resultants and polynomial remainder sequences., IASI-CNR, R. 11, 05/1981
  • Cioni G., Miola A., Truffi A.: Moving software systems to a minicomputer, in the Proceedings of Computing Environment for Mathematical Software, 1981
  • Colagrossi A., Miola A.: A generalization of Sturm's method for computing real zeros of polynomials with parametric coefficients., IASI-CNR, R. 26, 12/1981

1980  [top]
  • Miola A.: Towards an on-line integration of numerical and non-numerical computations, in the Proceedings of CNRS II-eme Colloque Algorithmique, 1980

1979  [top]
  • Miola A.: Symbolic and Algebraic Manipulation today: Systems, algorithms, applications, in the Proceedings of Programming '79, 1979
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -