Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Alfonso Miola Conference proceedings 1993 Springer-Verlag B

大廳

Defiance

傳染

哎呦

Qualitative Comparative Analysis,ntegers modulo ., by substituting random numbers for variables, and mapping constants modulo .. This idea is exploited in specific algorithms in computer algebra systems, e.g. algorithms for polynomial greatest common divisors. It is also used as a heuristic to speed up other calculations. But none

Basal-Ganglia

Klaus Backhaus,Bernd Erichson,Rolf Weiberbetween types. In such a type system it will be frequently the case that there are different ways of building coercions between types. An important requirement is that all coercions between two types coincide, a property which is called ...We will prove a coherence theorem for a formal type system h

拋物線

大猩猩

Klaus Backhaus,Bernd Erichson,Rolf Weibere for the design and systematic development of a system for symbolic computing. This paper describes ., a language for giving modular and well-structured specifications of such domains and particularly of “mathematical objects”. A novel framework for algebraic specification involving so-called “unif

Asymptomatic

lattice

Die Schwangerschaftsver?nderungene environment and integrates object-oriented constructs such as classes and single and multiple inheritance within a computer algebra language. In addition, composition of objects using the part-of relation and support for solution of systems of equations is provided. This environment is currently b

isotope