Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003933823/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract ""DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project)."--PUBLISHER'S WEBSITE.".
- catalog contributor b5670914.
- catalog contributor b5670915.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description ""DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project)."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Template-based formula editing in Kaava / Ken Rimey -- Algebraic simplification of multiple-valued functions / Russell Bradford -- In-place arithmetic for polynomials over Z[subscript n] / Michael Monagan -- LILK, static analysis of REDUCE code / B.D. Brunswick -- The extensions of the sisyphe computer algebra system / C. Faure [and others] -- AlgBench: an object-oriented symbolic core system / Roman E. Maeder -- SYMO2: objects and classes for symbolic computation systems / Philip S. Santas -- Building a computer algebra environment by composition of collaborative tools / Norbert Kajler -- An assume facility for CAS, with a sample implementation for Maple / Trudy Weibel, Gaston H. Gonnett -- REDUCE meets CAMAL / J.P. Fitch -- Combinatory models and symbolic computation / Karl Aberer -- A uniform approach to deduction and automatic implementation / Sergio Antoy [and others] -- A simple general purpose technique for interfacing between computer algebra and numerical analysis systems / M. Bayram, J.P. Bennett -- Recurrent relations and speed-up of computations using computer algebra systems / E.V. Zima -- Design and implementation of a retargetable ALDES compiler / Gabor Simon -- Data representation and in-built compilation in the computer algebra program FELIX / Joachim Apel, Uwe Klaus -- An abstract data type development of graded rings / A. Goodloe, P. Loustaunau -- An object-oriented approach to indexed mathematical objects for the manipulation of sums and series / Olga Caprotti.".
- catalog extent "214 p. ;".
- catalog identifier "0387572724 (New York)".
- catalog identifier "3540572724 (Berlin)".
- catalog isPartOf "Lecture notes in computer science ; 721".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.13/1 20".
- catalog subject "Mathematics Data processing Congresses.".
- catalog subject "Numerical analysis Data processing Congresses.".
- catalog subject "QA76.9.S88 I576 1992".
- catalog subject "System design Congresses.".
- catalog tableOfContents "Template-based formula editing in Kaava / Ken Rimey -- Algebraic simplification of multiple-valued functions / Russell Bradford -- In-place arithmetic for polynomials over Z[subscript n] / Michael Monagan -- LILK, static analysis of REDUCE code / B.D. Brunswick -- The extensions of the sisyphe computer algebra system / C. Faure [and others] -- AlgBench: an object-oriented symbolic core system / Roman E. Maeder -- SYMO2: objects and classes for symbolic computation systems / Philip S. Santas -- Building a computer algebra environment by composition of collaborative tools / Norbert Kajler -- An assume facility for CAS, with a sample implementation for Maple / Trudy Weibel, Gaston H. Gonnett -- REDUCE meets CAMAL / J.P. Fitch -- Combinatory models and symbolic computation / Karl Aberer -- A uniform approach to deduction and automatic implementation / Sergio Antoy [and others] -- A simple general purpose technique for interfacing between computer algebra and numerical analysis systems / M. Bayram, J.P. Bennett -- Recurrent relations and speed-up of computations using computer algebra systems / E.V. Zima -- Design and implementation of a retargetable ALDES compiler / Gabor Simon -- Data representation and in-built compilation in the computer algebra program FELIX / Joachim Apel, Uwe Klaus -- An abstract data type development of graded rings / A. Goodloe, P. Loustaunau -- An object-oriented approach to indexed mathematical objects for the manipulation of sums and series / Olga Caprotti.".
- catalog title "Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, ed.".
- catalog type "Conference proceedings. fast".
- catalog type "text".