標(biāo)題: Titlebook: Advances in the Design of Symbolic Computation Systems; Alfonso Miola,Marco Temperini Book 1997 Springer-Verlag/Wien 1997 Action.Natural.a [打印本頁] 作者: Braggart 時(shí)間: 2025-3-21 19:27
書目名稱Advances in the Design of Symbolic Computation Systems影響因子(影響力)
書目名稱Advances in the Design of Symbolic Computation Systems影響因子(影響力)學(xué)科排名
書目名稱Advances in the Design of Symbolic Computation Systems網(wǎng)絡(luò)公開度
書目名稱Advances in the Design of Symbolic Computation Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Advances in the Design of Symbolic Computation Systems被引頻次
書目名稱Advances in the Design of Symbolic Computation Systems被引頻次學(xué)科排名
書目名稱Advances in the Design of Symbolic Computation Systems年度引用
書目名稱Advances in the Design of Symbolic Computation Systems年度引用學(xué)科排名
書目名稱Advances in the Design of Symbolic Computation Systems讀者反饋
書目名稱Advances in the Design of Symbolic Computation Systems讀者反饋學(xué)科排名
作者: 使絕緣 時(shí)間: 2025-3-21 21:59 作者: 尾巴 時(shí)間: 2025-3-22 00:37 作者: 治愈 時(shí)間: 2025-3-22 07:41
,“Don’t Ever Ask For The True Story”,In 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.作者: ostensible 時(shí)間: 2025-3-22 09:52 作者: 透明 時(shí)間: 2025-3-22 15:40
Consciousness and Capacity-Building,Suppose one is interested in a procedure that computes for nonnegative integer input . the values .(.) and .(.) being defined as.and作者: 欺騙世家 時(shí)間: 2025-3-22 19:20 作者: GAVEL 時(shí)間: 2025-3-22 23:26 作者: EXULT 時(shí)間: 2025-3-23 04:56
Chi Wai Wu,Kwok Fai Geoffrey TsoA 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.作者: inculpate 時(shí)間: 2025-3-23 07:48
https://doi.org/10.1007/978-981-10-7007-5In 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.作者: SENT 時(shí)間: 2025-3-23 12:08
-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 時(shí)間: 2025-3-23 17:34 作者: 拱形面包 時(shí)間: 2025-3-23 18:58 作者: 臭了生氣 時(shí)間: 2025-3-23 23:56
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 時(shí)間: 2025-3-24 02:24
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 時(shí)間: 2025-3-24 08:39
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 時(shí)間: 2025-3-24 14:04
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.作者: 憲法沒有 時(shí)間: 2025-3-24 18:54
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.作者: 使尷尬 時(shí)間: 2025-3-24 21:59
https://doi.org/10.1007/978-3-7091-6531-7Action; Natural; algorithm; algorithms; classification; design; programming作者: 侵略 時(shí)間: 2025-3-25 01:46 作者: 表主動(dòng) 時(shí)間: 2025-3-25 06:14 作者: Pseudoephedrine 時(shí)間: 2025-3-25 11:29 作者: Axon895 時(shí)間: 2025-3-25 15:12 作者: Phagocytes 時(shí)間: 2025-3-25 19:28 作者: 記憶 時(shí)間: 2025-3-25 23:02 作者: echnic 時(shí)間: 2025-3-26 03:31 作者: Parameter 時(shí)間: 2025-3-26 07:25
Pui-Sze Chow,Chun-Hung Chiu,Ailie K. Y. Tang procedures to the needs and characteristics of the individual student. However, although some progress has been made, CAI is still a long way off from achieving this goal. In practice, with CAI systems the student has a passive role, being exposed to a fixed set of problems that have been stored to作者: LUDE 時(shí)間: 2025-3-26 09:03 作者: 驚呼 時(shí)間: 2025-3-26 13:46 作者: 清真寺 時(shí)間: 2025-3-26 17:53
On subtyping in languages for symbolic computation systems a large common software basis can be exploited as a library, in both developing algorithms and data structures, and enriching the library itself introducing new pieces of software. At present, the idea of constructing and maintaining libraries of mathematical software is being taken into considerat作者: oxidize 時(shí)間: 2025-3-26 23:18 作者: 割公牛膨脹 時(shí)間: 2025-3-27 01:15 作者: meditation 時(shí)間: 2025-3-27 09:17 作者: PURG 時(shí)間: 2025-3-27 12:03
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.作者: CRASS 時(shí)間: 2025-3-27 16:24
The uniform representation of mathematical objects by truncated power seriessymbolic and algebraic computation and automated deduction. But those different computing paradigms really work independently in such systems. Each of them represents an individual computing environment, while they are not integrated to support a uniform environment for computation. The problem of t作者: 反應(yīng) 時(shí)間: 2025-3-27 19:21 作者: Lumbar-Stenosis 時(shí)間: 2025-3-27 23:32
On the algebraic specification of classes and inheritance in object-oriented programmingencompasses different stages of the software design process such as analysis, design, and programming. The success of such a paradigm is achieved in the practical side of design of software systems since it allows for a better maintenance and enhances factors like reusability, extensibility, and com作者: 補(bǔ)充 時(shí)間: 2025-3-28 04:34 作者: 貨物 時(shí)間: 2025-3-28 08:24
A general reasoning apparatus for intelligent tutoring systems in mathematics procedures to the needs and characteristics of the individual student. However, although some progress has been made, CAI is still a long way off from achieving this goal. In practice, with CAI systems the student has a passive role, being exposed to a fixed set of problems that have been stored to作者: 噱頭 時(shí)間: 2025-3-28 12:22 作者: 不要不誠實(shí) 時(shí)間: 2025-3-28 15:47
0943-853X grating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-作者: Ondines-curse 時(shí)間: 2025-3-28 20:51
,“Don’t Ever Ask For The True Story”, them represents an individual computing environment, while they are not integrated to support a uniform environment for computation. The problem of the integration of numeric and symbolic computation is still open (Caviness 1986, Limongelli and Miola 1990, Mascari and Miola 1986).作者: Infant 時(shí)間: 2025-3-29 01:16
The uniform representation of mathematical objects by truncated power series them represents an individual computing environment, while they are not integrated to support a uniform environment for computation. The problem of the integration of numeric and symbolic computation is still open (Caviness 1986, Limongelli and Miola 1990, Mascari and Miola 1986).作者: 毗鄰 時(shí)間: 2025-3-29 03:15 作者: 舊式步槍 時(shí)間: 2025-3-29 07:21
Book 1997mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.作者: 彩色的蠟筆 時(shí)間: 2025-3-29 12:25 作者: tackle 時(shí)間: 2025-3-29 17:36
Pui-Sze Chow,Chun-Hung Chiu,Ailie K. Y. Tangh particular attention paid to the interaction between teacher and student. These researches led to the development of new educational systems, called intelligent computer aided instruction (ICAI) systems or intelligent tutoring systems (ITS), where artificial intelligence techniques are largely applied.作者: Permanent 時(shí)間: 2025-3-29 21:46
On the algebraic specification of classes and inheritance in object-oriented programmingphenomenon, the confusion which was originally ruling the area. In fact, the terminology is quite ambiguous and very often the same term refers to intrinsically distinguished concepts. Furthermore, a lack of foundations did not help in keeping techniques which are different, e.g., software reuse and functional specialization, separated.作者: 跳動(dòng) 時(shí)間: 2025-3-30 00:39
A general reasoning apparatus for intelligent tutoring systems in mathematicsh particular attention paid to the interaction between teacher and student. These researches led to the development of new educational systems, called intelligent computer aided instruction (ICAI) systems or intelligent tutoring systems (ITS), where artificial intelligence techniques are largely applied.作者: 難理解 時(shí)間: 2025-3-30 06:49 作者: 羅盤 時(shí)間: 2025-3-30 09:10 作者: colostrum 時(shí)間: 2025-3-30 16:23
https://doi.org/10.1007/978-981-13-0517-7riables range. Wang (1990) and Cioni and Miola (1990) pointed out these deficiencies. In this paper, we show how the object-oriented design methodology proposed by the TASSO project can be applied successfully to this case.作者: exorbitant 時(shí)間: 2025-3-30 17:18
9樓作者: Feigned 時(shí)間: 2025-3-30 22:46
10樓作者: ventilate 時(shí)間: 2025-3-31 01:19
10樓作者: sorbitol 時(shí)間: 2025-3-31 06:03
10樓作者: 密切關(guān)系 時(shí)間: 2025-3-31 11:26
10樓
