Advances in the design of symbolic computation systems
type: Item
instance of: scholarly article
title: Advances in the design of symbolic computation systems
zbMATH Open document ID: 0864.00041
DOI: 10.1007/978-3-7091-6531-7
published in: Texts \& Monographs in Symbolic Computation
publication date: 1997-06-02T00:00:00Z
review text: 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 …
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 1016325
zbMATH Keywords: Symbolic computation systems
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-7091-6531-7
OpenAlex ID: W305974178
Recommended article: Q4026762
Recommended article: Q4673688
Recommended article: Towards specifying symbolic computation
Recommended article: Q4762607
Recommended article: Symbolic computation using L-systems
Recommended article: Symbolic computing
description: scientific article; zbMATH DE number 1016325