Skip to main content
SpringerLink
Log in
Book cover

Symbolic and Algebraic Computation

Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

  • Conference proceedings
  • © 1979

Overview

Editors:
  1. Edward W. Ng
    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 72)

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 59.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 (51 papers)

  1. Front Matter

    Download chapter PDF

  2. A criterion for detecting unnecessary reductions in the construction of Gröbner-bases

    • B. Buchberger
    Pages 3-21

  3. Unification of commutative terms

    • J. Siekmann
    Pages 22-22

  4. Canonicality in rule systems

    • Michael R. Genesereth
    Pages 23-29

  5. The application of symbolic algebra to physics — A case of creeping flow

    • John P Fitch
    Pages 30-41

  6. Progress towards a solution of the equivalence problem in general relativity

    • Anders Karlhede, Jan E. Åman
    Pages 42-44

  7. Symbol calculus by symbolic computation and semi-classical expansions

    • A. Voros
    Pages 45-51

  8. An algorithm for the analytic evaluation of a class of integrals

    • M. Caffo, E. Remiddi, S. Turrini
    Pages 52-57

  9. Fast computation of the rational hermite interpolant and solving toeplitz systems of equations via the extended Euclidean algorithm

    • David Y. Y. Yun, Fred G. Gustavson
    Pages 58-64

  10. Approximate algorithms to derive exact solutions to systems of linear equations

    • Robert T. Moenck, John H. Carter
    Pages 65-73

  11. New recursive minor expansion algorithms, a presentation in a comparative context

    • J. Smit
    Pages 74-87

  12. Systems of algebraic equations

    • Daniel Lazard
    Pages 88-94

  13. On the van der waerden criterion for the group of an equation

    • Hans Zassenhaus
    Pages 95-107

  14. Some computations related to torsion points on elliptic curves over number fields

    • H. Bartz, K. Fischer, H. Folz, H. G. Zimmer
    Pages 108-118

  15. The computerisation of algebraic geometry

    • J. H. Davenport
    Pages 119-133

  16. Algebraic extensions of arbitrary integral domains

    • Josh D. Cohen, David Y. Y. Yun
    Pages 134-139

  17. On unit computation in real quadratic fields

    • M. Pohst, H. Zassenhaus
    Pages 140-152

  18. An algebraic form of a solution of a system of linear differential equations with constant coefficients

    • Evelyne Tournier
    Pages 153-163

  19. Substitution methods for the automatic symbolic solution of differential equations of first order and first degree

    • Peter Schmidt
    Pages 164-176

  20. A semi-numeric difference algorithm

    • Dana L. Ulery, Hatem M. Khalil
    Pages 177-188
Back to top

Keywords

Bibliographic Information

  • Book Title: Symbolic and Algebraic Computation

  • Book Subtitle: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

  • Editors: Edward W. Ng

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-09519-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09519-4Published: 01 June 1979

  • eBook ISBN: 978-3-540-35128-3Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVII, 563

  • Topics: Theory of Computation, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation