Skip to main content
SpringerLink
Log in
Book cover

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

Volume 2: Research Contributions

  • Conference proceedings
  • © 1985

Overview

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)

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (114 papers)

  1. Front Matter

    Download chapter 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

  6. Demonstration of reduce3 as implemented on a stand-alone Motorola 68000 based microcomputer

    • Michael Taraniuk, Peter Mackeonis
    Pages 31-31

  7. The Scratchpad II computer algebra language and system

    • Robert S. Sutor
    Pages 32-33

  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

  13. Substitution expressions: Extracting solutions of non-Horn clause proofs

    • K. Aspetsberger
    Pages 78-86

  14. The complexity of elementary problems in archimedean ordered groups

    • Volker Weispfenning
    Pages 87-88

  15. Progress on the equivalence problem

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

  16. Symbol representations of noncommutative algebras

    • W. Lassner
    Pages 99-115

  17. Algebraic computations in elementary catastrophe theory

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

  18. Bifurcation theory and computer algebra: An initial approach

    • D. Armbruster
    Pages 126-137

  19. Factorization of polynomials by transcendental evaluation

    • Marc-Paul van der Hulst, Arjen K. Lenstra
    Pages 138-145

  20. Factorization of rational polynomials in the Zassenhaus — Norm

    • Franzpeter Goebbels
    Pages 146-147
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation