DISCO 1990: Capri, Italy

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