Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings
Author(s)
Bibliographic Information
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings
(Lecture notes in computer science, 162)
Springer-Verlag, 1983
- : gw
- : us
Available at 46 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographies
Description and Table of Contents
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 Groebner-bases.- Groebner 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 of multivariate polynomial schemes: A pragmatic approach.
by "Nielsen BookData"