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 2: Research Contributions

Editors:

  1. Bob F. Caviness
    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 204)

Sections

Buy it now

Softcover Book USD 109.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 (114 papers)

  1. Front Matter

    PDF

  2. Algorithms for polynomial division

    • Dario Bini, Victor Pan
    Pages 1-3

  3. Sparse hensel lifting

    • Erich Kaltofen
    Pages 4-17

  4. Heugcd: How elementary upperbounds generate cheaper data

    • James Davenport, Julian Padget
    Pages 18-28

  5. Gaussian elimination over a euclidean ring

    • Costas S. Iliopoulos
    Pages 29-30

  8. The SAC-2 computer algebra system

    • George E. Collins
    Pages 34-35

  9. DOE-MACSYMA: Progress report

    • George J. Carrette, Leo P. Harten
    Pages 36-39

  10. Towards practical implementations of syllogistic

    • S. Ghelfo, E. G. Omodeo
    Pages 40-49

  11. Path resolution and semantic graphs

    • Neil V. Murray, Erik Rosenthal
    Pages 50-63

  12. Fast subsumption algorithms

    • G. Gottlob, A. Leitsch
    Pages 64-77

  15. Progress on the equivalence problem

    • J. E. Åman, R. A. d'Inverno, G. C. Joly, M. A. H. MacCallum
    Pages 89-98

  17. Algebraic computations in elementary catastrophe theory

    • K. Millington, F. J. Wright
    Pages 116-125

  19. Factorization of polynomials by transcendental evaluation

    • Marc-Paul van der Hulst, Arjen K. Lenstra
    Pages 138-145
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 2: Research Contributions

  • Editors: Bob F. Caviness

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15984-1Published: 01 October 1985

  • eBook ISBN: 978-3-540-39685-7Published: 14 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 662

  • Topics: Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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