易于 发表于 2025-3-30 11:15:48
Algebraic Simplification,sions, radical expressions and transcendental expressions are treated (Sections 3–7). As examples for completion algorithms the Knuth-Bendix algorithm for rewrite rules and an algorithm for completing bases of polynomial ideals are described (Sections 8–11).Meander 发表于 2025-3-30 14:28:56
Miguel A. Aon,Valdur Saks,Uwe Schlattnerr introducing Zassenhaus’ quadratic lifting construction, again, the case of Z and .[..,…,..]is considered. For both techniques, Chinese remaindering as well as the lifting algorithms, a complete computational example is presented and the most frequent applications are discussed.兵团 发表于 2025-3-30 17:04:59
http://reply.papertrans.cn/24/2334/233389/233389_53.pngheartburn 发表于 2025-3-30 23:19:56
Algebraic Simplification,formally stated and some elementary facts are derived that explain the fundamental role of simplification in Computer algebra. In the subsequent sections two major groups of simplification techniques are presented: special techniques for simplifying terms over numerical domains and completion algori放牧 发表于 2025-3-31 01:28:30
http://reply.papertrans.cn/24/2334/233389/233389_55.pngureter 发表于 2025-3-31 05:31:10
http://reply.papertrans.cn/24/2334/233389/233389_56.png群岛 发表于 2025-3-31 12:33:53
Real Zeros of Polynomials,oints, each containing exactly one real zero of . and together containing all real zeros of .. We describe an algorithm due to Kronecker based on the minimum root Separation, Sturm’s algorithm, an algorithm based on Rolle’s theorem due to Collins and Loos and the modified Uspensky algorithm due to C危机 发表于 2025-3-31 15:14:29
Factorization of Polynomials,ds, the integers, or algebraic extensions of the rationals, and to multivariate polynomials with integral coefficients. In particular, various squarefree decomposition algorithms and Hensel lifting techniques are analyzed. An attempt is made to establish a complete historic trace for today’s methods奇怪 发表于 2025-3-31 20:48:58
http://reply.papertrans.cn/24/2334/233389/233389_59.png上坡 发表于 2025-4-1 01:31:22
http://reply.papertrans.cn/24/2334/233389/233389_60.png