FLAG
发表于 2025-3-28 15:44:35
http://reply.papertrans.cn/24/2334/233391/233391_41.png
单色
发表于 2025-3-28 19:22:00
Systems Collaboration and IntegrationIn this survey an attempt is made to give some impression of the capabilities of currently available programs for computations with finitely generated groups and their representations.
纵欲
发表于 2025-3-29 01:32:25
https://doi.org/10.1007/978-3-031-44373-2This article provides a brief summary of the most important publications relating to quantifier elimination algorithms for the elementary theory of real closed fields. Especially mentioned is the cylindrical algebraic decomposition method and its relation to the facilities of computer algebra facilities.
保守
发表于 2025-3-29 06:04:48
https://doi.org/10.1007/978-3-662-64517-8Some fundamental inequalities for the following values are listed: the determinant of a matrix, the absolute value of the roots of a polynomial, the coefficients of divisors of polynomials, and the minimal distance between the roots of a polynomial. These inequalities are useful for the analysis of algorithms in various areas of computer algebra.
motor-unit
发表于 2025-3-29 11:00:54
Introduction,In this introduction we first give a working definition of computer algebra. We then describe the organization of research activities in this field. Finally the overall structure and the intention of the present volume on computer algebra is explained. Some technical information (basic references, notation etc.) about the volume is given.
清洗
发表于 2025-3-29 14:26:33
Computing with Groups and Their Character Tables,In this survey an attempt is made to give some impression of the capabilities of currently available programs for computations with finitely generated groups and their representations.
值得
发表于 2025-3-29 16:26:45
http://reply.papertrans.cn/24/2334/233391/233391_47.png
反复拉紧
发表于 2025-3-29 23:19:58
Some Useful Bounds,Some fundamental inequalities for the following values are listed: the determinant of a matrix, the absolute value of the roots of a polynomial, the coefficients of divisors of polynomials, and the minimal distance between the roots of a polynomial. These inequalities are useful for the analysis of algorithms in various areas of computer algebra.
气候
发表于 2025-3-30 00:03:25
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
Essential
发表于 2025-3-30 07:29:27
Integration in Finite Terms, and elementary transcendental integrands are reviewed. Heuristic techniques for indefinite integration, and techniques for definite integration and ordinary differential equations are touched on only briefly.