標(biāo)題: Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos John Fitch Conference proceedings 1993 Springer-Verlag Berl [打印本頁] 作者: Gullet 時(shí)間: 2025-3-21 17:00
書目名稱Design and Implementation of Symbolic Computation Systems影響因子(影響力)
書目名稱Design and Implementation of Symbolic Computation Systems影響因子(影響力)學(xué)科排名
書目名稱Design and Implementation of Symbolic Computation Systems網(wǎng)絡(luò)公開度
書目名稱Design and Implementation of Symbolic Computation Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design and Implementation of Symbolic Computation Systems被引頻次
書目名稱Design and Implementation of Symbolic Computation Systems被引頻次學(xué)科排名
書目名稱Design and Implementation of Symbolic Computation Systems年度引用
書目名稱Design and Implementation of Symbolic Computation Systems年度引用學(xué)科排名
書目名稱Design and Implementation of Symbolic Computation Systems讀者反饋
書目名稱Design and Implementation of Symbolic Computation Systems讀者反饋學(xué)科排名
作者: 放逐某人 時(shí)間: 2025-3-21 23:21 作者: 階層 時(shí)間: 2025-3-22 01:49
Entwicklungsgeschichte und Fortpflanzungutine makes it possible to mix compiled and interpreted functions. Run time measurements of special algebraic expressions and standard bases computations demonstrate the advantage of the chosen data representation and the difference between compilation and interpretation.作者: 針葉 時(shí)間: 2025-3-22 05:19
Stoffwechsel organischer Verbindungenuctures to be manipulated. From the formal characterization of indexed objects and of sums and series, we produce the specification of the abstract data types necessary for a correct manipulation of these symbolic objects in CLOS object-oriented environment.作者: aptitude 時(shí)間: 2025-3-22 11:16
0302-9743 ted to design and implementationissues of computer algebra, there were several softwaredemonstrations and an opportunity for system designers tocompare systems.This volume presents the proceedings of the conference. Itcontains 18 papers on a variety of design andimplementationissues. One general the作者: 豐滿中國(guó) 時(shí)間: 2025-3-22 12:57
Lothar Geitler,Elisabeth Tschermak-Woess on an object is duplicated on the object‘s initial property. The so computed property can then be tested against the primary queried property. To demonstrate that this concept in realisable we implemented it in Maple.作者: 豐滿中國(guó) 時(shí)間: 2025-3-22 18:22 作者: 尊嚴(yán) 時(shí)間: 2025-3-23 00:59 作者: 撫慰 時(shí)間: 2025-3-23 03:07
Systematik und Phylogenie der Algenmination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern hardware.作者: Rebate 時(shí)間: 2025-3-23 06:04
Sublichtmikroskopische Morphologieeen created that provides for the automatic construction of such recurrent relations. This method and main ways of its use in the algorithms of cycle optimisation, in the computer algebra systems and in algorithms of automatic parallel programs construction are explained. Many examples and programs are given.作者: spinal-stenosis 時(shí)間: 2025-3-23 13:22
,LILK — Static analysis of REDUCE code,plying inferencing techniques to add type information to the current source code in a relatively painless way. I present here a preliminary report on this work, showing that the complexly related type scheme of an algebra system is particularly suitable for this.作者: Interlocking 時(shí)間: 2025-3-23 14:12 作者: Dissonance 時(shí)間: 2025-3-23 21:02
Recurrent relations and speed-up of computations using computer algebra systems,een created that provides for the automatic construction of such recurrent relations. This method and main ways of its use in the algorithms of cycle optimisation, in the computer algebra systems and in algorithms of automatic parallel programs construction are explained. Many examples and programs are given.作者: harmony 時(shí)間: 2025-3-24 01:19 作者: 樹木中 時(shí)間: 2025-3-24 04:49 作者: Amorous 時(shí)間: 2025-3-24 09:27 作者: Vldl379 時(shí)間: 2025-3-24 12:07 作者: 生存環(huán)境 時(shí)間: 2025-3-24 16:16 作者: flourish 時(shí)間: 2025-3-24 22:45
Procedures and Program Structurerimental computer algebra system called Kaava. It demonstrates a data-driven structure editing style that partially accommodates the user‘s view of formulas as two-dimensional arrangements of symbols on the page.作者: 女上癮 時(shí)間: 2025-3-25 02:54
Procedures and Program Structurerove” equalities like ?1=1 in such systems. In fact, only a little elementary arithmetic is needed to devise what the correct simplifications should be. We detail some of these simplification rules, and outline a method for their incorporation into an algebra system.作者: cognizant 時(shí)間: 2025-3-25 03:18 作者: 粘連 時(shí)間: 2025-3-25 08:31
Comprehensive crisis managementd conceptual problems. Unfortunately, large bodies of old code exist which were written for untyped or dynamically typed systems, which leave such problems to be detected during execution, often much later and only in response to peculiar or unusual input. A typical example of this syndrome is the c作者: 狗窩 時(shí)間: 2025-3-25 13:55 作者: 搜尋 時(shí)間: 2025-3-25 19:40 作者: sed-rate 時(shí)間: 2025-3-25 23:00 作者: febrile 時(shí)間: 2025-3-26 01:56 作者: 傻瓜 時(shí)間: 2025-3-26 07:48
Lothar Geitler,Elisabeth Tschermak-Woess program of the kind “if object has a certain property then ... else ...”. The approach is based on the key idea that first the calculations performed on an object is duplicated on the object‘s initial property. The so computed property can then be tested against the primary queried property. To dem作者: 步兵 時(shí)間: 2025-3-26 10:25
Systematik und Phylogenie der Algen matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module作者: fodlder 時(shí)間: 2025-3-26 14:29 作者: 放牧 時(shí)間: 2025-3-26 18:22
Lothar Geitler,Elisabeth Tschermak-Woessis therefore worthwhile to follow this approach in realizing a programming environment which integrates the capability of defining mathematical objects, which can be directly implemented, with that of automatically verifying their properties. From the user point of view, such a system presents sever作者: CLAM 時(shí)間: 2025-3-26 21:30 作者: 旁觀者 時(shí)間: 2025-3-27 03:09 作者: engagement 時(shí)間: 2025-3-27 06:40
Entwicklungsgeschichte und Fortpflanzungntation efficiency depending on the application with up to 60% (measured on the Sun 3/260) against the FORTRAN based implementation. The compilation time and the size of the generated code are improved too.作者: 社團(tuán) 時(shí)間: 2025-3-27 10:56 作者: 藐視 時(shí)間: 2025-3-27 15:44
Stoffwechsel organischer Verbindungens and functions, appearing in sums and series. We experimented how an integrated design environment, that provides executable object-oriented specifications for axiomatizable mathematical structures, allows to derive a computational system directly from the underlying algebraic properties of the str作者: 動(dòng)作謎 時(shí)間: 2025-3-27 21:46 作者: Vasodilation 時(shí)間: 2025-3-28 01:11 作者: 褲子 時(shí)間: 2025-3-28 02:18
Procedures and Program Structurerove” equalities like ?1=1 in such systems. In fact, only a little elementary arithmetic is needed to devise what the correct simplifications should be. We detail some of these simplification rules, and outline a method for their incorporation into an algebra system.作者: 走路左晃右晃 時(shí)間: 2025-3-28 07:01
Fortran, P. L./1 and the Algolsit into is not a machine word. These algorithms provide the key tools for the efficient implementation of polynomial resultant gcd and factorization computation over ., without having to write large amounts of code in a systems implementation language.作者: galley 時(shí)間: 2025-3-28 14:28
Comprehensive crisis management reasonably small and portable. Its modular construction is designed to allow easy development of further algorithms and extensions to the library. We plan now to incorporate the extensible graphic user interface developed in our SAFIR project by N. Kajler [Kaj90, Kaj91], this will make the system more accessible for other research groups.作者: stressors 時(shí)間: 2025-3-28 15:21 作者: Aggregate 時(shí)間: 2025-3-28 21:44
https://doi.org/10.1007/3-540-57272-4Algebraic Manipulation; Constructive Mathematics; Geometric Modelling; Geometrisches Modellieren; Symbol作者: 方便 時(shí)間: 2025-3-29 01:15 作者: delta-waves 時(shí)間: 2025-3-29 07:07
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/268571.jpg作者: reject 時(shí)間: 2025-3-29 09:26
Template-based formula editing in Kaava,rimental computer algebra system called Kaava. It demonstrates a data-driven structure editing style that partially accommodates the user‘s view of formulas as two-dimensional arrangements of symbols on the page.作者: 搖擺 時(shí)間: 2025-3-29 13:02 作者: Microaneurysm 時(shí)間: 2025-3-29 15:49
In-place arithmetic for polynomials over Zn,it into is not a machine word. These algorithms provide the key tools for the efficient implementation of polynomial resultant gcd and factorization computation over ., without having to write large amounts of code in a systems implementation language.作者: Minuet 時(shí)間: 2025-3-29 20:04 作者: BROW 時(shí)間: 2025-3-30 03:41 作者: 使無效 時(shí)間: 2025-3-30 05:53
: An object-oriented symbolic core system,sion. In an object-oriented system this is implemented much cleaner as a virtual method. The pattern matcher and unifier is also implemented in this way. This leads to a transparent design, completely different from traditional systems. It is a strong point-in-case for object-oriented design methodo作者: Frequency 時(shí)間: 2025-3-30 09:10 作者: HEAVY 時(shí)間: 2025-3-30 12:52
Building a Computer Algebra environment by composition of collaborative tools,ponents should be able to exchange data and freely cooperate with each other, without being too tightly coupled as in a monolithic system. A prototype of such an environment is currently under development in the framework of the SAFIR project. It will be built using an implementation of the software作者: Incisor 時(shí)間: 2025-3-30 17:33
A uniform approach to deduction and automatic implementation,l entity: formal definitions become in this way tools for rapid prototyping..On this basis, we developed MEMO (Manipulating Executable Mathematical Objects), a system which integrates the capability of automatically deriving Prolog code from algebraic specifications with that of proving their proper作者: Myosin 時(shí)間: 2025-3-30 23:14 作者: 斗爭(zhēng) 時(shí)間: 2025-3-31 02:31
Comprehensive crisis managementsion. In an object-oriented system this is implemented much cleaner as a virtual method. The pattern matcher and unifier is also implemented in this way. This leads to a transparent design, completely different from traditional systems. It is a strong point-in-case for object-oriented design methodo作者: 膠水 時(shí)間: 2025-3-31 06:26
A. Pletscher,K. F. Gey,P. Zellerield of symbolic and algebraic computation, can be directly combined and evaluated. Such schemas include data types, domains, properties, intervals and parallel execution of algorithms. Furthermore new characteristics like multi-level metaclassing, declarations and uniform manipulation of objects ar作者: 起草 時(shí)間: 2025-3-31 13:12
Systematik und Evolution der Samenpflanzenponents should be able to exchange data and freely cooperate with each other, without being too tightly coupled as in a monolithic system. A prototype of such an environment is currently under development in the framework of the SAFIR project. It will be built using an implementation of the software作者: Digitalis 時(shí)間: 2025-3-31 16:32
Lothar Geitler,Elisabeth Tschermak-Woessl entity: formal definitions become in this way tools for rapid prototyping..On this basis, we developed MEMO (Manipulating Executable Mathematical Objects), a system which integrates the capability of automatically deriving Prolog code from algebraic specifications with that of proving their proper作者: indicate 時(shí)間: 2025-3-31 21:05 作者: 樂器演奏者 時(shí)間: 2025-4-1 01:11 作者: sundowning 時(shí)間: 2025-4-1 01:57
Design and Implementation of Symbolic Computation SystemsInternational Sympos作者: 我不重要 時(shí)間: 2025-4-1 09:17
Template-based formula editing in Kaava,rimental computer algebra system called Kaava. It demonstrates a data-driven structure editing style that partially accommodates the user‘s view of formulas as two-dimensional arrangements of symbols on the page.作者: generic 時(shí)間: 2025-4-1 12:23
Algebraic simplification of multiple-valued functions,rove” equalities like ?1=1 in such systems. In fact, only a little elementary arithmetic is needed to devise what the correct simplifications should be. We detail some of these simplification rules, and outline a method for their incorporation into an algebra system.
