Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
1128 |
| Assuntos: | |
| Acesso em linha: | 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 '96, Karlsruhe, Germany, September 18-20, 1996, proceedings, Jacques Calmet, Carla Limongelli, eds, 1996, New York, Springer, 1 vol. (IX-356 p.), Lecture notes in computer science, 3-540-61697-7 • Design and Implementation of Symbolic Computation Systems, Texte imprimé, 9783662166567 |
| LEADER | 05327nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 945670 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236733 | ||
| 020 | |a 9783540706359 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium on Design and implementation of symbolic computation systems |d (1996 |c :Karlsruhe, Allemagne). | |
| 245 | 1 | 0 | |a Design and implementation of symbolic computation systems : |b International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings |c [edited by] Jacques Calmet, Carla Limongelli. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1128 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Problem-oriented applications of automated theorem proving -- ?IT A strongly-typed embeddable computer algebra library -- DiscAtinf: A general framework for implementing calculi and strategies -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance equation theorem proving -- A reflective language based on conditional term rewriting -- Term rewriting systems: An h-categorical semantic -- Generative geometric modeling in a functional environment -- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting -- Conditional categories and domains -- Parameterizing object specifications -- Analyzing the dynamics of a Z specification -- Walking faster -- Integer and rational arithmetic on masPar -- Parallel 3-primes FFT algorithm -- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor -- Multi-agent cooperation Concepts and applications -- Document-centered presentation of computing software: Compound documents are better workspaces -- Animating a non-executable formal specification with a distributed symbolic language -- Uniform representation of basic algebraic structures in computer algebra -- Integrating computer algebra with proof planning -- Structures for symbolic mathematical reasoning and computation -- Implementing FS0 in Isabelle: Adding structure at the metalevel -- An approach to class reasoning in symbolic computation -- An intelligent interface to numerical routines -- Computer algebra and the World Wide Web -- Interfacing REDUCE to Java -- Software architectures for computer algebra: A case study -- A deductive database for mathematical formulas -- CASA A system for Computer Aided Constructive Algebraic geometry -- Making systems communicate and cooperate: TheCentral Control approach -- A database for number fields -- Compiling residuation for a multiparadigm symbolic programming language -- Pluggability issues in the Multi Protocol. | |
| 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 This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Mathématiques |x Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Calmet, Jacques, |d 1941-2019, |c mathématicien. |4 pbd | |
| 700 | 1 | |a Limongelli, Carla. |4 pbd | |
| 776 | 0 | |0 026029243 |t Design and implementation of symbolic computation systems |o International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 |o proceedings |f Jacques Calmet, Carla Limongelli, eds |d 1996 |c New York |n Springer |p 1 vol. (IX-356 p.) |s Lecture notes in computer science |z 3-540-61697-7 | |
| 776 | 0 | |t Design and Implementation of Symbolic Computation Systems |b Texte imprimé |z 9783662166567 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61697-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1K08NFRV-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908559 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61697-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921501 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61697-7 |z Accès INSA CVL | |
| 997 | |0 945670 |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/ | ||