Cantitate/Preț
Produs

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings: Lecture Notes in Computer Science, cartea 721

Editat de John Fitch
en Limba Engleză Paperback – 2 sep 1993
DISCO 92 was held on the Newton Park campus of Bath Collegeof Higher Education, England, April 13-15, 1992. Beside theformal lectures dedicated to design and implementationissues of computer algebra, there were several softwaredemonstrations and an opportunity for system designers tocompare systems.This volume presents the proceedings of the conference. Itcontains 18 papers on a variety of design and implementationissues. One general theme which clearly emerges is the needfor interconnections between systems, as no one systemsincorporates all the facilities that users want. Variouseffortsare being made to design such links, but generallyin limited contexts (suchas the Maple project or the Possoproject).
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31215 lei

Preț vechi: 39019 lei
-20% Nou

Puncte Express: 468

Preț estimativ în valută:
5976 6475$ 4990£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540572725
ISBN-10: 3540572724
Pagini: 232
Ilustrații: IX, 223 p.
Dimensiuni: 155 x 233 x 12 mm
Greutate: 0.34 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Template-based formula editing in Kaava.- Algebraic simplification of multiple-valued functions.- In-place arithmetic for polynomials over Zn.- LILK — Static analysis of REDUCE code.- The extensions of the Sisyphe computer algebra system: ulysse and athena.- AlgBench: An object-oriented symbolic core system.- SymO2: Objects and classes for symbolic computation systems.- Building a Computer Algebra environment by composition of collaborative tools.- An assume facility for CAS, with a sample implementation for Maple.- REDUCE meets CAMAL.- Combinatory models and symbolic computation.- A uniform approach to deduction and automatic implementation.- A simple general purpose technique for interfacing between computer algebra and numerical analysis systems.- Recurrent relations and speed-up of computations using computer algebra systems.- Design and implementation of a retargetable ALDES compiler.- Data representation and in-built compilation in the computer algebra program FELIX.- An abstract data type development of graded rings.- An object-oriented approach to indexed mathematical objects for the manipulation of sums and series.