EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions: 204 (Lecture Notes in Computer Science, 204) - Tapa blanda
Otras ediciones populares con el mismo título
Resultados de la búsqueda para EUROCAL '85. European Conference on Computer Algebra....
Imagen de archivo
Eurocal '85: European Conference on Computer Algebra: Linz, Austria, April 1-3, 1985: Proceedings Vol. 2: Research Contributions
Publicado por
Springer-Verlag, 1985
ISBN 10: 3540159843
ISBN 13: 9783540159841
Antiguo o usado
Tapa blanda
Librería: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Springer-Verlag, 1985. Cover very barely rubbed/soiled, edges/corners ever-so-slightly bumped; top edge ever-so-slightly soiled, fore and bottom edges very lightly soiled/bumped; binding tight; interior intact and very clean; a nice copy; due to the size/weight of this item additional shipping charges may apply. paperback. Good. Nº de ref. del artículo: 596435
Comprar usado
EUR 13,43
Envío por EUR 1,67
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Research Contributions
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5890754
Comprar usado
EUR 119,67
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions (Lecture Notes in Computer Science, 204)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540159841_new
Comprar nuevo
EUR 115,14
Envío por EUR 13,82
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1985, 1985
ISBN 10: 3540159843
ISBN 13: 9783540159841
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algorithms 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.- Gr¿bner 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.- Computer algebra in Norway.- Goppa codes: Algorithmic problems.- Gcd's and factoring multivariate polynomials using Grobner bases.- A note on the complexity of constructing standard bases.- Some algorithmic questions on ideals of differential operators.- Obtaining complete sets of reductions and equations without using special unification algorithms.- An overview of completion algorithms.- The optimisation by 'code motion' of user programs for an algebraic manipulation system.- An improved plotting package for VAXIMA.- On logic programs with data-driven computations.- Darwin, a system designed for the study of enumerative combinatorics.- Correctness proofs of the implementation of abstract data types.- Using prolog for constructing geometric objects defined by constraints.- The role of symbolic computation in the management of scientific information.- CIM (computer integrated manufacturing) ¿ A challenge for symbolic computation.- Symbolic and algebraic computation may support secondary education.- Software toolkit for input stage measurement in symbolic compuation.- The algebraic manipulation systems on the electrical power systems.- A new method of computing fundamental units in algebraic number fields.- The generalized Voronoi-algorithm in totally real algebraic number fields.- An algorithm for the computation of perfect polyhedral cones over real quadratic number fields.- Explicit determination of non-trivial torsion structures of elliptic curves over quadratic number fields.- p-Adic algorithms and the computation of zeros of p-adic l-functions.- On the solution of the diophantine equation Gn=pz.- Term orderings on the polynomial ring.- An algorithmic approach to local rings.- A reduction strategy for the taylor resolution.- From polynomials to Galois groups.- A system for parallel computer algebra programs.- Unification in parallel with refined linearity test: An example of recursive network stru. Nº de ref. del artículo: 9783540159841
Comprar nuevo
EUR 106,99
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Research Contributions
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5890754-n
Comprar nuevo
EUR 115,13
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Research Contributions
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5890754-n
Comprar nuevo
EUR 130,39
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
EUROCAL 85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Publicado por
Springer Berlin Heidelberg, 1985
ISBN 10: 3540159843
ISBN 13: 9783540159841
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algorithms 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. Nº de ref. del artículo: 4882853
Comprar nuevo
EUR 92,27
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Research Contributions
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5890754
Comprar usado
EUR 128,02
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 676. Nº de ref. del artículo: 263071434
Comprar nuevo
EUR 151,91
Envío por EUR 3,42
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 676 64 Illus. Nº de ref. del artículo: 5857813
Comprar nuevo
EUR 153,25
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles