Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
429 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
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 '90, Capri, Italy, April 10-12, 1990, proceedings, A. Miola, (ed.), Berlin, Springer-Verlag, 1990, 1 vol. (xii, 283 p.), Lecture notes in computer science, 0-387-52531-9 • Design and Implementation of Symbolic Computation Systems, Texte imprimé, 9783662214176 |
| LEADER | 05988nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 944473 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155189409 | ||
| 020 | |a 9783540470144 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.21 | ||
| 111 | 2 | |a International Symposium on Design and implementation of symbolic computation systems |d (1990 |c :Capri). | |
| 245 | 1 | 0 | |a Design and implementation of symbolic computation systems : |b International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings |c [edited by] A. Miola. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 429 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Current problems in computer algebra systems design -- The design of cayley a language for modern algebra -- CoCoA: A user-friendly system for commutative algebra -- The design of SISYPHE : a system for doing symbolic and algebraic computations -- Scratchpad's view of algebra I: Basic commutative algebra -- Design issues for a computed-aided environment for constructive mathematics -- Efficient type inference and coercion in computer algebra -- Abstract specification of mathematical structures and methods -- Programming paradigms for symbolic computation systems analysis of an example -- The computation of Gröbner bases on a shared memory multiprocessor -- A theory for program and data type specification -- Context induction: A proof principle for behavioural abstractions -- Completion modulo associativity, commutativity and identity (AC1) -- Polymorphic type checking with subtypes in Prolog -- On the power of subsumption and context checks -- Putting algebraic components together: A dependent type approach -- The use of proof plans in formal methods -- A prolog technology theorem prover: A new exposition and implementation in Prolog -- Parametric queries, linear constraints and variable elimination -- AC-unification race: The system solving approach and its implementation -- Heuristical criteria in refutational theorem proving -- Requirements for standards in knowledge base systems -- Reconciling symbolic and numeric computation in a practical setting -- The design and specification of the ASSPEGIQUE database -- A functional and logic language with polymorphic types -- Graphical object oriented executable specification for an automation oriented paradigm of software development -- Building graphic user interfaces for computer algebra systems -- A system independent graphing package formathematical functions -- A model of interaction for graphical systems -- Praxis: A rule-based expert system for MACSYMA -- Will DELiA grow into an expert system? -- The GANITH algebraic geometry toolkit -- Mas Modula-2 algebra system -- Prototypes for the automatic translation of computer algebra languages -- The implementation of A PC-based list processor for symbolic computation -- Implementation of the symbol analytic transformations language FLAC -- Design and development of ENprover, an automated theorem proving system based on EN-strategy -- Towards a logic language: An object-oriented implementation of the connection method -- Suggestions for a friendlier user interface. | |
| 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 The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation. | ||
| 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 Logique symbolique et mathématique | ||
| 650 | |a Mathématiques |x Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Miola, Alfonso, |d 1944- |4 pbd | |
| 776 | 0 | |0 021490899 |t Design and implementation of symbolic computation systems |o International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 |o proceedings |f A. Miola, (ed.) |c Berlin |n Springer-Verlag |d 1990 |p 1 vol. (xii, 283 p.) |s Lecture notes in computer science |z 0-387-52531-9 | |
| 776 | 0 | |t Design and Implementation of Symbolic Computation Systems |b Texte imprimé |z 9783662214176 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52531-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9X21WLDS-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919259 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52531-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750931795 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52531-9 |z Accès INSA CVL | |
| 997 | |0 944473 |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/ | ||