| 1995 |
|---|
| 11 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
J. Symb. Comput. 19(1-3): 175-199 (1995) |
| 1993 |
|---|
| 10 | | Alfonso Miola:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings
Springer 1993 |
| 1992 |
|---|
| 9 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Desk-Top Sequent Calculus Machine.
AISMC 1992: 224-236 |
| 1991 |
|---|
| 8 | | Alfonso Miola:
Symbolic Computation and Artificial Intelligence.
FAIR 1991: 244-255 |
| 7 | | Carla Limongelli,
Alfonso Miola,
Marco Temperini:
Design and Implementation of Symbolic Computation Systems.
Programming Environments for High-Level Scientific Problem Solving 1991: 217-227 |
| 1990 |
|---|
| 6 | | Alfonso Miola:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings
Springer 1990 |
| 1988 |
|---|
| 5 | | Alfonso Miola,
Teo Mora:
Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods.
J. Symb. Comput. 6(2/3): 305-322 (1988) |
| 1986 |
|---|
| 4 | | Gianfranco Mascari,
Alfonso Miola:
On the Integration of Numeric and Algebraic Computations.
AAECC 1986: 77-87 |
| 1985 |
|---|
| 3 | | M. Arcieri,
Alfonso Miola,
F. Panasiti:
A Package of Tools for Manipulation of Sums and Series.
European Conference on Computer Algebra (2) 1985: 603-604 |
| 1984 |
|---|
| 2 | | Alfonso Miola:
Algebraic Approach to p-adic Conversion of Rational Numbers.
Inf. Process. Lett. 18(3): 167-171 (1984) |
| 1982 |
|---|
| 1 | | Luciana Bordoni,
Attilio Colagrossi,
Alfonso Miola:
Linear Algebraic Approach for Computing Polynomial Resultant.
EUROCAM 1982: 231-236 |
