Research Catalog

Title

Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

Author

European Computer Algebra Conference (1983 : London, England)

Publication

• Berlin : Springer-Verlag, [1983]
• ©1983.

Items in the Library & Off-site

Details

Additional Authors

Hulzen, J. A. van.

Description

xii, 305 pages : illustrations; 25 cm.

Summary

This volume is the third in a series dedicated to a computer algebra conference. These symposia are noted for presenting well qualified research results, encouraging discussion of thoughts, ideas, recent research trends, and prospects for future success. This volume consists of sixteen papers, and covers important theoretical results, algorithms, software methods, and recent applications. It gives an overview of the state of computer algebra, and the fascinating aspects which might lead to numerous applications.

Series Statement

Lecture notes in computer science ; 162

Uniform Title

Lecture notes in computer science ; 162.

Alternative Title

• EUROCAL '83
• European Computer Algebra Conference, London, England, March 28-30, 1983

Subject

• Algebraic functions > Congresses
• Algebra > Computer programs > Congresses
• Algebra, Abstract > Computer programs > Congresses
• Algebra > Data processing > Congresses
• Algebraic functions
• Algebra > Computer programs
• Algebra, Abstract > Computer programs
• Algebra > Data processing
• Fundamentele informatica
• Symbolische logica

Genre/Form

• Congress
• proceedings (reports)
• Conference papers and proceedings
• Conference papers and proceedings.
• Actes de congrès.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Algorithms 1. Miscellaneous ; Integration : what de we want from the theory? / J. H. Davenport -- The Euclidean algorithm for Gaussian integers / Heinrich Rolletschek -- Multi-polynomial remainder sequence and its application to linear Diophantine equations / Akio Furukawa and Tateaki Sasaki -- Applications. Miscellaneous ; Towards mechanical solution of the Kahan ellipse problem I / Dennis S. Arnon and Scott F. Smith -- Automatically determining symmetries of ordinary differential equations / Fritz Schwarz -- Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations / F. Lamnabhi-Lagarrigue and M. Lamnabhi -- Characterization of a linear differential system with a regular singularity / Aziz Hilali -- Systems and language features ; The Bath concurrent LISP machine / Jed Marti and John Fitch -- The ecology of LISP : or, the case for the preservation of the environment / Julian A. Padget -- The design of Maple : a compact, portable, and powerful computer algebra system / Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, and Gaston H. Gonnet -- LISP compilation viewed as provable semantics preserving program transformation / Herbert Stoyan -- Implementing REDUCE on a microcomputer / John Fitch --
• Algorithms 2. Polynomial ideal bases ; A note on the complexity of constructing Gröbner-bases / B. Buchberger -- Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations / D. Lazard -- The computation of the Hilbert function / Ferdinando Mora and H. Michael Möller -- An algorithm for constructing detaching bases in the ring of polynomials over a field / Franz Winkler -- Algorithms 3. Computational number theory ; On the problem of Behā Eddīn 'Amūlī and the computation of height functions / Horst G. Zimmer -- A procedure for determining algebraic integers of given norm / U. Fincke and M. Pohst -- Computation of integral solutions of a special type of systems of quadratic equations / Michael Pohst -- Algorithms 4. Factorization ; Factorizations of sparse polynomials / J. H. Davenport -- Early detection of true factors in univariate polynomial factorization / Paul S. Wang -- On the complexity of finding short vectors in integer lattices / Erich Kaltofen -- Factoring polynomials over algebraic number fields / A. K. Lenstra -- System oriented applications ; The construction of a complete minimal set of contextual normal forms / Monique Rice -- A knowledge-based approach to user-friendliness in symbolic computing / F. Gardin and J. A. Campbell -- Computer algebra and VLSI : prospects for cross fertilization / J. Smit -- Code optimization of multivariate polynomial schemes : a pragmatic approach / J. A. van Hulzen -- Appendix. The conference program.

ISBN

• 0387128689
• 9780387128689
• 3540128689
• 9783540128687

LCCN

83020442

OCLC

• ocm10277301
• 10277301
• SCSB-9175416

Owning Institutions

Princeton University Library