Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)
Resource Information
The item Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 1315, 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)
 Language
 eng
 Extent
 IX, 223 p.
 Contents

 Templatebased formula editing in Kaava
 Algebraic simplification of multiplevalued functions
 Inplace arithmetic for polynomials over Zn
 LILK — Static analysis of REDUCE code
 The extensions of the Sisyphe computer algebra system: ulysse and athena
 AlgBench: An objectoriented 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 speedup of computations using computer algebra systems
 Design and implementation of a retargetable ALDES compiler
 Data representation and inbuilt compilation in the computer algebra program FELIX
 An abstract data type development of graded rings
 An objectoriented approach to indexed mathematical objects for the manipulation of sums and series
 Isbn
 9783540480310
 Label
 Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
 Title
 Design and Implementation of Symbolic Computation Systems
 Title remainder
 International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
 Statement of responsibility
 edited by John Fitch
 Subject

 Software Engineering
 Algebra  Data processing
 Software engineering
 Computer graphics
 Software Engineering
 Computer Graphics
 Computer science
 Computer science
 Software Engineering
 Programming Techniques
 Artificial intelligence
 Computer Science
 Computer graphics
 Computer Science
 Computer Graphics
 Computer graphics
 Electronic resources
 Programming Languages, Compilers, Interpreters
 Algebra  Data processing
 Software engineering
 Artificial intelligence
 Artificial intelligence
 Algebra  Data processing
 Computer Science
 Computer Graphics
 Computer science
 Software engineering
 Artificial Intelligence (incl. Robotics)
 Symbolic and Algebraic Manipulation
 Language
 eng
 Summary
 DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 1315, 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)
 http://library.link/vocab/creatorName
 Fitch, John
 Image bit depth
 0
 LC call number
 QA76.676.66
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 721
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Algebra
 Artificial intelligence
 Computer graphics
 Computer Science
 Programming Techniques
 Software Engineering
 Programming Languages, Compilers, Interpreters
 Symbolic and Algebraic Manipulation
 Artificial Intelligence (incl. Robotics)
 Computer Graphics
 Label
 Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Templatebased formula editing in Kaava  Algebraic simplification of multiplevalued functions  Inplace arithmetic for polynomials over Zn  LILK — Static analysis of REDUCE code  The extensions of the Sisyphe computer algebra system: ulysse and athena  AlgBench: An objectoriented 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 speedup of computations using computer algebra systems  Design and implementation of a retargetable ALDES compiler  Data representation and inbuilt compilation in the computer algebra program FELIX  An abstract data type development of graded rings  An objectoriented approach to indexed mathematical objects for the manipulation of sums and series
 Dimensions
 unknown
 Extent
 IX, 223 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540480310
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540572724
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540480310
 Label
 Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Templatebased formula editing in Kaava  Algebraic simplification of multiplevalued functions  Inplace arithmetic for polynomials over Zn  LILK — Static analysis of REDUCE code  The extensions of the Sisyphe computer algebra system: ulysse and athena  AlgBench: An objectoriented 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 speedup of computations using computer algebra systems  Design and implementation of a retargetable ALDES compiler  Data representation and inbuilt compilation in the computer algebra program FELIX  An abstract data type development of graded rings  An objectoriented approach to indexed mathematical objects for the manipulation of sums and series
 Dimensions
 unknown
 Extent
 IX, 223 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540480310
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540572724
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540480310
Subject
 Algebra  Data processing
 Algebra  Data processing
 Algebra  Data processing
 Artificial Intelligence (incl. Robotics)
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Computer Graphics
 Computer Graphics
 Computer Graphics
 Computer Science
 Computer Science
 Computer Science
 Computer graphics
 Computer graphics
 Computer graphics
 Computer science
 Computer science
 Computer science
 Electronic resources
 Programming Languages, Compilers, Interpreters
 Programming Techniques
 Software Engineering
 Software Engineering
 Software Engineering
 Software engineering
 Software engineering
 Software engineering
 Symbolic and Algebraic Manipulation
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/DesignandImplementationofSymbolicComputation/zQFmRYsItDI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/DesignandImplementationofSymbolicComputation/zQFmRYsItDI/">Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/DesignandImplementationofSymbolicComputation/zQFmRYsItDI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/DesignandImplementationofSymbolicComputation/zQFmRYsItDI/">Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings, edited by John Fitch, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>