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

变化

Pessary

Experiments with quadtree representation of matrices,matrix are zero, then the matrix is represented by an empty tree; otherwise it is represented by a tree consisting of four subtrees, each representing, recursively, a quadrant of the matrix. Using four-way block decomposition, algorithms on quadtrees accelerate on blocks entirely of zeroes, and ther

Cognizance

Discovering inequality conditions in the analytical solution of optimization problems,f the artificial variables known as Lagrange multipliers can be eliminated. This paper describes an automated reasoning program that assists in the solution process. The program may also be useful for other problems involving algebraic reasoning with inequalities.

prediabetes

Solving systems of algebraic equations,roposed by the authors for the case where the ideal is zero-dimensional and radical seems to have practical efficiency. We present a new method for solving systems which are not necessarily radical. The set of all solutions is partitioned into subsets each of which consists of mutually conjugate sol

暂时过来

An ordinary differential equation solver for REDUCE,vailable methods for obtaining closed-form solutions, and to aim at the ‘best possible’ alternative when this fails. It is hoped that this will become a part of the standard REDUCE program library. Elementary capabilities have already been implemented (to the level of a first course for students), i

NAUT

A fixed point method for power series computation,evaluation, many operations can be written as simple recursive procedures. For example, the programs to generate the series for the elementary transcendental functions are almost transliterations of the defining integral equations. However, a naive lazy algorithm provides an implementation which may

Mosaic

Generic programming,tioning algorithm such as is used in the quicksort algorithm. It is argued that generically programmed software component libraries offer important advantages for achieving software productivity and reliability.

公司

勋章

Experiments with quadtree representation of matrices,tion, and inversion of dense, triangular, tridiagonal, and diagonal matrices (both symbolic and numeric) of sizes up to 100×100 show that the quadtree algorithms perform well in a broad range of circumstances, sometimes running orders of magnitude faster than their sequential counterparts.

incontinence

An ordinary differential equation solver for REDUCE,khamer‘s [1] MACSYMA program based on the results of Prelle and Singer [2]; for higher-order linear equations, factorisation of the operator where possible, and use of methods following results of Singer [3,4] and others; and for non-linear equations, the exploitation of Lie symmetries.