000 03873nam a22005535i 4500
001 978-3-540-48031-0
003 DE-He213
005 20160624102029.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540480310
_9978-3-540-48031-0
024 7 _a10.1007/3-540-57272-4
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aDesign and Implementation of Symbolic Computation Systems
_h[electronic resource] :
_bInternational Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings /
_cedited by John Fitch.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aIX, 223 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v721
505 0 _aTemplate-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.
520 _aDISCO 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).
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aAlgebra
_xData processing.
650 0 _aArtificial intelligence.
650 0 _aComputer graphics.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputer Graphics.
700 1 _aFitch, John.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540572725
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v721
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-57272-4
942 _2EBK6280
_cEBK
999 _c35574
_d35574