Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1985

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Editors:

  1. Bruno Buchberger
    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 203)

Sections

Buy it now

Softcover Book USD 54.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

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

Table of contents (14 papers)

  1. Front Matter

    PDF

  2. Computer algebra: Past and future

    • B. F. Caviness
    Pages 1-18

  4. A preview of the next IBM-PC version of muMATH

    • David R. Stoutemyer
    Pages 33-44

  5. Current developments in LISP

    • Julian Padget
    Pages 45-57

  7. Symbolic computation and chemistry

    • Alexandru T. Balaban
    Pages 68-79

  10. Computer algebra and practical analysis

    • N. J. Lehmann
    Pages 102-113

  12. Algorithmic methods in automatic programming

    • Alan W. Biermann
    Pages 124-135

  14. Constructions: A higher order proof system for mechanizing mathematics

    • Thierry Coquand, Gérard Huet
    Pages 151-184

  16. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

  • Book Subtitle: Volume 1: Invited Lectures

  • Editors: Bruno Buchberger

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15983-4Published: 01 October 1985

  • eBook ISBN: 978-3-540-39684-0Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 236

  • Topics: Mathematical Logic and Formal Languages

  • Industry Sectors: IT & Software, Telecommunications

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.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

Search

Navigation