Alfonso Miola - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2012

1995

A Sequent Calculus for Automated Reasoning in Symbolic Computation SystemsGianna Cioni, Attilio Colagrossi, Alfonso Miola. JSC, 19(1-3):175-199, 1995.

1992

A Desk-Top Sequent Calculus MachineGianna Cioni, Attilio Colagrossi, Alfonso Miola. AISC 1993: 224-236

1991

Design and Implementation of Symbolic Computation SystemsCarla Limongelli, Alfonso Miola, Marco Temperini. ifip2-5 1992: 217-227

Symbolic Computation and Artificial IntelligenceAlfonso Miola. fair 1991: 244-255

1988

Report on previous activities at AAECCAlfonso Miola. cca, 22(1):32-43, 1988. [doi]

Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel MethodsAlfonso Miola, Teo Mora. JSC, 6(2/3):305-322, 1988.

1987

A normalization algorithm for truncated p-adic arithmeticAttilio Colagrossi, Alfonso Miola. arith 1987: 212-216 [doi]

Symbolic and algebraic computation research in ItalyPatrizia M. Gianni, Alfonso Miola, Teo Mora. cca, 21(2):8-15, 1987. [doi]

1986

On the Integration of Numeric and Algebraic ComputationsGianfranco Mascari, Alfonso Miola. AAECC 1988: 77-87

1985

A Package of Tools for Manipulation of Sums and SeriesM. Arcieri, Alfonso Miola, F. Panasiti. eurocal 1985: 603-604

Complexity issues in algebraic algorithms: relevant topics for mathematical educationAlfonso Miola. cca, 18-19(4-1):26-30, 1985. [doi]

1984

Algebraic Approach to p-adic Conversion of Rational NumbersAlfonso Miola. ipl, 18(3):167-171, 1984.

1983

Computing real zeros of polynomials with parametric coefficientsAttilio Colagrossi, Alfonso Miola. cca, 17(1):12-15, 1983. [doi]

A unified view of approximate rational arithmetic and rational interpolationAlfonso Miola. arith 1983: 210-220 [doi]

1982

Linear Algebraic Approach for Computing Polynomial ResultantLuciana Bordoni, Attilio Colagrossi, Alfonso Miola. eurocal 1982: 231-236

The conversion of Hensel codes to their rational equivalents: or how to solve the Gregory's open problemAlfonso Miola. cca, 16(4):24-26, 1982. [doi]

1976

Using minicomputers for algebraic computationsGianna Cioni, Alfonso Miola. cca, 10(4):50-52, 1976. [doi]

1974

The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin methodAlfonso Miola. cca, 8(3):103-104, 1974. [doi]

Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithmsAlfonso Miola, David Y. Y. Yun. cca, 8(3):46-54, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL