eBay |

# EUROCAL '85, European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985, Proceedings: v. 2: Research Contributions by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1985)

Be the first to write a review.

OUR TOP PICK

## $425.94

+ $10.00 postageQuantity

1 available

Condition

Brand new

Sold by

roxy*books (286784)98.7% positive Feedback

Delivery

Est. 3 Aug - 9 AugFrom Priority Airmail from England, United Kingdom

Returns

7 days money back

Buyer pays return postage

## Save on Textbooks

### Cambridge IELTS 9 Student's Book with Answers: Authentic Examination Papers from

AU $56.99Trending at AU $71.40### Clinical Naturopathy: An evidence-based guide to practice, 2e Jerome Sarris ND (

AU $69.53Trending at AU $86.07### The Life-changing Magic of Tidying Up: The Japanese Art of Decluttering and Orga

AU $17.60Trending at AU $23.02### Michalowicz Mike-Profit First (US IMPORT) HBOOK NEW

AU $29.91Trending at AU $39.16### Grimm: Aunt Marie's Book of Lore Titan Books (Corporate Author)

AU $26.15Trending at AU $26.53### Complete Japanese Joinery by Yasuo Nakahara.

AU $35.37Trending at AU $37.50### Pioneer Girl: The Annotated Autobiography Wilder, Laura Ingalls/ Hill, Pamela Sm

AU $49.76Trending at AU $53.93

## About this product

### Key Features

- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication01/10/1985
- LanguageEnglish
- FormatPaperback
- ISBN-103540159843
- ISBN-139783540159841
- SubjectScience & Mathematics: Textbooks & Study Guides
- Series TitleLecture Notes in Computer Science
- Series Part/Volume Numberv. 204

### Publication Data

- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Notebiography

### Dimensions

- Weight933 g
- Width170 mm
- Height250 mm
- Spine34 mm

### Credits

- Edited byBob F. Caviness

### Editorial Details

- Format DetailsTrade paperback (US)

### Description

- Table Of ContentsAlgorithms for polynomial division.- Sparse hensel lifting.- Heugcd: How elementary upperbounds generate cheaper data.- Gaussian elimination over a euclidean ring.- Demonstration of reduce3 as implemented on a stand-alone Motorola 68000 based microcomputer.- The Scratchpad II computer algebra language and system.- The SAC-2 computer algebra system.- DOE-MACSYMA: Progress report.- Towards practical implementations of syllogistic.- Path resolution and semantic graphs.- Fast subsumption algorithms.- Substitution expressions: Extracting solutions of non-Horn clause proofs.- The complexity of elementary problems in archimedean ordered groups.- Progress on the equivalence problem.- Symbol representations of noncommutative algebras.- Algebraic computations in elementary catastrophe theory.- Bifurcation theory and computer algebra: An initial approach.- Factorization of polynomials by transcendental evaluation.- Factorization of rational polynomials in the Zassenhaus - Norm.- On decomposable and commuting polynomials.- Fast polynomial decomposition algorithms.- A program system for root finding.- A program system for factorization of polynomials with rational coefficients.- THKLISP as a base of formula manipulation systems.- AMP a system for algebraic computations.- The program ortocartan for applications in Einstein's relativity theory.- Sheep and classification in general relativity.- Norcan - A computer calculus program.- Demo of stensor.- Visual environments for symbolic computation.- Syntactic equivalences inducing semantic equivalences.- The Algos computational system.- Retrieval in a module library using formal specifications: Preliminary search using syntactic properties.- The J-Machine: Functional programming with combinators.- Symbolic algebra in problems of nonlinear mechanics.- Macsyma's computation of dirac-bergmann algorithm for Hamiltonian syytems with constraints.- Infinite dimensional computer Lie algebra ?.- Application of computer algebra to the theory of the vibration-rotational spectra of diatomic molecules.- Algorithms for the character theory of the symmetric group.- Worst-case analysis of algorithms for computational problems on abelian permutation groups.- A completion of some coxeter groups.- A CAYLEY file of finite simple groups.- On some laws in PSL(2,q).- An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space.- A cluster-based cylindrical algebraic decomposition algorithm.- On mechanical quantifier elimination for elementary algebra and geometry: Solution of a nontrivial problem.- Grobner bases using SAC2.- A polynomial-time algorithm for the topological type of a real algebraic curve.- An improved projection operation for cylindrical algebraic decomposition.- Arithmetic in quadratic fields with unique factorization.- About a new method for computing in algebraic number fields.- An algebraic implementation of packages.- The SMP pattern matcher.- An expression compression package for REDUCE based on factorization and controlled expansion.- STENSOR uses disc automatically for very large computations.- Numerical methods with automatic verification.- ACRITH - High accuracy arithmetic subroutine library.- Floating-point computation in PASCAL-SC with verified results.- PASCAL-SC demonstration accurate arithmetic for verified results.- A solution to the polynomial hensel-code conversion problem.- A posteriori interval analysis.- Symbolic manipulations on a computer and their application to generation and investigation of difference schemes.- Completeness in data type specifications.- On solving the equality problem in theories defined by Horn clauses.- Reducing the complexity of the Knuth-Bendix completion algorithm: A unification of different approaches.- A confluence criterion based on the generalised Newman Lemma.- ERIL - Equational reasoning: an interactive laboratory.- Implementation of a general completion procedure parameterized by built-in theories and strategies.- Co

This item doesn't belong on this page.

Thanks, we'll look into this.