Titlebook: Advances in the Design of Symbolic Computation Systems; Alfonso Miola,Marco Temperini Book 1997 Springer-Verlag/Wien 1997 Action.Natural.a

SENT

-adic arithmetic: a tool for error-free computationsIn this paper we propose the use of the .-adic arithmetic as a basic computational tool for a symbolic computation system in the framework of the TASSO project. This arithmetic has been chosen for two main reasons.

OUTRE

拱形面包

臭了生气

Equational specifications: design, implementation, and reasoningSets of equations specify software systems either by describing the result of a computation or by characterizing some properties of the result. Suppose that the problem at hand is that of sorting a sequence of elements.

limber

Enhanced strict inheritance in TASSO-LIn this paper we present the . mechanism and the related features of TASSOL language. TASSO-L is the strongly typed object-oriented language embedded into TASSO environment (Miola 1997). It is devised to support the development of .-based object-oriented programs.

tinnitus

Deduction and abduction using a sequent calculusA sequent calculus for automated reasoning is a particular sequent calculus that constitutes a single uniform method to perform different types of logical inferences in first order theories.

unstable-angina

Automated deduction by connection method in an object-oriented environmentIn this paper issues of a logic deduction tool to be integrated in an object-oriented programming (OOP) environment for the manipulation of mathematical objects are presented.

宪法没有

An overview of the TASSO projectyears. These systems have supported the mathematical problem solving in several application areas of sciences and engineering with significant achievements (Buchberger et al. 1983; Pavelle 1985; Caviness 1986; Davenport et al. 1988; Miola 1990a, b, 1993b, a.

使尴尬

https://doi.org/10.1007/978-3-7091-6531-7Action; Natural; algorithm; algorithms; classification; design; programming

侵略