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...
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
721 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
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 |
| LEADER | 04537nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944446 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155188410 | ||
| 020 | |a 9783540480310 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium on Design and implementation of symbolic computation systems |d (1992 |c :Bath). | |
| 245 | 1 | 0 | |a Design and implementation of symbolic computation systems : |b International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : proceedings |c [edited by] John Fitch. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 721 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Mathématiques |x Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fitch, John, |d 1945- |4 pbd | |
| 776 | 0 | |0 01749219X |t Design and implementation of symbolic computation systems |o International Symposium, DISCO '92, Bath, U.K., April 1992 |o proceedings |f John Fitch, (ed.) |c Heidelberg |n Springer-Verlag |d 1993 |p 1 vol. (214 p.) |s Lecture notes in computer science |z 0-387-57272-4 | |
| 776 | 0 | |t Design and Implementation of Symbolic Computation Systems |b Texte imprimé |z 9783540572725 | |
| 776 | 0 | |t Design and Implementation of Symbolic Computation Systems |b Texte imprimé |z 9783662193303 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57272-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CJMSMF9X-N |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919534 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57272-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932074 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57272-4 |z Accès INSA CVL | |
| 997 | |0 944446 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||