Design and Implementation of Symbolic Computation Systems (Record no. 35574)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03873nam a22005535i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540480310 |
-- | 978-3-540-48031-0 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.11 |
245 10 - TITLE STATEMENT | |
Title | Design and Implementation of Symbolic Computation Systems |
Sub Title | International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings / |
Statement of responsibility, etc | edited by John Fitch. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1993. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | IX, 223 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Algebra |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial intelligence. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer graphics. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Symbolic and Algebraic Manipulation. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Graphics. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Fitch, John. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-57272-4 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1993. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6280 | http://dx.doi.org/10.1007/3-540-57272-4 | E-BOOKS |