عنوان

COMPUTERS and mathematics

شابک

0387970193

شابک

3540970193

شابک

9780387970196

شابک

9783540970194

شماره

b555799

عنوان اصلي

COMPUTERS and mathematics

نام عام مواد

[Book]

نام نخستين پديدآور

Erich Kaltofen, Stephen M. Watt, editors.

محل نشرو پخش و غیره

New York [etc.]

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

1989

نام خاص و کميت اثر

XI, 326 str. : ilustr. ; 24 cm.

متن يادداشت

Session 1, Track A.- A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra.- Summation of Harmonic Numbers.- Algorithm and Implementation for Computation of Jordan Form Over A[x1,..., xm].- Fast Group Membership Using a Strong Generating Test for Permutation Groups.- Finite-Basis Theorems and a Computation-Integrated Approach to Obstruction Set Isolation.- Session 1, Track B.- Practical Determination of the Dimension of an Algebraic Variety.- A Computer Generated Census of Cusped Hyperbolic 3-Manifolds.- Classicality of Trigonal Curves of Genus Five.- Symmetric Matrices with Alternating Blocks.- Cohomology to Compute.- Session 2, Track A.- Use of Symbolic Methods in Analyzing an Integral Operator.- Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type.- An Example of Computer Enhanced Analysis.- An Algorithm for Symbolic Computation of Hopf Bifurcation.- Application of the Reduce Computer Algebra System to Stability Analysis of Difference Schemes.- Session 2, Track B.- Signs of Algebraic Numbers.- Efficient Reduction of Quadratic Forms.- A Story About Computing with Roots of Unity.- Exact Algorithms for the Matrix-Triangularization Subresultant PRS Method.- Computation of Fourier Transforms on the Symmetric Group.- Session 3, Track A.- Integration in Finite Terms and Simplification with Dilogarithms: A Progress Report.- Why Integration is Hard.- Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients.- Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms.- Session 3, Track B.- Logic and Computation in MATHPERT: An Expert System for Learning Mathematics.- Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring.- Bunny Numerics: A Number Theory Microworld.- Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems.- Session 4, Track A.- Iterated Function Systems and the Inverse Problem of Fractal Construction Using Moments.- Working with Ruled Surfaces in Solid Modeling.- Using Macsyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian Manifold.- Computer Algebra in the Theory of Ordinary Differential Equations of Halphen Type.- Session 4, Track B.- Symbolic Derivation of Equations for Mixed Formulation in Finite Element Analysis.- Semantics in Algebraic Computation.- Symbolic Computation with Symmetric Polynomials: An Extension to Macsyma.- Simultaneous Computations in Fields of Different Characteristics.

موضوع مستند نشده

matematika -- računalništvo -- obdelava podatkov -- operatorji -- matematično modeliranje -- algoritmi

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Erich Kaltofen, Stephen M. Watt, editors.

مستند نام اشخاص تاييد نشده

Erich Kaltofen

مستند نام اشخاص تاييد نشده

Stephen M Watt

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y