Overview

Full Product Details

Author:   J. A. van Hulzen
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1983
Volume:   162
Dimensions:   Width: 21.00cm , Height: 1.70cm , Length: 27.90cm
Weight:   1.020kg
ISBN:  

9783540128687

ISBN 10:   3540128689
Pages:   306
Publication Date:   01 December 1983
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Integration — What do we want from the theory?.- The Euclidean algorithm for Gaussian integers.- Multi polynomial remainder sequence and its application to linear diophantine equations.- Towards mechanical solution of the Kahan ellipse problem I.- Automatically determining symmetries of ordinary differential equations.- Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations.- Characterization of a linear differential system with a regular singularity.- The Bath Concurrent LISP machine.- The ecology of LISP or the case for the preservation of the environment.- The design of Maple: A compact, portable, and powerful computer algebra system.- LISP compilation viewed as provable semantics preserving program transformation.- Implementing REDUCE on a microcomputer.- A note on the complexity of constructing Gröbner-bases.- Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations.- The computation of the Hilbert function.- An algorithm for constructing detaching bases in the ring of polynomials over a field.- On the problem of Beh? Edd?n 'Am?l? and the computation of height functions.- A procedure for determining algebraic integers of given norm.- Computation of integral solutions of a special type of systems of quadratic equations.- Factorisation of sparse polynomials.- Early detection of true factors in univariate polynomial factorization.- On the complexity of finding short vectors in integer lattices.- Factoring polynomials over algebraic number fields.- The construction of a complete minimal set of contextual normal forms.- A knowledge-based approach to user-friendliness in symbolic computing.- Computer algebra and VLSI, prospects for cross fertilization.- Code optimization ofmultivariate polynomial schemes: A pragmatic approach.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions