Limit search to available items
Book Cover
E-book
Author European Computer Algebra Conference (1983 : London, England)

Title Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen
Published Berlin : Springer-Verlag, [1983]
©1983

Copies

Description xii, 305 pages : illustrations ; 25 cm
Series Lecture notes in computer science ; 162
Lecture notes in computer science ; 162.
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
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
Bibliography Includes bibliographical references at chapter ends, and index
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 proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Hulzen, J. A. van. editor, author.
LC no. 83020442
ISBN 0387128689
9780387128689
3540128689
9783540128687
Other Titles EUROCAL '83
European Computer Algebra Conference, London, England, March 28-30, 1983