Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos John Fitch Conference proceedings 1993 Springer-Verlag Berl

Frequency

HEAVY

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

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

斗爭(zhēng)

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

膠水

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

起草

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

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

樂(lè)器演奏者