Skip to main content
SpringerLink
Log in
Book cover

Computer Algebra

EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings

  • Conference proceedings
  • © 1983

Overview

Editors:
  1. J. A. Hulzen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 162)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • J. A. van Hulzen
    Pages 1-1

  3. Integration — What do we want from the theory?

    • J. H. Davenport
    Pages 2-11

  4. The Euclidean algorithm for Gaussian integers

    • Heinrich Rolletschek
    Pages 12-23

  5. Multi polynomial remainder sequence and its application to linear diophantine equations

    • Akio Furukawa, Tateaki Sasaki
    Pages 24-35

  6. Towards mechanical solution of the Kahan ellipse problem I

    • Dennis S. Arnon, Scott F. Smith
    Pages 36-44

  7. Automatically determining symmetries of ordinary differential equations

    • Fritz Schwarz
    Pages 45-54

  8. Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations

    • F. Lamnabhi-Lagarrigue, M. Lamnabhi
    Pages 55-67

  9. Characterization of a linear differential system with a regular singularity

    • Aziz Hilali
    Pages 68-77

  10. The Bath Concurrent LISP machine

    • Jed Marti, John Fitch
    Pages 78-90

  11. The ecology of LISP or the case for the preservation of the environment

    • Julian A. Padget
    Pages 91-100

  12. The design of Maple: A compact, portable, and powerful computer algebra system

    • Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet
    Pages 101-115

  13. LISP compilation viewed as provable semantics preserving program transformation

    • Herbert Stoyan
    Pages 116-127

  14. Implementing REDUCE on a microcomputer

    • John Fitch
    Pages 128-136

  15. A note on the complexity of constructing Gröbner-bases

    • B. Buchberger
    Pages 137-145

  16. Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations

    • D. Lazard
    Pages 146-156

  17. The computation of the Hilbert function

    • Ferdinando Mora, H. Michael Möller
    Pages 157-167

  18. An algorithm for constructing detaching bases in the ring of polynomials over a field

    • Franz Winkler
    Pages 168-179

  19. On the problem of Behā Eddīn 'Amūlī and the computation of height functions

    • Horst G. Zimmer
    Pages 180-193

  20. A procedure for determining algebraic integers of given norm

    • U. Fincke, M. Pohst
    Pages 194-202
Back to top

Keywords

Bibliographic Information

  • Book Title: Computer Algebra

  • Book Subtitle: EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings

  • Editors: J. A. Hulzen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-12868-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12868-7Published: 01 December 1983

  • eBook ISBN: 978-3-540-38756-5Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 306

  • Topics: Numerical Analysis

Publish with us

Policies and ethics

Back to top

Search

Navigation