LEADER 04997nam 22007455 450 001 996465891303316 005 20200706041236.0 010 $a3-540-48031-5 024 7 $a10.1007/3-540-57272-4 035 $a(CKB)1000000000234025 035 $a(SSID)ssj0000322530 035 $a(PQKBManifestationID)11247829 035 $a(PQKBTitleCode)TC0000322530 035 $a(PQKBWorkID)10289025 035 $a(PQKB)10976583 035 $a(DE-He213)978-3-540-48031-0 035 $a(PPN)155188410 035 $a(EXLCZ)991000000000234025 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and Implementation of Symbolic Computation Systems$b[electronic resource] $eInternational Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings /$fedited by John Fitch 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (IX, 223 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v721 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57272-4 327 $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. 330 $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). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v721 606 $aComputers 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a005.13/1 702 $aFitch$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Symposium DISCO '92 906 $aBOOK 912 $a996465891303316 996 $aDesign and Implementation of Symbolic Computation Systems$92830258 997 $aUNISA