SENT
发表于 2025-3-23 12:08:46
-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
发表于 2025-3-23 17:34:01
http://reply.papertrans.cn/16/1503/150239/150239_12.png
拱形面包
发表于 2025-3-23 18:58:25
http://reply.papertrans.cn/16/1503/150239/150239_13.png
臭了生气
发表于 2025-3-23 23:56:52
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
发表于 2025-3-24 02:24:08
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
发表于 2025-3-24 08:39:28
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
发表于 2025-3-24 14:04:20
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.
宪法没有
发表于 2025-3-24 18:54:12
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.
使尴尬
发表于 2025-3-24 21:59:12
https://doi.org/10.1007/978-3-7091-6531-7Action; Natural; algorithm; algorithms; classification; design; programming
侵略
发表于 2025-3-25 01:46:10
http://reply.papertrans.cn/16/1503/150239/150239_20.png