Advances in the design of symbolic computation systems (Q1355985)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Buchberger, B.}, Mathematica: Doing mathematics by computer?, 2-20 [Zbl 0884.68059] \textit{Miola, A.}, An overview of the TASSO project, 21-29 [Zbl 0884.68060] \textit{Limongelli, C.; Temperini, M.}, The uniform representation of mathematical objects by truncated power series, 32-52 [Zbl 0884.68061] \textit{Colagrossi, A.; Limongelli, C.; Miola, A.}, \(p\)-adic arithmetic: A tool for error-free computations, 53-67 [Zbl 0884.68062] \textit{Limongelli, C.}, Exact solution of computational problems via parallel truncated \(p\)-adic arithmetic, 68-83 [Zbl 0884.68063] \textit{Paule, P.; Nemes, I.}, A canonical form guide to symbolic summation, 84-110 [Zbl 0884.68064] \textit{Caprotti, O.}, Indexes in sums and series: From formal definition to object-oriented implementation, 111-123 [Zbl 0889.68082] \textit{Antoy, S.; Forcheri, P.; Gannon, J.; Molfino, M. T.}, Equational specifications: Design, implementation, and reasoning, 126-144 [Zbl 0884.68083] \textit{Parisi-Presicce, F.; Pierantonio, A.}, On the algebraic specification of classes and inheritance in object-oriented programming, 145-163 [Zbl 0884.68084] \textit{Di Blasio, P.; Temperini, M.}, On subtyping in languages for symbolic computation systems, 164-178 [Zbl 0884.68065] \textit{Di Blasio, P.; Temperini, M.; Terlizzi, P.}, Enhanced strict inheritance in TASSO-L, 179-195 [Zbl 0884.68085] \textit{Cioni, G.; Colagrossi, A.; Miola, A.}, Deduction and abduction using a sequent calculus, 198-216 [Zbl 0884.68112] \textit{Bertoli, P.; Cioni, G.; Colagrossi, A.; Terlizzi, P.}, A sequent calculus machine for symbolic computation systems, 217-229 [Zbl 0889.68137] \textit{Cioni, G.; Patrizi, G.; Temperini, M.}, Automated deduction by connection method in an object-oriented environment, 230-244 [Zbl 0884.68113] \textit{Colagrossi, A.; Micarelli, A.}, A general reasoning apparatus for intelligent tutoring systems in mathematics, 245-256 [Zbl 0884.68130]