Design and implementation of symbolic computation systems : International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : proceedings
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 sys...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
721 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Design and implementation of symbolic computation systems, International Symposium, DISCO '92, Bath, U.K., April 1992, proceedings, John Fitch, (ed.), Heidelberg, Springer-Verlag, 1993, 1 vol. (214 p.), Lecture notes in computer science, 0-387-57272-4 • Design and Implementation of Symbolic Computation Systems, Texte imprimé, 9783540572725 • Design and Implementation of Symbolic Computation Systems, Texte imprimé, 9783662193303 |
Sommario:
- 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.