Titlebook: Symbolic and Algebraic Computation; International Sympos P. Gianni Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Autom

扩张

Teo Morahematician, Antonio Campillo.Papers are grouped into five ca.This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra. The motivation for this collection comes from the w

评论性

0302-9743 nterest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken p

争议的苹果

obligation

Dynamic maintenance of paths and path expressions on graphs,gful to analyze the cost of the whole sequence of operations. In this paper we first discuss some results on maintaining paths in dynamic graphs. Besides, we consider paths problems on dynamic labeled graphs and we show how to maintain path expressions in the acyclic case when insertions of new arcs are allowed.

MARS

The use of symbolic computation in solving some non-relativistic quantum mechanical problems, of Waterloo. Emphasize is given on the possibility to manipulate expressions symbolically, to perform rapidly tedious operations as well as to work in rational arithmetic. Another important feature will consist in the interface of MAPLE and FORTRAN.

synovitis

琐事

放肆的我

From a noncomputability result to new interesting definitions and computability results,ogical space is simply connected; this is an easy consequence of the undecidability of the word problem. On the other hand most of the important results in algebraic topology assume that the spaces under consideration are simply connected! So that one can ask for algorithms that use some method or o

senile-dementia

过分

An application of reduce to the approximation of F(X,Y),te its singularities. This paper generalizes this process to the multivariate case and presents two applications of this method: the approximation of implicit curves and the approximation of double power series. Computations absolutely need to be carried out on a computer algebra system.