DISCO 1990: Capri, Italy

Alfonso Miola (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings. Lecture Notes in Computer Science 429 Springer 1990, ISBN 3-540-52531-9

Symbolic and Algebraic Computation - Systems Design

James H. Davenport:
Current Problems in Computer Algebra Systems Design. 1-9
Gregory Butler, John J. Cannon:
The Design of Cayley - a Language for Modern Algebra. 10-19
Alessandro Giovini, Gianfranco Niesi:
CoCoA: a User-Friendly System for Commutative Algebra. 20-29
André Galligo, J. Grimm, Loic Pottier:
The design of SISYPHE: a system for doing symbolic and algebraic computations. 30-39
James H. Davenport, Barry M. Trager:
Scratchpad's View of Algebra I: Basic Commutative Algebra. 40-54

Symbolic and Algebraic Computation - Implementation Methods and Techniques

Gérard P. Huet:
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract). 55
Albrecht Fortenbacher:
Efficient Type Inference and Coercion in Computer Algebra. 56-60
Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini:
Abstract Specification Of Mathematical Structures And Methods. 61-70
Uwe Petermann:
Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. 71-80
Jean-Philippe Vidal:
The computation of Gröbner bases on a shared memory multiprocessor. 81-90

Theory

Carolyn L. Talcott:
A theory for program and data type specification. 91-100
Rolf Hennicker:
Context Induction: a Proof Principle for Behavioural Abstractions. 101-110
Jean-Pierre Jouannaud, Claude Marché:
Completion modulo Associativity, Commutativity and Identity (AC1). 111-120
Thom W. Frühwirth:
Polymorphic Type Checking with Subtypes in Prolog. 121-130
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop:
On the Power of Subsumption and Context Checks. 131-140
Jean-Claude Reynaud:
Putting Algebraic Components Together: A Dependent Type Approach. 141-150

Automated Reasoning

Alan Bundy:
The Use of Proof Plans in Formal Methods. 151-153
Mark E. Stickel:
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. 154-163
Jean-Louis Lassez:
Parametric queries, linear constraints and variable elimination. 164-173
Mohamed Adi, Claude Kirchner:
AC-Unification Race: The System Solving Approach And Its Implementation. 174-183
Siva Anantharaman, Nirina Andrianarivelo:
Heuristical Criteria in Refutational Theorem Proving. 184-193

Software Environments and Languages

Giuseppe Attardi:
Requirements for Standards in Knowledge Base Systems (Abstract). 194
Michael C. Dewar, M. G. Richardson:
Reconciling Symbolic and Numeric Computation in a Practical Setting. 195-204
Michel Bidoit, Francis Capy, Christine Choppy:
The design and specification of the ASSPEGIQUE database. 205-214
Michael Hanus:
A Functional and Logic Language with Polymorphic Types (Extended Abstract). 215-224

Software Environments and User Interfaces

Vincenzo Russi, Roberto Zompi:
Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development. 225-234
Norbert Kajler:
Building graphic user interfaces for Computer Algebra Systems. 235-244
Paul S. Wang:
A System Independent Graphing Package for Mathematical Functions. 245-254
Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò:
A Model of Interaction for Graphical Systems. 255-263

Short Papers

Mike Clarkson:
Praxis: A Rule-Based Expert System for MACSYMA. 264-265
A. V. Bocharov:
Will DELia Grow Into An Expert System? 266-267
Chandrajit L. Bajaj, Andrew V. Royappa:
The GANITH algebraic geometry toolkit. 268-269
Heinz Kredel:
Mas Modula-2 Algebra System. 270-271
Denis Constales:
Prototypes For The Automatic Translation Of Computer Algebra Languages. 272-273
Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang:
The Implementation of A PC-Based List Processor for Symbolic Computation. 274-275
S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk:
Implementation Of The Symbolic Analytic Transformations Language FLAC. 276-277
Fabio Baj, Massimo Bruschi, Antonella Zanzi:
Design and development of ENprover, an automated theorem proving system based on EN-strategy. 278-279
Giorgio Forcellese, Marco Temperini:
Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. 280-281
Ron Avitzur:
Suggestions For A Friendlier User Interface. 282-283

Last update Thu May 24 04:16:26 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page