变化 发表于 2025-3-30 10:32:29
http://reply.papertrans.cn/89/8839/883840/883840_51.pngPessary 发表于 2025-3-30 13:30:58
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 therCognizance 发表于 2025-3-30 17:55:32
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 发表于 2025-3-30 22:45:29
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暂时过来 发表于 2025-3-31 04:16:50
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), iNAUT 发表于 2025-3-31 06:44:45
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 mayMosaic 发表于 2025-3-31 10:44:23
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.公司 发表于 2025-3-31 16:09:54
http://reply.papertrans.cn/89/8839/883840/883840_58.png勋章 发表于 2025-3-31 17:47:37
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 发表于 2025-3-31 22:15:47
An ordinary differential equation solver for REDUCE,khamer‘s MACSYMA program based on the results of Prelle and Singer ; for higher-order linear equations, factorisation of the operator where possible, and use of methods following results of Singer and others; and for non-linear equations, the exploitation of Lie symmetries.