|
" COMPUTERS and mathematics "
Erich Kaltofen, Stephen M. Watt, editors.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
735955
|
| Doc. No
|
:
|
b555799
|
| Main Entry
|
:
|
Erich Kaltofen, Stephen M. Watt, editors.
|
| Title & Author
|
:
|
COMPUTERS and mathematics\ Erich Kaltofen, Stephen M. Watt, editors.
|
| Publication Statement
|
:
|
New York [etc.]: Springer-Verlag, 1989
|
| Page. NO
|
:
|
XI, 326 str. : ilustr. ; 24 cm.
|
| ISBN
|
:
|
0387970193
|
|
|
:
|
: 3540970193
|
|
|
:
|
: 9780387970196
|
|
|
:
|
: 9783540970194
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
matematika -- računalništvo -- obdelava podatkov -- operatorji -- matematično modeliranje -- algoritmi
|
| LC Classification
|
:
|
QA76.95E753 1989
|
| Added Entry
|
:
|
Erich Kaltofen
|
|
|
:
|
Stephen M Watt
|
| |